|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
scientific-computing
c++
library
cli
c-plus-plus
research
calculator
optimization
solver
theorem-prover
|
| Package |
Description |
Version |
|
ppl
☆
formula
|
Parma Polyhedra Library: numerical abstractions for analysis, verification |
1.2 |
|
primecount
☆
formula
|
Fast prime counting function program and C/C++ library |
7.20 |
|
primesieve
☆
formula
|
Fast C/C++ prime number generator |
|
|
prover9
☆
formula
|
Automated theorem prover for first-order and equational logic |
2009-11A |
|
qalculate-gtk
☆
formula
|
Multi-purpose desktop calculator |
5.8.2 |
|
qalculate-qt
☆
formula
|
Multi-purpose desktop calculator |
5.8.2 |
|
qd
☆
formula
|
C++/Fortran-90 double-double and quad-double package |
|
|
rocq
☆
formula
|
Proof assistant for higher-order logic |
|
|
roll
☆
formula
|
CLI program for rolling a dice sequence |
|
|
sage
☆
cask
|
Mathematics software system |
10.9,10.9.1 |
|
scilab
☆
cask
|
Software for numerical computation |
2026.1.0 |
|
scip
☆
formula
|
Solver for mixed integer programming and mixed integer nonlinear programming |
10.0.0 |
|
scipy
☆
formula
|
Software for mathematics, science, and engineering |
1.16.3 |
|
scs
☆
formula
|
Conic optimization via operator splitting |
|
|
singular
☆
formula
|
Computer algebra system for polynomial computations |
4.4.1p5 |
|
slepc
☆
formula
|
Scalable Library for Eigenvalue Problem Computations (real) |
|
|
slepc-complex
☆
formula
|
Scalable Library for Eigenvalue Problem Computations (complex) |
|
|
sollya
☆
formula
|
Library for safe floating-point code development |
|
|
sophus
☆
formula
|
C++ implementation of Lie Groups using Eigen |
1.24.6 |
|
soplex
☆
formula
|
Optimization package for solving linear programming problems (LPs) |
8.0.0 |
|
spigot
☆
formula
|
Command-line streaming exact real calculator |
20260818 |
|
sundials
☆
formula
|
Nonlinear and differential/algebraic equations solver |
|
|
symengine
☆
formula
|
Fast symbolic manipulation library written in C++ |
0.14.0 |
|
texmacs
☆
cask
|
Scientific editing platform |
2.1.5 |
|
ttmath
☆
formula
|
Bignum library for C++ |
|
|
viennacl
☆
formula
|
Linear algebra library for many-core architectures and multi-core CPUs |
|
|
wxmaxima
☆
formula
|
Cross platform GUI for Maxima |
25.04.0 |
|
xaos
☆
cask
|
Real-time interactive fractal zoomer |
4.3.7 |
|
yacas
☆
formula
|
General purpose computer algebra system |
6 |