|
itpp
|
4.3.1-1 |
4 |
0.00
|
C++ library of mathematical, signal processing and communication routines |
orphan
|
2016-01-29 23:45 (UTC) |
|
latex-mathabx
|
2005.05.18-1 |
4 |
0.00
|
Mathematical symbols not included in the standard distribution |
mschu
|
2023-04-17 12:00 (UTC) |
|
mosek
|
1:10.1.29-1 |
5 |
0.00
|
A commercial solver for mathematical optimization problems. |
ido
|
2024-05-05 11:34 (UTC) |
|
mathcomp
|
1.12.0-1 |
6 |
0.00
|
The entire mathematical components library for Coq. |
ormolu
|
2021-06-07 21:18 (UTC) |
|
python-pyrr
|
0.10.3-1 |
7 |
0.00
|
Provides 3D mathematical functions using the power of NumPy. |
groctel
|
2023-11-26 10:24 (UTC) |
|
gurobi
|
11.0.2-1 |
8 |
0.03
|
State-of-the-art solver for mathematical programming |
marcosmrai
|
2024-05-14 19:13 (UTC) |
|
ssreflect
|
1.9.0-1 |
10 |
0.00
|
The ssreflect unit of the mathematical components library for Coq. |
0918nobita
|
2019-06-30 04:26 (UTC) |
|
smath
|
1_1_8763-1 |
11 |
0.00
|
A mathematical program with many features and paper-like interface, similar to Mathcad |
tomracing
|
2024-01-04 19:55 (UTC) |
|
ttf-stix-variable
|
2.13.b171-1 |
15 |
0.00
|
OpenType Unicode fonts for Scientific, Technical, and Mathematical texts |
xiota
|
2024-01-01 12:44 (UTC) |
|
otf-stix
|
2.13.b171-1 |
15 |
0.00
|
OpenType Unicode fonts for Scientific, Technical, and Mathematical texts |
xiota
|
2024-01-01 12:44 (UTC) |
|
isabelle
|
2023-1 |
26 |
0.59
|
A generic proof assistant. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. |
bitwave
|
2023-09-18 11:16 (UTC) |
|
python-theano-pymc
|
1.1.2-3 |
31 |
0.00
|
Optimizing compiler for evaluating mathematical expressions on CPUs and GPUs |
Universebenzene
|
2024-05-09 17:31 (UTC) |
|
mathematica
|
14.0.0-1 |
80 |
0.38
|
A computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing with offline documentation. |
JP-Ellis
|
2024-01-15 22:25 (UTC) |