• 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 symbolic-numerical-graphical 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 multi-graded ... 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 ... publication-quality 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...
  • C-CoRN

  • 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 multi-platform dynamic mathematics software for all levels of education that ... world. Free and open source software. Computer algebra system...