|
mathematica
|
14.0.0-1 |
80 |
0.90
|
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) |
|
gurobi
|
11.0.1-1 |
8 |
0.07
|
State-of-the-art solver for mathematical programming |
marcosmrai
|
2024-03-07 22:47 (UTC) |
|
python-pyrr
|
0.10.3-1 |
7 |
0.01
|
Provides 3D mathematical functions using the power of NumPy. |
groctel
|
2023-11-26 10:24 (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) |
|
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) |
|
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) |
|
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) |
|
gams
|
45.6.0-0 |
3 |
0.00
|
A high-level modeling system for mathematical optimization |
orphan
|
2024-01-07 10:26 (UTC) |
|
python-pytensor
|
2.20.0-2 |
1 |
0.00
|
Fork of Aesara -- Library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays |
carsme
|
2024-04-06 23:00 (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) |
|
cplot
|
2.0-1 |
1 |
0.00
|
Function plotter for real and complex mathematical functions |
hilgenberg
|
2022-11-19 14:31 (UTC) |
|
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) |
|
genius
|
1.0.27-3 |
3 |
0.00
|
Advanced calculator including a mathematical programming language |
orphan
|
2022-06-18 21:14 (UTC) |
|
mcalc
|
2.3.0-2 |
1 |
0.00
|
MCalc - calculator for performing simple mathematical operations in all existing number systems |
Grapfruit
|
2022-07-30 16:12 (UTC) |
|
python-aesara
|
2.9.3-2 |
1 |
0.00
|
Library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays |
orphan
|
2024-01-09 07:14 (UTC) |
|
isabelle
|
2023-1 |
25 |
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. |
bitwave
|
2023-09-18 11:16 (UTC) |
|
zegrapher
|
3.1.1-2 |
3 |
0.00
|
mathematical objects plotting software |
mika
|
2021-01-07 20:16 (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) |
|
slatec
|
4.1-4 |
2 |
0.00
|
Common Mathematical Library |
Rufflewind
|
2021-04-24 23:57 (UTC) |
|
r-mmand
|
1.6.3-1 |
0 |
0.00
|
Mathematical Morphology in Any Number of Dimensions |
pekkarr
|
2023-12-05 20:19 (UTC) |
|
python2-scientificpython
|
2.9.4-2 |
1 |
0.00
|
ScientificPython is a collection of Python modules for scientific computing. It contains support for geometry, mathematical functions, statistics, physical units, IO, visualization, and parallelization. |
ftschindler
|
2016-04-22 10:59 (UTC) |
|
python-theano-pymc
|
1.1.2-2 |
31 |
0.00
|
Optimizing compiler for evaluating mathematical expressions on CPUs and GPUs |
Universebenzene
|
2022-08-06 17:45 (UTC) |
|
python-optlang
|
1.8.1-1 |
0 |
0.00
|
Python package implementing a modeling language for solving mathematical optimization problems. |
oso
|
2023-11-02 21:33 (UTC) |
|
python-mathparse
|
0.1.5-1 |
0 |
0.00
|
A Python library for evaluating natural language mathematical equations. |
mistersmee
|
2024-01-23 04:46 (UTC) |
|
python-adaptive
|
1.2.0-1 |
0 |
0.00
|
Parallel active learning of mathematical functions |
carlosal1015
|
2024-04-10 17:43 (UTC) |
|
pyromaths-git
|
21.8.2.r89.gecb2a1c-1 |
0 |
0.00
|
French program to create mathematical exercises and models, cli version |
jdn06
|
2021-12-31 10:15 (UTC) |
|
pyromaths
|
18.9.2-1 |
2 |
0.00
|
French program to create mathematical exercises and models, cli version |
jdn06
|
2021-12-31 10:28 (UTC) |
|
pure-meta-math
|
1-4 |
2 |
0.00
|
Pure programming language, math package -- interfaces to various 3rd party mathematical software |
pure-aur
|
2018-10-31 22:22 (UTC) |
|
prettymath-git
|
1.0-1 |
0 |
0.00
|
Write prettified mathematical formulas to stdout using the magic of python and sympy |
lalelul
|
2020-03-28 03:56 (UTC) |
|
perl-math-utils
|
1.14-3 |
0 |
0.00
|
Useful mathematical functions not in Perl. |
awacha
|
2022-06-07 06:28 (UTC) |
|
owm
|
0.1.0-1 |
0 |
0.00
|
An experimental River layout generator using mathematical optimization to invent layouts on-the-fly. |
raininja
|
2023-10-30 07:17 (UTC) |
|
openspecfun
|
0.5.6-1 |
1 |
0.00
|
collection of special mathematical functions |
TrialnError
|
2023-11-06 21:43 (UTC) |
|
openlibm-git
|
0.8.1.r2.g1d2c5e3-1 |
0 |
0.00
|
A high quality, portable, standalone C mathematical library |
Chocobo1
|
2023-04-12 14:15 (UTC) |
|
mosek
|
1:10.1.1-1 |
5 |
0.00
|
A commercial solver for mathematical optimization problems. |
ido
|
2023-06-21 03:42 (UTC) |
|
mingw-w64-exprtk
|
0.0.2-1 |
0 |
0.00
|
C++ Mathematical Expression Library (mingw-w64) |
xantares
|
2023-02-23 17:49 (UTC) |
|
mingw-w64-ensmallen
|
2.12.1-1 |
0 |
0.00
|
Flexible C++ library for efficient mathematical optimization (mingw-w64) |
orphan
|
2020-04-25 15:13 (UTC) |
|
mathtex
|
1.05-1 |
0 |
0.00
|
Creates PNG or GIF images from LaTeX mathematical expressions. |
dreieck
|
2023-08-18 07:17 (UTC) |
|
mathematica-09
|
9.0.1-1 |
0 |
0.00
|
A computational software program used in scientific, engineering, and mathematical fields and other areas of technical computing, version 9.0.1. |
bb010g
|
2018-01-04 08:49 (UTC) |
|
mathcomp-git
|
20191007-1 |
1 |
0.00
|
The Mathematical Components Library for the Coq system. |
soimort
|
2019-10-12 12:15 (UTC) |
|
mathcomp
|
1.12.0-1 |
6 |
0.00
|
The entire mathematical components library for Coq. |
ormolu
|
2021-06-07 21:18 (UTC) |
|
lybniz
|
3.0.4-1 |
0 |
0.00
|
An easy to use mathematical function graph plotter written in Python and GTK. |
adsun
|
2019-08-05 00:24 (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) |
|
itpp
|
4.3.1-1 |
4 |
0.00
|
C++ library of mathematical, signal processing and communication routines |
orphan
|
2016-01-29 23:45 (UTC) |
|
imagej-plugin-morpholibj
|
1.6.2-1 |
0 |
0.00
|
Collection of mathematical morphology methods and plugins for ImageJ |
althonos
|
2023-10-26 08:20 (UTC) |
|
gurobi81
|
8.1.0-1 |
0 |
0.00
|
State-of-the-art solver for mathematical programming |
user20159
|
2021-01-16 20:09 (UTC) |
|
graphwar
|
1.0.0-1 |
1 |
0.00
|
Hit your enemies using mathematical functions |
marmistrz
|
2017-10-24 17:17 (UTC) |
|
gimp-plugin-mathmap
|
1.3.5-8 |
3 |
0.00
|
A GIMP plug-in which allows distortion of images specified by mathematical formulae |
stativ
|
2018-04-01 20:12 (UTC) |
|
geophar
|
15.10.2-1 |
2 |
0.00
|
The swiss-knife of math teachers. Simple tool to produce beautiful mathematical pictures. |
lifo2
|
2015-12-23 10:15 (UTC) |
|
fisicalab.app
|
0.3.5-1 |
1 |
0.00
|
Become familiar with physical concepts without the risk of getting lost in mathematical details |
orphan
|
2019-05-11 22:11 (UTC) |