MATLAB - A high-level language and interactive environment for numerical computation, visualization, and programming
Agda - Agda is a dependently typed functional programming language. It has inductive families, i.e.
GNU Octave - GNU Octave is a programming language for scientific computing.
Haskell - An advanced purely-functional programming language
Wolfram Mathematica - Mathematica has characterized the cutting edge in specialized processing—and gave the chief calculation environment to a large number of pioneers, instructors, understudies, and others around the globe.
Isabelle - Isabelle is a proof assistant for writing and checking mathematical proofs by computer.