SnapPy is a topology and geometry program for studying hyperbolic 3-manifolds, knots and links with interactive 3D visualisation.
Read more
Tag: mathematics
MathMod – Visualise Mathematical Surfaces in 3D
MathMod is a mathematical modelling program for creating and visualising 3D and 4D surfaces using equations, textures and animations.
Read more
rulc – terminal calculator with mathematical plotting
rulc is a terminal calculator with interactive expressions, custom functions, mathematical plotting, intersections and scripting.
Read more
NumNum – text editor that understands calculations
NumNum is a graphical calculator where you type calculations, variables, units, currencies and percentages as text.
Read more
Calculator – simple calculator for the COSMIC desktop
Calculator is a simple graphical calculator for the COSMIC desktop with a useful history of previous calculations.
Read more
23 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
OSCAR – comprehensive computer algebra research system
OSCAR is a comprehensive computer algebra system covering number theory, algebra, group theory, geometry, combinatorics and polyhedral computation.
Read more
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
SfePy – finite element software for solving partial differential equations
SfePy solves partial differential equations with finite elements, flexible weak forms, mesh regions, boundary conditions and solver tools.
Read more
Pyomo – algebraic modelling framework for optimisation
Pyomo models optimisation with variables, constraints, objectives, solver interfaces, stochastic programming and differential equations.
Read more
Fractalshades – create static and interactive fractal visualisations
Fractalshades creates detailed Mandelbrot and Burning Ship visualisations with arbitrary-precision deep zooming, shading and animation.
Read more
rsfrac – terminal-based fractal explorer
rsfrac is a terminal-based fractal explorer for Mandelbrot, Julia and Burning Ship sets, with precise zooming and custom rendering.
Read more
Wombat – scientific calculator with physical units
Wombat is a scientific calculator powered by Numbat with dimensional analysis, persistent variables, completion and searchable history.
Read more
JGEX – dynamic geometry and automated theorem proving
JGEX combines dynamic geometry constructions with automated theorem proving and visual presentation of Euclidean geometry proofs.
Read more
SwitchCalc – GTK4 scientific and programmer calculator
SwitchCalc is a GTK4 calculator providing standard, scientific, programmer and date modes, bitwise operations and time conversion.
Read more
Free42 – HP-42S scientific calculator simulator
Free42 simulates the HP-42S programmable RPN calculator with matrix operations, program compatibility and decimal precision options.
Read more