Search:

sci-mathematics/singular

Computer algebra system for polynomial computations

sci-mathematics/bertini

Software for Numerical Algebraic Geometry

sci-mathematics/cubicle

Model checker for verifying properties of array-based systems

sci-mathematics/dataplot

Program for scientific visualization and statistical analyis

sci-mathematics/glpk

GNU Linear Programming Kit

sci-mathematics/nauty

Computing automorphism groups of graphs and digraphs

sci-mathematics/pari

Computer-aided number theory C library and tools

sci-mathematics/prng

Pseudo-Random Number Generator library

sci-mathematics/prover9

Automated theorem prover for first-order and equational logic

sci-mathematics/spin

An efficient logic-model checker for the verification of multi-threaded code

sci-mathematics/topcom

Computing Triangulations Of Point Configurations and Oriented Matroids

sci-mathematics/twelf

Implementation of the logical framework LF

sci-mathematics/alt-ergo

Automatic theorem prover

sci-mathematics/btor2tools

Generic parser and tools for the BTOR2 format

sci-mathematics/cgal

C++ library for geometric algorithms and data structures

sci-mathematics/fann

Fast Artificial Neural Network Library

sci-mathematics/ginac

C++ library and tools for symbolic calculations

sci-mathematics/highs

Modern solver for linear, quadratic, and mixed-integer programs

sci-mathematics/petsc

Portable, Extensible Toolkit for Scientific Computation

sci-mathematics/pspp

Program for statistical analysis of sampled data

sci-mathematics/slepc

Scalable Library for Eigenvalue Problem Computations

sci-mathematics/z3

An efficient theorem prover

sci-physics/siscone

Hadron Seedless Infrared-Safe Cone jet algorithm

sci-physics/heppdt

Data about each particle from the Review of Particle Properties

sci-physics/xfoil

Design and analysis of subsonic isolated airfoils

sci-physics/bullet

Continuous Collision Detection and Physics Library

sci-physics/espresso

Extensible Simulation Package for Research on Soft matter

sci-physics/fastjet

A software package for jet finding in pp and e+e- collisions

sci-physics/geant

Toolkit for simulation of passage of particles through matter

sci-physics/geant4_vmc

Virtual Monte Carlo Geant4 implementation

sci-physics/hepmc

Event Record for Monte Carlo Generators

sci-physics/lammps

Large-scale Atomic/Molecular Massively Parallel Simulator

sci-physics/lhapdf

Les Houches Parton Density Function unified library

sci-physics/pythia

Lund Monte Carlo high-energy physics event generator

sci-physics/reduze

Program for reducing Feynman integrals

sci-physics/root

C++ data analysis framework and interpreter from CERN

sci-physics/vgm

Virtual Geometry Model for High Energy Physics Experiments

sci-visualization/epix

2- and 3-D plotter for creating images (to be used in LaTeX)

sci-visualization/gnuplot

Command-line driven interactive plotting program

sci-visualization/xd3d

Scientific visualization tool

sci-visualization/xgraph

X11 Plotting Utility

sci-visualization/paraview

Powerful scientific data visualization application

sys-apps/groff

Text formatter used for man pages

sys-apps/dstat

Versatile replacement for vmstat, iostat and ifstat

sys-auth/pam-script

PAM module for running scripts during authorization, password change and session

sys-auth/polkit

Policy framework for controlling privileges for system-wide services

sys-cluster/charm

Message-passing parallel language and runtime system

sys-cluster/hpx

C++ runtime system for parallel and distributed applications

sys-cluster/legion

Data-centric parallel programming system

sys-devel/m4

GNU macro processor