• Magma

  • Referenced in 3315 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 2809 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...
  • Macaulay2

  • Referenced in 1923 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...
  • PARI/GP

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

  • Referenced in 5373 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...
  • R

  • Referenced in 9969 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...
  • MACSYMA

  • Referenced in 720 articles [sw01209]
  • general purpose symbolic-numerical-graphical mathematics software product. Computer algebra system...
  • GAP

  • Referenced in 3189 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 1017 articles [sw01569]
  • mathematical proofs and in particular formal verification, which includes proving the correctness of computer hardware...
  • Automath

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

  • Referenced in 629 articles [sw15170]
  • numerical computation using data flow graphs. Nodes in the graph represent mathematical operations, while ... flexible architecture allows you to deploy computation to one or more CPUs or GPUs...
  • Isabelle

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

  • Referenced in 1486 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...
  • OPQ

  • Referenced in 442 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...
  • Isar

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

  • Referenced in 127 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...
  • SciPy

  • Referenced in 775 articles [sw06293]
  • Sigh Pie”) is open-source software for mathematics, science, and engineering. It is also ... need to manipulate numbers on a computer and display or publish the results, give SciPy...
  • SparseMatrix

  • Referenced in 725 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...
  • TensorToolbox

  • Referenced in 183 articles [sw04185]
  • describe the computational efficiency of this scheme for various mathematical operations, including those typical ... demonstrate that many elementary operations can be computed using only the components...
  • C-CoRN

  • Referenced in 36 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...