mathematica
|
14.0.0-1 |
79 |
0.23
|
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) |
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) |
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) |
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) |
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) |
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) |
gurobi
|
11.0.1-1 |
8 |
0.12
|
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) |
mathcomp
|
1.12.0-1 |
6 |
0.00
|
The entire mathematical components library for Coq. |
ormolu
|
2021-06-07 21:18 (UTC) |
mosek
|
1:10.1.1-1 |
5 |
0.00
|
A commercial solver for mathematical optimization problems. |
ido
|
2023-06-21 03:42 (UTC) |
gcalctool-oldgui
|
6.0.2-2 |
5 |
0.00
|
GCalctool is an application that solves mathematical equations and is suitable as a default application in a Desktop environment. |
bidulock
|
2016-05-30 06:34 (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) |
ampl-mp
|
3.1.0-3 |
4 |
0.00
|
An open-source library for mathematical programming |
carlosal1015
|
2021-12-22 22:32 (UTC) |
zegrapher
|
3.1.1-2 |
3 |
0.00
|
mathematical objects plotting software |
mika
|
2021-01-07 20:16 (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) |
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) |
genius
|
1.0.27-3 |
3 |
0.00
|
Advanced calculator including a mathematical programming language |
orphan
|
2022-06-18 21:14 (UTC) |
gams
|
45.6.0-0 |
3 |
0.00
|
A high-level modeling system for mathematical optimization |
orphan
|
2024-01-07 10:26 (UTC) |
cplex
|
20.10-2 |
3 |
0.00
|
A commercial solver for mathematical optimization problems. |
orphan
|
2022-01-06 15:33 (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) |
slatec
|
4.1-4 |
2 |
0.00
|
Common Mathematical Library |
Rufflewind
|
2021-04-24 23:57 (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) |
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) |
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) |
epix
|
1.2.22-1 |
2 |
0.00
|
ePiX - Utilities for creating mathematically accurate figures |
cndofx
|
2022-05-16 06:22 (UTC) |
ensmallen
|
2.21.0-1 |
2 |
0.00
|
Flexible C++ header library for efficient mathematical optimization |
FabioLolix
|
2023-12-23 23:47 (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-pytensor
|
2.19.0-1 |
1 |
0.00
|
Fork of Aesara -- Library for defining, optimizing, and efficiently evaluating mathematical expressions involving multi-dimensional arrays |
carsme
|
2024-03-09 20:43 (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) |
openspecfun
|
0.5.6-1 |
1 |
0.00
|
collection of special mathematical functions |
TrialnError
|
2023-11-06 21:43 (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) |
mathcomp-git
|
20191007-1 |
1 |
0.00
|
The Mathematical Components Library for the Coq system. |
soimort
|
2019-10-12 12:15 (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) |
graphwar
|
1.0.0-1 |
1 |
0.00
|
Hit your enemies using mathematical functions |
marmistrz
|
2017-10-24 17:17 (UTC) |
fisicalab.app
|
0.3.5-1 |
1 |
0.00
|
Become familiar with physical concepts without the risk of getting lost in mathematical details |
Beebo
|
2019-05-11 22:11 (UTC) |
dune-fem
|
2.9.1-1 |
1 |
0.00
|
A discretization module providing an implementation of mathematical abstractions to solve PDEs on parallel computers including local grid adaptivity, dynamic load balancing, and higher order discretization schemes |
carlosal1015
|
2024-02-24 22:04 (UTC) |
cplot
|
2.0-1 |
1 |
0.00
|
Function plotter for real and complex mathematical functions |
hilgenberg
|
2022-11-19 14:31 (UTC) |
cmpl-bin
|
1.10.0-1 |
1 |
0.00
|
A mathematical programming language and a system for mathematical programming and optimisation of linear optimisation problems. |
JonnyRobbie
|
2016-06-10 16:23 (UTC) |
r-mmand
|
1.6.3-1 |
0 |
0.00
|
Mathematical Morphology in Any Number of Dimensions |
pekkarr
|
2023-12-05 20:19 (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.1.0-1 |
0 |
0.00
|
Parallel active learning of mathematical functions |
carlosal1015
|
2023-08-15 20:20 (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) |
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) |
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) |