Hacker News
Linked pages
- GNU Octave http://www.gnu.org/software/octave/ 397 comments
- SageMath - Open-Source Mathematical Software System https://www.sagemath.org 291 comments
- GitHub - 3b1b/manim: Animation engine for explanatory math videos https://github.com/3b1b/manim 143 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- R: The R Project for Statistical Computing http://www.r-project.org/ 88 comments
- Scilab | Scilab https://www.scilab.org/ 84 comments
- Maxima, a Computer Algebra System https://maxima.sourceforge.io/ 66 comments
- Axiom Computer Algebra System http://www.axiom-developer.org/ 24 comments
- GeoGebra - the world’s favorite, free math tools used by over 100 million students and teachers https://www.geogebra.org/ 22 comments
- GAP System for Computational Discrete Algebra https://www.gap-system.org/ 3 comments
- Lean community https://leanprover-community.github.io 1 comment
- PARI/GP Development Headquarters https://pari.math.u-bordeaux.fr/ 0 comments
- Isabelle https://isabelle.in.tum.de/ 0 comments
Related searches:
Search whole site: site:amathr.org
Search title: Software – AMR
See how to search.