Category:Mathematical software

C

• [+] Comparisons of mathematical software (5 P)
• [+] Computer algebra systems (2 C, 30 P)
• [+] Cryptographic software (3 C, 111 P)

F

• [+] Formal methods tools (2 C, 16 P)

F cont.

• [+] Formula editors (12 P)
• [+] Free mathematics software (4 C, 33 P)

I

• [+] Interactive geometry software (1 C, 12 P)

M

• [+] Model checkers (16 P)

N

• [+] Numerical software (5 C, 91 P)

S

• [+] Spreadsheet software (3 C, 41 P)
• [+] Statistical software (5 C, 72 P)

T

• [+] Theorem proving software systems (3 C, 23 P)

*

• Mathematical software
• Guide to Available Mathematical Software

A

• ASTOS
• App4Math

C

• COGO

D

• DOT language
• DAP (software)

F

• Formulator ActiveX Control
• Formulator MathML Weaver

G

• GEUP
• GoldSim

G cont.

• Graffiti (program)

M

• MCSim
• MathScriptor
• MathType
• MatheGrafix
• Mathematica
• Microsoft Math
• Model-Builder
• Modellus

N

• NESSUS Probabilistic Analysis Software
• Numerical Mathematics Consortium

P

• User:PiRSqr/SocialSense
• PokerTracker
• Polymake
• Power Calculator

R

• Regina (program)

S

• Satellite Tool Kit
• Starmad
• Surface Evolver

T

• Trilinos

W

• Wolfram Research