| AMP | AUTOMATH | AUTOmated GRouPing system | AXIOM* | Active Language I |
| Algebraic Manipulation Package | Automatic Mathematical TRANslation | Axiom of Choice | Axiom of Comprehension | Banach algebra |
| Banach inverse mapping theorem | Banach space | Banach-Tarski paradox | Boolean | Boolean algebra |
| Boolean logic | CHARYBDIS | CLAM | COLASL | Calc |
| Cantor | Cartesian coordinates | Cartesian product | Cauchy sequence | De Bruijn graph |
| Delaunay triangulation | Diophantine equation | Euclidean norm | FORM | FSM |
| Fermat prime | Fibonacci sequence | Finite State Machine | Fourier transform | GAP |
| General Recursion Theorem | Gottlob Frege | Guide to Available Mathematical Software | IEEE Floating Point Standard | IRIS Explorer |
| Internal Translator | JAffer's Canonical ALgebra | Lorenz attractor | MATLAB | Mandelbrot set |
| Mathematica | MuMath | N | Non-Uniform Rational B Spline | Not-a-Number |
| ORTHOCARTAN | PEARL | Pari | Peano arithmetic | Poisson distribution |
| Pythagoras's Theorem | REDUCE | Rayleigh distribution | Russell's Attic | Russell's Paradox |
| SAC-1 | SAC2 | SHEEP | Schoonschip | SymbMath |
| Symbolic Automatic INTegrator | Symbolic Mathematical Laboratory | Voronoi diagram | Voronoi polygon | ZFC |
| Zermelo Fränkel set theory | Zermelo set theory | abscissa | accuracy | additive |
| affine transformation | aleph 0 | algebra | algebraic structure | antichain |
