
Magma
 Referenced in 2356 articles
[sw00540]
 large, wellsupported 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 ADIbased 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 builtin 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 ... selflearning 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 wellbalanced 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 finitesample ... sparsitysmoothness 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 spacetimes 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 firstorder 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 5dimensional polyhedra. While originally intended...