|
aaflib
|
0.1-1 |
0 |
0.00
|
An implementation of the mathematical construct of affine arithmetics in C++. |
orphan
|
2019-10-08 18:35 (UTC) |
|
ampl-mp
|
3.1.0-3 |
4 |
0.00
|
An open-source library for mathematical programming |
carlosal1015
|
2024-04-04 02:38 (UTC) |
|
analitza-git
|
24.01.95_r2445.g780436df-1 |
0 |
0.00
|
A library to add mathematical features to your program |
IslandC0der
|
2024-03-01 06:35 (UTC) |
|
cantor-git
|
v21.03.90.r14.g85e59eb3-1 |
0 |
0.00
|
KDE Frontend to Mathematical Software |
orphan
|
2021-05-13 03:38 (UTC) |
|
chaos-equations-git
|
r19.0fc5e2f-1 |
0 |
0.00
|
Simple mathematical art |
IslandC0der
|
2021-03-11 22:26 (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) |
|
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) |
|
cplex
|
20.10-2 |
3 |
0.00
|
A commercial solver for mathematical optimization problems. |
orphan
|
2022-01-06 15:33 (UTC) |
|
cplot
|
2.0-1 |
1 |
0.00
|
Function plotter for real and complex mathematical functions |
hilgenberg
|
2022-11-19 14:31 (UTC) |
|
crlibm-git
|
r708.eb30637-1 |
0 |
0.00
|
A portable, efficient, correctly rounded mathematical library. |
orphan
|
2019-10-01 19:39 (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) |
|
ensmallen
|
2.21.0-1 |
2 |
0.00
|
Flexible C++ header library for efficient mathematical optimization |
FabioLolix
|
2023-12-23 23:47 (UTC) |
|
epix
|
1.2.22-1 |
2 |
0.00
|
ePiX - Utilities for creating mathematically accurate figures |
cndofx
|
2022-05-16 06:22 (UTC) |
|
exprtk
|
0.0.2-1 |
0 |
0.00
|
C++ Mathematical Expression Library |
xantares
|
2023-02-23 17:48 (UTC) |
|
fiji-plugin-morpholibj
|
1.6.2-0 |
0 |
0.00
|
Collection of mathematical morphology methods and plugins for ImageJ (Fiji version) |
althonos
|
2023-10-26 08:20 (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) |
|
gams
|
45.6.0-0 |
3 |
0.00
|
A high-level modeling system for mathematical optimization |
orphan
|
2024-01-07 10:26 (UTC) |
|
genius
|
1.0.27-3 |
3 |
0.00
|
Advanced calculator including a mathematical programming language |
orphan
|
2022-06-18 21:14 (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) |
|
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) |
|
graphwar
|
1.0.0-1 |
1 |
0.00
|
Hit your enemies using mathematical functions |
marmistrz
|
2017-10-24 17:17 (UTC) |
|
gurobi
|
11.0.2-1 |
8 |
0.04
|
State-of-the-art solver for mathematical programming |
marcosmrai
|
2024-05-14 19:13 (UTC) |
|
gurobi81
|
8.1.0-1 |
0 |
0.00
|
State-of-the-art solver for mathematical programming |
user20159
|
2021-01-16 20:09 (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) |
|
isabelle
|
2023-1 |
26 |
0.90
|
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) |
|
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) |
|
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) |
|
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) |
|
mathcomp
|
1.12.0-1 |
6 |
0.00
|
The entire mathematical components library for Coq. |
ormolu
|
2021-06-07 21:18 (UTC) |
|
mathcomp-git
|
20191007-1 |
1 |
0.00
|
The Mathematical Components Library for the Coq system. |
soimort
|
2019-10-12 12:15 (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) |
|
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) |
|
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) |
|
mathtex
|
1.05-1 |
0 |
0.00
|
Creates PNG or GIF images from LaTeX mathematical expressions. |
dreieck
|
2023-08-18 07:17 (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) |
|
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) |
|
mingw-w64-exprtk
|
0.0.2-1 |
0 |
0.00
|
C++ Mathematical Expression Library (mingw-w64) |
xantares
|
2023-02-23 17:49 (UTC) |
|
mosek
|
1:10.1.29-1 |
5 |
0.00
|
A commercial solver for mathematical optimization problems. |
ido
|
2024-05-05 11:34 (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) |
|
openspecfun
|
0.5.7-1 |
1 |
0.00
|
collection of special mathematical functions |
TrialnError
|
2024-05-13 18: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) |
|
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) |
|
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) |
|
perl-math-utils
|
1.14-3 |
0 |
0.00
|
Useful mathematical functions not in Perl. |
awacha
|
2022-06-07 06:28 (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) |
|
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) |
|
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) |
|
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) |
|
python-adaptive
|
1.2.0-1 |
0 |
0.00
|
Parallel active learning of mathematical functions |
carlosal1015
|
2024-04-10 17:43 (UTC) |