Calculate Linux: Browse Packages - sci-mathematics
http://old.calculate-linux.org/welcome
2023-10-09T14:52:35+03:00
Calculate Projects
/themes/calculate/images/feed_logo.png
Redmine
lcalc-2.0.5-r2
http://old.calculate-linux.org/packages/sci-mathematics/lcalc
2023-10-09T14:52:35+03:00
<p>Command-line utility and library for L-function computations</p>
gsl-shell-2.3.5
http://old.calculate-linux.org/packages/sci-mathematics/gsl-shell
2023-10-09T14:52:35+03:00
<p>Lua interactive shell for sci-libs/gsl</p>
gsl-shell-2.3.2
http://old.calculate-linux.org/packages/sci-mathematics/gsl-shell
2023-10-09T14:52:35+03:00
<p>Lua interactive shell for sci-libs/gsl</p>
alt-ergo-9999
http://old.calculate-linux.org/packages/sci-mathematics/alt-ergo
2023-10-09T14:52:35+03:00
<p>Automatic theorem prover</p>
cvc4-1.8-r4
http://old.calculate-linux.org/packages/sci-mathematics/cvc4
2023-10-09T14:52:35+03:00
<p>Automatic theorem prover for satisfiability modulo theories (SMT) problems</p>
unuran-1.8.1
http://old.calculate-linux.org/packages/sci-mathematics/unuran
2023-10-09T14:52:35+03:00
<p>Universal Non-Uniform Random number generator</p>
octave-7.3.0-r2
http://old.calculate-linux.org/packages/sci-mathematics/octave
2023-10-09T14:52:35+03:00
<p>High-level interactive language for numerical computations</p>
octave-8.1.0
http://old.calculate-linux.org/packages/sci-mathematics/octave
2023-10-09T14:52:35+03:00
<p>High-level interactive language for numerical computations</p>
unuran-1.9.0
http://old.calculate-linux.org/packages/sci-mathematics/unuran
2023-10-09T14:52:35+03:00
<p>Universal Non-Uniform Random number generator</p>
twelf-1.7.1-r2
http://old.calculate-linux.org/packages/sci-mathematics/twelf
2023-10-09T14:52:35+03:00
<p>Implementation of the logical framework LF</p>
form-4.3.0-r1
http://old.calculate-linux.org/packages/sci-mathematics/form
2023-10-09T14:52:35+03:00
<p>Symbolic Manipulation System</p>
coq-8.18.0
http://old.calculate-linux.org/packages/sci-mathematics/coq
2023-10-09T14:52:35+03:00
<p>Proof assistant written in O'Caml</p>
mathematica-13.3.1
http://old.calculate-linux.org/packages/sci-mathematics/mathematica
2023-10-09T14:52:35+03:00
<p>Wolfram Mathematica</p>
cubicle-1.2.0-r2
http://old.calculate-linux.org/packages/sci-mathematics/cubicle
2023-10-09T14:52:35+03:00
<p>Model checker for verifying properties of array-based systems</p>
petsc-3.19.4
http://old.calculate-linux.org/packages/sci-mathematics/petsc
2023-10-09T14:52:35+03:00
<p>Portable, Extensible Toolkit for Scientific Computation</p>