
UCIml
 Referenced in 2847 articles
[sw04074]
 Repository is a collection of databases, domain theories, and data generators that are used...

Magma
 Referenced in 2672 articles
[sw00540]
 package designed for computations in algebra, number theory, algebraic geometry and algebraic combinatorics. It provides...

GAP
 Referenced in 2662 articles
[sw00320]
 algebra, with particular emphasis on Computational Group Theory. GAP provides a programming language, a library...

SageMath
 Referenced in 1468 articles
[sw00825]
 research and teaching in algebra, geometry, number theory, cryptography, numerical computation, and related areas. Both...

SINGULAR
 Referenced in 1291 articles
[sw00866]
 commutative algebra, algebraic geometry, and singularity theory. SINGULAR’s main computational objects are ideals...

PARI/GP
 Referenced in 560 articles
[sw00680]
 designed for fast computations in number theory, but also contains a large number of other...

HLLE
 Referenced in 510 articles
[sw06605]
 scheme is based on a new stability theory for discontinuities in fluids, which was never...

mftoolbox
 Referenced in 462 articles
[sw23743]
 associated with the book Functions of Matrices: Theory and Computation and contains implementations of many...

UMDES
 Referenced in 327 articles
[sw09523]
 many of the operations of supervisory control theory, and routines that implement the methodology developed ... manipulation of FSA models, and the theory of supervisory control of discrete event systems...

OTTER
 Referenced in 310 articles
[sw02904]
 Boolean algebra, logic calculi, combinatory logic, group theory, lattice theory, and algebraic geometry. Note: Otter/Mace2...

LISREL
 Referenced in 299 articles
[sw06514]
 other fields to empirically assess their theories. These theories are usually formulated as theoretical models...

robustbase
 Referenced in 355 articles
[sw07114]
 strive to cover the book ”Robust Statistics, Theory and Methods” by Maronna, Martin and Yohai...

GMRFLib
 Referenced in 250 articles
[sw06641]
 Gaussian Markov random fields. Theory and applications. Researchers in spatial statistics and image analysis ... subject.par Gaussian Markov Random Fields: Theory and Applications provides such a reference, using a unified...

gamair
 Referenced in 232 articles
[sw11132]
 Moreover, the book contains explanations of the theory underlying the statistical methods and material ... book includes some practical examples illustrating the theory and corresponding exercises. The appendix is devoted...

GloptiPoly
 Referenced in 280 articles
[sw04343]
 algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite...

Z
 Referenced in 272 articles
[sw10291]
 primarily directed to the user; the background theory is  with the exception of the natural...

ETPS
 Referenced in 152 articles
[sw06302]
 prover for firstorder logic and type theory. The latter is a cutdown version ... various mathematical activities, promoting development of formal theories in a wide variety of disciplines, deductive ... Introduction to Mathematical Logic and Type Theory: To Truth Through Proof, Second Edition, Kluwer Academic...

FGb
 Referenced in 234 articles
[sw00286]
 been used in various applications (Robotic, Signal Theory, Biology, Computational Geometry, . . . ) and more recently...

REDLOG
 Referenced in 156 articles
[sw04250]
 formulas over some temporarily fixed language and theory. In contrast to theorem provers, the methods ... applied know about the underlying algebraic theory and make use of it. We illustrate some...

HYPLAS
 Referenced in 153 articles
[sw17661]
 Computational methods for plasticity. Theory and applications. The purpose of this text is to describe ... attempt to present a reasonable balance of theory and numerical procedures used in the finite...