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

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

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

MaLARea
 Referenced in 43 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 58 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 104 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...

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

MaLeCoP
 Referenced in 20 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 293 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 64 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 50 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 165 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 50 articles
[sw06676]
 based on the theory of Finite elements. This tool covers a large range of applications...

Proofwatch
 Referenced in 3 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 53 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...

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

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

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

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