Search:
Search Results
sci-libs/med
Library to store and exchange meshed data or computation results
sci-libs/netcdf
Scientific library and interface for array oriented data access
sci-libs/octomap
Efficient Probabilistic 3D Mapping Framework Based on Octrees
sci-libs/opencascade
Development platform for CAD/CAE, 3D surface/solid modeling and data exchange
sci-libs/orocos-bfl
Bayesian Filtering Library
sci-libs/p4est
Scalable Algorithms for Parallel Adaptive Mesh Refinement on Forests of Octrees
sci-libs/pcl
2D/3D image and point cloud processing
sci-libs/sundials
Suite of nonlinear solvers
sci-libs/vtk
The Visualization Toolkit
sci-libs/xdmf2
eXtensible Data Model and Format
sci-mathematics/octave-epstk
Graphical output functions for Matlab and Octave
sci-mathematics/cudd
Colorado University binary Decision Diagram library
sci-mathematics/metamath-databases
Sample databases for Metamath
sci-mathematics/rngstreams
Multiple independent streams of pseudo-random numbers
sci-mathematics/unuran
Universal Non-Uniform Random number generator
sci-mathematics/acl2
Industrial strength theorem prover, logic and programming language
sci-mathematics/fricas
FriCAS is a fork of Axiom computer algebra system
sci-mathematics/bertini
Software for Numerical Algebraic Geometry
sci-mathematics/form
Symbolic Manipulation System
sci-mathematics/frobby
Software system and project for computations with monomial ideals
sci-mathematics/genius
Genius Mathematics Tool and the GEL Language
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/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