Search results
Results from the WOW.Com Content Network
Maxima (/ ˈ m æ k s ɪ m ə /) is a powerful software package for performing computer algebra calculations in mathematics and the physical sciences. It is written in Common Lisp and runs on all POSIX platforms such as macOS, Unix, BSD, and Linux, as well as under Microsoft Windows and Android.
The GNU Scientific Library (or GSL) is a software library for numerical computations in applied mathematics and science. The GSL is written in C and wrappers are available for other programming languages. The GSL is part of the GNU Project and is distributed under the GNU General Public License.
Maple is a symbolic and numeric computing environment as well as a multi-paradigm programming language.It covers several areas of technical computing, such as symbolic mathematics, numerical analysis, data processing, visualization, and others.
Programming languages that support arbitrary precision computations, either built-in, or in the standard library of the language: Ada: the upcoming Ada 202x revision adds the Ada.Numerics.Big_Numbers.Big_Integers and Ada.Numerics.Big_Numbers.Big_Reals packages to the standard library, providing arbitrary precision integers and real numbers.
Both binaries and source code are available for SageMath from the download page. If SageMath is built from source code, many of the included libraries such as OpenBLAS, FLINT, GAP (computer algebra system), and NTL will be tuned and optimized for that computer, taking into account the number of processors, the size of their caches, whether there is hardware support for SSE instructions, etc.
It is a "chemistry aware" computer programming language with over 1,000 specific functions for analyzing and manipulating chemical structures and related molecular objects. SVL is a concise, high-level language whose programs are typically 10 times smaller than their equivalent when compared to C or Fortran .
Modelica 1.0 is based on the PhD thesis [5] of Hilding Elmqvist and on the experience with the modeling languages Allan, [6] Dymola, NMF [7] ObjectMath, [8] Omola, [9] SIDOPS+, [10] and Smile. [11] Hilding Elmqvist is the key architect of Modelica, but many other people have contributed as well (see appendix E in the Modelica specification [ 2 ] ).
ACL2 – a programming language, a first-order logical theory, and a theorem prover (with both interactive and automatic modes) in the Boyer–Moore tradition.; Coq – Allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification.