
Magma
 Referenced in 2347 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 1473 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 4663 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 477 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 1341 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 6475 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 2392 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 820 articles
[sw01569]
 mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware...

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

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

mctoolbox
 Referenced in 1241 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 522 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 161 articles
[sw04254]
 mathematical and algorithmical ideas in combination with high performance computational techniques. FEATFLOW is designed...

nag
 Referenced in 283 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...

GeoGebra
 Referenced in 293 articles
[sw04203]
 GeoGebra is free and multiplatform dynamic mathematics software for all levels of education that ... world. Free and open source software. Computer algebra system...