| //ELLPACK | ⊕ 1989 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Parallel version of ELLPACK |
| ADSL | ⊕ 1962 | ↓ ↑ ⊕ Business Data Processing | Algebraic | ⊕ Italy | Algebraic Data System Language |
| AFAC | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Algebraic autocode at GM Allison |
| ALAM | ⊕ 1967 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United Kingdom | Atlas LISP Algebraic Manipulation |
| ALERT | ⊕ 1960 | ↓ ↑ ⊕ Business Data Processing | Algebraic | ⊕ United States | IR language |
| ALGAE | ⊕ 1950 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Los Alamos algebraic system |
| ALGAN | ⊕ 1964 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ Germany | An extension of FORTRAN to solve sets of linear equations |
| Algebraic Compiler PRORAB | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ Ukraine | Leningrad algebraic compiler |
| Algebraic Transformation PRORAB | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ Ukraine | Leningrad algebraic compiler |
| ALGEM | ⊕ 1966 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | Polynomials-capable list-processing |
| ALGY | ⊕ 1961 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Formula manipulation language |
| ALMS | ⊕ 1966 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | Interactive algebraic system |
| ALPAK | ⊕ 1963 | ↓ ↑ ⊕ Non-numerical Scientific | Algebraic | ⊕ United States | Extension to ALTRAN to manipulate polynomials and rational functions |
| ALPAKA | ⊕ 1963 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | |
| ALPAKB | ⊕ 1966 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | Generalised version of ALPAK |
| ALPHA | ⊕ 1960 | ↓ ↑ ⊕ Multi-purpose | Algebraic | ⊕ United States | HLL for STRETCH-HARVEST |
| AM1 | ⊕ 1966 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ Australia | Abstract Machine 1 |
| AMBIT | ⊕ 1964 | ↓ ↑ ⊕ String and List Processing | Algebraic | ⊕ United States | Algebraic manipulation |
| AMPL | ⊕ 1967 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | algebraic modeling language |
| APT | ⊕ 1960 | ↓ ↑ ⊕ Non-numerical Scientific | Algebraic | ⊕ United States | Polish notation algebraic language |
| ARGMAT | ⊕ 1966 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ Germany | Matrix Algebra language |
| ASHMEDAI | ⊕ 1967 | ↓ ↑ ⊕ Non-numerical Scientific | Algebraic | ⊕ United States | Symbolic maths package |
| ASKA | ⊕ 1965 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ Germany | Matrix finite element analysis language |
| AUTOMAST | ⊕ 1966 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | automatic mathematical analysis and symbolic translation |
| AUTOMATH | ⊕ 1967 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ Netherlands | |
| CALPAK | ⊕ 1965 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | CALTECH Algebra package |
| CALTRAN | ⊕ 1965 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | CALTECH Algebra package |
| CAMAL | ⊕ 1968 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United Kingdom | CAMbridge ALgebra system |
| CAPIM | ⊕ 1962 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ Brazil | Matrix algerbra system |
| CAPSULES | ⊕ 1983 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Algebraic system |
| Clemens and Matzner | ⊕ 1967 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Formac extensions for GR |
| Dunten algebraic language | ⊕ 1963 | ↓ ↑ ⊕ Non-numerical Scientific | Algebraic | ⊕ United States | Algebraic language |
| EPL | ⊕ 1991 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Equational language for parallel scientific applications |
| ESP | ⊕ 1970 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Symbolic maths system |
| EXATRAN | ⊕ 1969 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | NASA maths language |
| FALCON | ⊕ 1974 | ↓ ↑ ⊕ On-Line | Algebraic | ⊕ Italy | |
| FAMOUS | ⊕ 1966 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Algebraic system |
| GAMMA | ⊕ 1968 | ↓ ↑ ⊕ On-Line | Algebraic | ⊕ Switzerland | CERN port of Culler-Fried System |
| GAMS | ⊕ 1988 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | General Algebraic Modeling System |
| GRAD Assistant | ⊕ 1965 | ↓ ↑ ⊕ Non-numerical Scientific | Algebraic | ⊕ United States | A LISP program to do algebraic manipulation |
| IAM | ⊕ 1968 | ↓ ↑ ⊕ Non-numerical Scientific | Algebraic | ⊕ United States | Interactive Algebraic Manipulation |
| ISM | ⊕ 1966 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | Symbol manipulation language |
| K5 | ⊕ 1957 | ↓ ↑ ⊕ Excluded from Sammet | Algebraic | ⊕ United States | Algebraic assembler |
| Klerer-May System | ⊕ 1964 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ||
| LAS | ⊕ 1979 | ↓ ↑ ⊕ Specialised Languages | Algebraic | Algebra system | |
| LEAF | ⊕ 1969 | ↓ ↑ ⊕ String and List Processing | Algebraic | ⊕ United States | Algebraic extension to LISP |
| LINGO | ⊕ 1987 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | optimization programming language |
| LOLITA | ⊕ 1967 | ↓ ↑ ⊕ String and List Processing | Algebraic | ⊕ United States | Symbolic mathematics system |
| MACSYMA | ⊕ 1969 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Symbolic math system |
| MAFIA | ⊕ 1955 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Lockheed matrix algebra system |
| MAGEN | ⊕ 1963 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Matrix manipulation language |
| MAGIC I | ⊕ 1955 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Michigan algebraic coder |
| MAL | ⊕ 1971 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Boeing Matrix algebra language |
| MANIP | ⊕ 1966 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | A set of FORTRAN programs to manipulate expressions. |
| Mathematica | ⊕ 1988 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | |
| MATHLAB 68 | ⊕ 1967 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Second release of MATHLAB |
| MATRIX MATH | ⊕ 1953 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Matrix algebra compiler for UNIVAC II |
| Matrix PRORAB | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ Ukraine | Leningrad matrix compiler |
| MIKE | ⊕ 1988 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ Belgium | Algebraic Modula 2 |
| MINION | ⊕ 1989 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Algebraic workspace system |
| Mizar | ⊕ 1973 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ Poland | |
| Mma | ⊕ 1991 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | Mathematical system |
| muPad | ⊕ 1990 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ Germany | Algebraic manipulation system |
| OEDIPUS | ⊕ 1964 | ↓ ↑ ⊕ Non-numerical Scientific | Algebraic | ⊕ United States | Bell Labs interpretive algebraic system |
| PEG | ⊕ 1967 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | Interactive maths system |
| Pegasus function interpreter | ⊕ 1959 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United Kingdom | Algebraic system for the Pegasus |
| Polylith | ⊕ 1983 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Multiple language algebraic worsktation |
| QAS | ⊕ 1978 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ Greece | Question answering system |
| REDUCE 2 | ⊕ 1970 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Improved vesion of REDUCE with new format |
| SAC-1 | ⊕ 1967 | ↓ ↑ ⊕ On-Line | Algebraic | ⊕ United States | Symbolic Algebraic Computing |
| SAINT | ⊕ 1961 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | A program to do formal integration |
| SAL | ⊕ 1965 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Simple Algebraic Language |
| SCHATCHEN | ⊕ 1967 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Pattern matching sublanguage for SIN |
| Schoenfinkel | ⊕ 1924 | ↓ ↑ ⊕ Excluded from Sammet | Algebraic | ⊕ United States | Schoenfinkel's combinatory algebra |
| Schoonschip | ⊕ 1964 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ Switzerland | Symbolic maths |
| SIGMA | ⊕ 1972 | ↓ ↑ ⊕ On-Line | Algebraic | ⊕ Switzerland | Interactive maths system based on CFS |
| SIGMA 76 | ⊕ 1976 | ↓ ↑ ⊕ On-Line | Algebraic | ⊕ Switzerland | Improved version of SIGMA |
| SML | ⊕ 1969 | ↓ ↑ ⊕ On-Line | Algebraic | ⊕ United States | MIT interactive maths system |
| SORITEC | ⊕ 1978 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | statistical/econometric programming language |
| Speakeasy | ⊕ 1971 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | Interactive expression-oriented language with plugins |
| SPEAKEASY 3 | ⊕ 1972 | ↓ ↑ ⊕ On-Line | Algebraic | ⊕ United States | Version 3 of Speakeasy |
| Speakeasy Theta | ⊕ 2002 | ↓ ↑ ⊕ On-Line | Algebraic | ⊕ United States | |
| SPEAKEC | ⊕ 1977 | ↓ ↑ ⊕ On-Line | Algebraic | ⊕ United States | |
| STL Online Computer System | ⊕ 1964 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | Improved version of Tanoga Park CFS |
| SYMBAL | ⊕ 1967 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | An extension of ALGOL to do formal algebraic manipulation. |
| TKSolver 2 | ⊕ 2000 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | |
| TKSolver Plus | ⊕ 1990 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ United States | |
| TOC | ⊕ 1967 | ↓ ↑ ⊕ On-Line | Algebraic | ⊕ United States | Interactive algebra system |
| UHFM | ⊕ 1971 | ↓ ↑ ⊕ Specialised Languages | Algebraic | ⊕ United States | Formula manipulation language |
| Universal PRORAB | ⊕ 1957 | ↓ ↑ ⊕ Numerical Scientific | Algebraic | ⊕ Ukraine | Leningrad algebraic compiler |