OSCAR is a comprehensive computer algebra system covering number theory, algebra, group theory, geometry, combinatorics and polyhedral computation.
Read more
Tag: mathematics
Eigenmath – compact symbolic mathematics application
Eigenmath is a compact symbolic mathematics application offering exact arithmetic, calculus, linear algebra, plotting, and script execution.
Read more
GCLC – mathematical illustrations and automated geometry theorem proving
GCLC creates mathematical illustrations and proves geometry theorems, with Qt GUI, command-line and web interfaces plus LaTeX and SVG export.
Read more
Yutovo – visual calculator and mathematical text editor
Yutovo is a graphical calculator and math editor combining WYSIWYG formulas, symbolic calculations, unit conversion and function plotting.
Read more
11 Best Free and Open Source Proof Assistants
A proof assistant or interactive theorem prover is a software tool to assist with the development of formal proofs by human-machine collaboration.
Read more
12 Essential Free and Open Source Python Maths Tools
Great libraries and tools that are ideal for mathematicians working with Python.
Read more
21 Best Free and Open Source Linux Computer Algebra Systems
A computer algebra system (CAS) is mathematical software that can manipulate mathematical formulae in a way similar to the traditional manual computations of mathematicians and scientists.
Read more