Search: %s
Search Results
sci-libs/rtabmap
Real-Time Appearance-Based Mapping (RGB-D Graph SLAM)
sci-libs/scalapack
Subset of LAPACK routines redesigned for heterogenous (MPI) computing
sci-libs/spglib
Spglib is a C library for finding and handling crystal symmetries
sci-libs/stellarsolver
Cross-platform Sextractor and Astrometry.net-Based internal astrometric solver
sci-libs/sundials
Suite of nonlinear solvers
sci-libs/symengine
Fast symbolic manipulation library, written in C++
sci-libs/trilinos
Scientific library collection for large scale problems
sci-libs/volk
vector optimized library of kernels
sci-libs/voro++
3D Voronoi cell software library
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/gp2c
A GP to C translator
sci-mathematics/verit
An open, trustable and efficient SMT-prover
sci-mathematics/cudd
Colorado University binary Decision Diagram library
sci-mathematics/metamath-databases
Sample databases for Metamath
sci-mathematics/num-utils
A set of programs for dealing with numbers from the command line
sci-mathematics/cliquer
C routines for finding cliques in an arbitrary weighted graph
sci-mathematics/planarity
The edge addition planarity suite of graph algorithms
sci-mathematics/coq-mathcomp
Mathematical Components for the Coq proof assistant
sci-mathematics/functions-matlab-colormaps
Additional colormaps for octave by Ultralytics
sci-mathematics/gap
System for computational discrete algebra. Core functionality
sci-mathematics/lrcalc
Littlewood-Richardson Calculator
sci-mathematics/gmm
Generic C++ template library for sparse, dense and skyline matrices
sci-mathematics/pari-data
Additional dataset packages for PARI
sci-mathematics/rw
Compute rank-width decompositions of graphs
sci-mathematics/smtinterpol
Interpolating SMT-solver computing Craig interpolants for various theories
sci-mathematics/rngstreams
Multiple independent streams of pseudo-random numbers
sci-mathematics/unuran
Universal Non-Uniform Random number generator
sci-mathematics/geogebra-bin
Mathematics software for geometry
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/singular
Computer algebra system for polynomial computations
sci-mathematics/proverif
Cryptographic protocol verifier in the formal model
sci-mathematics/4ti2
Software package for algebraic, geometric and combinatorial problems
sci-mathematics/abc
System for sequential logic synthesis and formal verification
sci-mathematics/bertini
Software for Numerical Algebraic Geometry
sci-mathematics/cadical
Simplified Satisfiability Solver
sci-mathematics/calc
Arbitrary precision C-like arithmetic system
sci-mathematics/cubicle
Model checker for verifying properties of array-based systems
sci-mathematics/dataplot
Program for scientific visualization and statistical analyis
sci-mathematics/dsfmt
Double precision SIMD-oriented Fast Mersenne Twister library
sci-mathematics/eclib
Programs for elliptic curves defined over the rational numbers
sci-mathematics/ent
Random number sequence test and entropy calculation
sci-mathematics/eprover
Automated theorem prover for full first-order logic with equality
sci-mathematics/euler
Mathematical programming environment
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/geomview
Interactive Geometry Viewer