
Magma
 Referenced in 3344 articles
[sw00540]
 large, wellsupported software package designed for computations in algebra, number theory, algebraic geometry...

GAP
 Referenced in 3190 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 1509 articles
[sw00866]
 singularity theory. SINGULAR’s main computational objects are ideals and modules over a large variety...

PARI/GP
 Referenced in 653 articles
[sw00680]
 fast computations in number theory, but also contains a large number of other useful functions...

MaLARea
 Referenced in 50 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 66 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...

CVC4
 Referenced in 124 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 27 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 329 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...

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

Fluid flow phenomena
 Referenced in 71 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...

HYPLAS
 Referenced in 201 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...

IMPS
 Referenced in 52 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...

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

Proofwatch
 Referenced in 4 articles
[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...

QETLAB
 Referenced in 65 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...

ATPboost
 Referenced in 4 articles
[sw28626]
 system for solving sets of largetheory problems by interleaving ATP runs with state...

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...

randoCoP
 Referenced in 3 articles
[sw15149]
 TPTP library and problems involving large theories...

BWDifference
 Referenced in 5 articles
[sw23722]
 oscillator. 2: A study of perturbation theory in large order” in [Phys...