Search:

sci-mathematics/gfan

Compute Groebner fans and tropical varieties

sci-mathematics/glpk

GNU Linear Programming Kit

sci-mathematics/jags

Just Another Gibbs Sampler for Bayesian MCMC simulation

sci-mathematics/mathomatic

Automatic algebraic manipulator

sci-mathematics/nauty

Computing automorphism groups of graphs and digraphs

sci-mathematics/nestedsums

A GiNaC-based library for symbolic expansion of certain transcendental functions

sci-mathematics/normaliz

Tool for computations in affine monoids and more

sci-mathematics/octave

High-level interactive language for numerical computations

sci-mathematics/pari

Computer-aided number theory C library and tools

sci-mathematics/prng

Pseudo-Random Number Generator library

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/why3

Platform for deductive program verification

sci-mathematics/why3-for-spark

SPARK 2014 repository for the Why3 verification platform

sci-mathematics/alectryon

Toolkit for literate programming in Coq/Rocq

sci-mathematics/cgal

C++ library for geometric algorithms and data structures

sci-mathematics/coq

Proof assistant written in O'Caml

sci-mathematics/dunshire

Python library to solve linear games over symmetric cones

sci-mathematics/flint

Fast Library for Number Theory

sci-mathematics/gappa

Tool for verifying floating-point or fixed-point arithmetic

sci-mathematics/ginac

C++ library and tools for symbolic calculations

sci-mathematics/gsl-shell

Lua interactive shell for sci-libs/gsl

sci-mathematics/minisat

Small yet efficient SAT solver with reference paper

sci-mathematics/primesieve

CLI and library for quickly generating prime numbers

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/heppdt

Data about each particle from the Review of Particle Properties

sci-physics/herwig

High Energy Physics Event Generator

sci-physics/looptools

Tools for evaluation of scalar and tensor one-loop integrals

sci-physics/xfoil

Design and analysis of subsonic isolated airfoils

sci-physics/bullet

Continuous Collision Detection and Physics Library

sci-physics/clhep

High Energy Physics C++ 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/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/vgm

Virtual Geometry Model for High Energy Physics Experiments

sci-physics/vmc

The Virtual Monte Carlo core library

sci-visualization/ggobi

Visualization program for exploring high-dimensional data

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/gwyddion

Framework for Scanning Mode Microscopy data analysis

sci-visualization/xd3d

Scientific visualization tool

sci-visualization/gle

Graphics Layout Engine