Newer
Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
- name: LinBox
link: http://linalg.org/
download: http://linalg.org/download.html
description: Linbox is a C++ template library for exact, high-performance linear algebra computation with dense, sparse, and structured matrices over the integers and over finite fields.
tag: linbox
- name: MPIR
link: http://mpir.org/
download: http://mpir.org/downloads.html
description: MPIR (Multiple Precision Integers and Rationals) is a highly optimised library for bignum arithmetic forked from the GMP bignum library. It is written in assembly language and C.
tag: MPIR
- name: SageMath
link: http://www.sagemath.org/
download: http://www.sagemath.org/download.html
description: SageMath is a free open-source mathematics software system licensed under the GPL. Its mission is to create a viable free open source alternative to Magma, Maple, Mathematica and Matlab.
logo: sagemath.png
tag: sagemath
- name: GAP
link: http://www.gap-system.org/
download: http://www.gap-system.org/Releases/index.html
description: GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory.
logo: gap.jpg
tag: GAP
- name: Pari/GP
link: http://pari.math.u-bordeaux.fr/
download: http://pari.math.u-bordeaux.fr/download.html
description: PARI/GP is a widely used computer algebra system designed for fast computations in number theory (factorizations, algebraic number theory, elliptic curves...).
logo: parigp.png
tag: pari-gp
- name: LMFDB
link: http://www.lmfdb.org/
description: The LMFDB is an extensive database of mathematical objects arising in Number Theory.
logo: lmfdb.png
tag: LMFDB
- name: Singular
link: https://www.singular.uni-kl.de/
download: https://www.singular.uni-kl.de/index.php/singular-download.html
description: Singular is a computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory.
logo: singular.png
tag: singular
- name: MathHub
link: https://mathhub.info/
description: MathHub.info is a portal for active mathematical documents and an archive for flexiformal mathematics.
logo: mathhub.png
tag: math-in-the-middle
github: https://github.com/KWARC/mathhub
- name: MMT
link: http://uniformal.github.io
description: Language and System for the Uniform Representation of Knowledge
tag: math-in-the-middle
download: http://uniformal.github.io/doc/setup/index.html
github: https://github.com/uniformal/MMT
- name: Jupyter
link: http://jupyter.org/
download: http://jupyter.org/install.html
description: Project Jupyter is an open source project was born out of the IPython Project in 2014 as it evolved to support interactive data science and scientific computing across all programming languages.
logo: jupyter.svg
tag: jupyter