GeezerVison

C

• Comparisons of mathematical software (8 P)
• Computer algebra systems (4 C, 50 P)
• Cryptographic software (8 C, 176 P)

E

• Educational mathematical software (1 C, 27 P)

F

• Formal methods tools (4 C, 23 P)
• Formula editors (12 P)
• Free mathematics software (4 C, 57 P)

I

• Interactive geometry software (1 C, 13 P)

L

• Mathematical libraries (2 C, 5 P)

M

• Mathematics software for Linux (2 C, 2 P)
• Model checkers (17 P)

N

• Numerical software (9 C, 120 P)

P

• Probabilistic software (16 P)

S

• Software calculators (1 C, 16 P)
• Spreadsheet software (5 C, 47 P)
• Statistical software (9 C, 58 P)

T

• Theorem proving software systems (2 C, 15 P)

• Mathematical software

A

• ASTOS
• Atari Calculator

B

• Berkeley Madonna

C

• Calculator (Apple)
• Chebfun
• CoCalc
• COGO

D

• DataScene
• DOT (graph description language)

E

• Erable

F

• F(g) Scholar
• FORM (symbolic manipulation system)
• FreeFlyer

G

• General Mission Analysis Tool
• Geometry Center
• GEUP
• GoldSim
• GPOPS-II
• Graffiti (program)
• Guide to Available Mathematical Software

I

• ILNumerics

L

• List of mathematical discoveries made with artificial intelligence
• List of MATLAB software and tools
• List of open-source software for mathematics

M

• MADNESS
• Maple (software)
• MathMagic
• METIS
• Microsoft Math Solver
• Mwrank

N

• NLPQLP
• NPSOL

P

• Photomath
• Polymake
• Power Calculator
• Prime95

R

• Ramanujan machine
• Regina (program)

S

• Sage Manifolds
• SageMath
• SequenceL
• SitNGo Wizard
• Speakeasy (computational environment)
• Surface Evolver
• Systems Tool Kit

T

• TRACE (computer program)

V

• Vensim

W

• Windows Calculator
• WIRIS
• Wolfram Mathematica
• Wolfram Research
• WORHP

Y

• Y-cruncher