
Magma
 Referenced in 2337 articles
[sw00540]
 computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides a mathematically rigorous ... databases designed to aid computational research in those areas of mathematics which are algebraic ... Magma language. Magma is distributed by the Computational Algebra Group at the University of Sydney ... contributions made by many members of the mathematical community. We encourage all users to report...

DLMF
 Referenced in 1456 articles
[sw04968]
 Technology is preparing a Digital Library of Mathematical Functions (DLMF) to provide useful data about ... More than 50 mathematicians, physicists and computer scientists from around the world are participating ... covered include mathematical formulas, graphs, references, methods of computation, and links to software. Special features ... technology of choice for presentation of mathematics in print but it is not well suited...

Maple
 Referenced in 4623 articles
[sw00545]
 performance to handle every type of mathematics. Maple’s intuitive interface supports multiple styles ... math, graphics, images, sound, and diagrams. Computer algebra system...

MACSYMA
 Referenced in 689 articles
[sw01209]
 general purpose symbolicnumericalgraphical mathematics software product. Computer algebra system...

PARI/GP
 Referenced in 474 articles
[sw00680]
 number of other useful functions to compute with mathematical entities such as matrices, power series ... library to allow for faster computations...

Macaulay2
 Referenced in 1329 articles
[sw00537]
 since 1992. Macaulay2 includes core algorithms for computing Gröbner bases and graded or multigraded ... classes of mathematical objects and the installation of methods for computing specifically with them. Macaulay2...

R
 Referenced in 6281 articles
[sw00771]
 language and environment for statistical computing and graphics. It is a GNU project which ... publicationquality plots can be produced, including mathematical symbols and formulae where needed. Great care...

GAP
 Referenced in 2385 articles
[sw00320]
 computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language ... overview and the description of the mathematical capabilities. GAP is used in research and teaching ... extend it for your special use. Computer algebra system...

Isabelle/HOL
 Referenced in 807 articles
[sw01569]
 mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware...

Automath
 Referenced in 377 articles
[sw07127]
 sixties in order to represent mathematical proof in the computer. It’s the direct ancestor...

Isabelle
 Referenced in 518 articles
[sw00454]
 mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware...

mctoolbox
 Referenced in 1239 articles
[sw04827]
 files containing functions for constructing test matrices, computing matrix factorizations, visualizing matrices, and carrying ... toolbox: it describes much of the underlying mathematics and many of the algorithms and matrices...

Isar
 Referenced in 125 articles
[sw04599]
 success in actually formalizing parts of mathematics and computer science, there are still obstacles...

OPQ
 Referenced in 306 articles
[sw11881]
 polynomials. Computation and approximation. Orthogonal polynomials are a widely used class of mathematical functions that ... first time, a systematic development of computational techniques, including a suite of computer programs...

LISP
 Referenced in 120 articles
[sw07201]
 Lisp (historically, LISP) is a family of computer programming languages with a long history ... originally created as a practical mathematical notation for computer programs, influenced by the notation...

CCoRN
 Referenced in 33 articles
[sw06752]
 aims at building a computer based library of constructive mathematics, formalized in the theorem prover ... Background: There is a lot of mathematical knowledge. This knowledge is mainly stored in books ... right form on a computer, the mathematics should be more readily available to be used ... this: we put mathematics on a computer in an active (formalized...

SparseMatrix
 Referenced in 517 articles
[sw04629]
 reduction, electromagnetics, semiconductor devices, thermodynamics, materials, acoustics, computer graphics/vision, robotics/kinematics, and other discretizations) and those ... theoretical and quantum chemistry, chemical process simulation, mathematics and statistics, power networks, and other networks...

FEATFLOW
 Referenced in 159 articles
[sw04254]
 mathematical and algorithmical ideas in combination with high performance computational techniques. FEATFLOW is designed...

nag
 Referenced in 282 articles
[sw06239]
 ensure the accu racy and speed of computation and give peace of mind when results ... routines are highly flexible – callable from various mathematical packages, including MATLAB® and usable from many...

AXIOM
 Referenced in 162 articles
[sw00063]
 purpose Computer Algebra system (CAS). It is useful for research and development of mathematical algorithms...