#5975
SageMath (previously called SAGE, short for System for Algebra and Geometry Experimentation) is a free and open-source mathematical software system for Windows, Mac and Linux platforms, developed at the University of Washington with over 100 mathematicians in 2005. It supports the research and teaching in algebra, geometry, number theory, cryptography, numerical computation, and related areas.

#5481
Wolfram Mathematica is one of the most powerful and popular general computing systems in the world, as well as one of the most widely used mathematical software programs. Wolfram Mathematica, together with MATLAB and Maple, are called the top three mathematical applications. Since its first release in 1988, it has had a profound impact on how computers are used in technology and many other areas, performing well in almost every computing field, including network, graphics, geometry, data science, data visualization, machine learning, etc.

#5480
Maple is a general-purpose commercial computer algebra system (symbolic computing environment + numeric computing environment + multi-paradigm programming language) developed by Maplesoft (Waterloo Maple) from Canada in 1982. It is known as one of the three major mathematical software programs along with MATLAB and Mathematica, and its main competitor should be Mathematica

#5355
Sketchpad (short for The Geometer's Sketchpad) is the world's leading education software for teaching and learning mathematics. It gives students at all levels (from third grade through college) a tangible, visual way to learn maths, which increases their engagement, understanding and achievement, and makes the math itself more meaningful and memorable.

#3877
MathType is supposed to be the most powerful and professional interactive mathematical formulas editor. It can help users easily insert complex mathematical expressions and symbols into all kinds of documents and apps (such as office documents, web pages, desktop publications, demonstrations, E-learning, Tex, LaTeX, MathML, etc.), and has been widely used in the education, teaching, scientific research institution, engineering, paper writing, typesetting, science test papers editing, and many other fields.