• Magma

  • Referenced in 2356 articles [sw00540]
  • large, well-supported software package designed for computations in algebra, number theory, algebraic geometry...
  • GAP

  • Referenced in 2398 articles [sw00320]
  • algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library ... language as well as large data libraries of algebraic objects. See also the overview...
  • SINGULAR

  • Referenced in 1196 articles [sw00866]
  • singularity theory. SINGULAR’s main computational objects are ideals and modules over a large variety...
  • PARI/GP

  • Referenced in 481 articles [sw00680]
  • fast computations in number theory, but also contains a large number of other useful functions...
  • MaLARea

  • Referenced in 40 articles [sw10278]
  • Metasystem for Automated Reasoning in Large Theories. MaLARea (a Machine Learner for Automated Reasoning ... mode). Its intended use is in large theories, i.e. on a large number of problems...
  • LYAPACK

  • Referenced in 50 articles [sw12624]
  • LYAPACK A MATLAB Toolbox for Large Lyapunov and Riccati Equations, Model Reduction Problems, and Linear ... Control Problems Users ’ Guide (Version 1.0). Control theory is one of the most rapidly developing ... many types of dense problems in control theory have become available in software packages, such ... approach to a class of large problems in control theory. An efficient ADI-based solver...
  • DELORES

  • Referenced in 24 articles [sw05546]
  • linear complexity, allowing DELORES to execute large theories very quickly. DELORES’s algorithm extends...
  • CVC4

  • Referenced in 79 articles [sw09485]
  • source automatic theorem prover for satisfiability modulo theories (SMT) problems. It can be used ... order formulas in a large number of built-in logical theories and their combination. CVC4...
  • MaLeCoP

  • Referenced in 18 articles [sw07197]
  • solving many problems in a large complex theory, learning from successful solutions is then used ... self-learning AI mathematical experts on large mathematical libraries, some of which are discussed ... evaluated on the MPTP Challenge large theory benchmark...
  • GloptiPoly

  • Referenced in 234 articles [sw04343]
  • algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite ... short formulation, the GPM has a large number of important applications in various fields such...
  • Fluid flow phenomena

  • Referenced in 55 articles [sw15481]
  • describes concrete links between theory and practice, offering a large number of codes which allow ... wall turbulent flows. The book includes large eddy simulation methodology since in the near future ... dynamics.par A well-balanced mix between the theory and the wide range of applications makes...
  • IMPS

  • Referenced in 45 articles [sw09143]
  • another via inclusion and theory interpretation. IMPS provides relatively large primitive inference steps to facilitate ... comprehension of the resulting proofs. An initial theory library contained over a thousand repeatable proofs...
  • HYPLAS

  • Referenced in 89 articles [sw17661]
  • Computational methods for plasticity. Theory and applications. The purpose of this text is to describe ... detail numerical techniques used in small and large strain finite element analysis of elastic ... attempt to present a reasonable balance of theory and numerical procedures used in the finite...
  • Code_Aster

  • Referenced in 35 articles [sw06676]
  • based on the theory of Finite elements. This tool covers a large range of applications...
  • hgam

  • Referenced in 73 articles [sw11201]
  • sparsity and smoothness is crucial for mathematical theory as well as performance for finite-sample ... sparsity-smoothness penalized approach yields large additional performance gains...
  • QETLAB

  • Referenced in 44 articles [sw20493]
  • theory. While there are many quantum information theory toolboxes that allow the user to perform ... well both with full matrices and with large sparse matrices, and makes use of many...
  • BWDifference

  • Referenced in 4 articles [sw23722]
  • oscillator. 2: A study of perturbation theory in large order” in [Phys...
  • MathTensor

  • Referenced in 20 articles [sw09364]
  • system. The package is useful for manipulating large systems of equations and for detecting symmetries ... author addresses problems emerging from quantum field theory of curved space-times for instance ... demanding task to convert a large Riemann tensor term into a linear combination...
  • Proofwatch

  • Referenced in 1 article [sw28654]
  • Proofwatch: watchlist guidance for large theories in E. Watchlist (also hint list) is a mechanism ... explore the use of watchlists in large theories coming from first-order translations of large...
  • PALP

  • Referenced in 57 articles [sw00672]
  • applications to toric geometry and string theory, like the computation of Hodge data and fibration ... creation and manipulation of very large lists of 5-dimensional polyhedra. While originally intended...