coin-or-hsl
|
2023.05.26-1 |
3 |
0.00
|
HSL Mathematical Software Library. Including solvers for sparse linear systems of equations and sparse eigenvalue problems. Compiled with coin-or-tools, supports Ipopt. |
sbalula
|
2023-06-19 16:39 (UTC) |
mathematica-light
|
14.0.0-1 |
2 |
0.00
|
A computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing with online documentation. |
JP-Ellis
|
2024-01-15 22:25 (UTC) |
python-pytensor
|
2.21.0-1 |
1 |
0.00
|
Fork of Aesara -- Library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays |
carsme
|
2024-05-16 06:37 (UTC) |
gams
|
45.6.0-0 |
3 |
0.00
|
A high-level modeling system for mathematical optimization |
orphan
|
2024-01-07 10:26 (UTC) |
isabelle-tum
|
2021_1-1 |
1 |
0.00
|
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. Release mirror: TUM. |
MW360
|
2021-12-13 23:15 (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) |
otf-gfs-neohellenic-math
|
20220713-1 |
3 |
0.00
|
An open type mathematical font from the Greek Font Society. |
carlosal1015
|
2022-07-13 17:13 (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) |
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) |
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.04
|
State-of-the-art solver for mathematical programming |
marcosmrai
|
2024-05-14 19:13 (UTC) |
mathematica
|
14.0.0-1 |
80 |
0.51
|
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) |
isabelle
|
2023-1 |
26 |
0.78
|
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) |