Skip to main contentSkip to site search GeoGebra is free and multi-platform dynamic mathematics software for learning and teaching. It has received several educational software awards in Europe and the USA. Apps: GeoGebra Graphing Calculator ... Mathematica is a computational software program used widely in scientific, engineering, and mathematical fields and other areas of technical computing. SageMath is a free open-source mathematics software system licensed under the GPL. It builds on top of many existing open-source packages: NumPy, SciPy, matplotlib, Sympy, Maxima, GAP, FLINT, R and many more. Maxima is a system for the manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential equations, systems of linear equations, polynomials, and sets, lists, vectors, matrices, and tensors. wxMaxima is a document based interface for the computer algebra system Maxima. wxMaxima uses wxWidgets and runs natively on Windows, X11 and Mac OS X. wxMaxima provides menus and dialogs for many common maxima commands, autocompletion, inline plots and simple animations. Maple is a general-purpose commercial computer algebra system. Users can enter mathematics in traditional mathematical notation. Custom user interfaces can also be created. GAP is a system for computational discrete algebra, with particular emphasis on Computational Group Theory. Mathics is a general purpose computer algebra system (CAS) and designed to be a free, light-weight alternative to Mathematica. It's programmable using a Mathematica like language and uses a web interface for user interaction. OpenAxiom, fork of Axiom , is an open source platform for symbolic, algebraic, and numerical computations. Jasymca is an interactive System for solving math problems. It supports arbitrary precision numbers and symbolic variables. Scalars, vectors, and matrices can be built from all datatypes and used in calculations. MathStudio, formerly SpaceTime, is the most comprehensive math app available for mobile devices. Axiom is a general purpose Computer Algebra system. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy. It has a programming language and a built-in compiler. Cadabra is a computer algebra system (CAS) designed specifically for the solution of problems encountered in field theory. Singular is an open source computer algebra system for polynomial computations, with special emphasis on commutative and non-commutative algebra, algebraic geometry, and singularity theory. GiNaC is a C++ library. It is designed to allow the creation of integrated systems that embed symbolic manipulations together with more established areas of computer science (like computation- intense numeric applications, graphical interfaces, etc.) under one roof.