
GAP
 Referenced in 2702 articles
[sw00320]
 system for computational discrete algebra, with particular emphasis on Computational Group Theory. GAP provides ... spaces, algebras, combinatorial structures, and more. The system, including source, is distributed freely...

Magma
 Referenced in 2718 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large, wellsupported software package designed for computations ... algebra, number theory, algebraic geometry and algebraic combinatorics. It provides a mathematically rigorous environment ... extensive documentation describing the features of the system. This handbook is available online. The documentation...

SINGULAR
 Referenced in 1314 articles
[sw00866]
 Algebra system (CAS) for polynomial computations in commutative algebra, algebraic geometry, and singularity theory. SINGULAR...

UMDES
 Referenced in 338 articles
[sw09523]
 written for the study of discrete event systems modeled by finitestate automata (FSA). There ... many of the operations of supervisory control theory, and routines that implement the methodology developed ... Michigan for failure diagnosis of discrete event systems. The book ”Introduction to Discrete Event Systems ... models, and the theory of supervisory control of discrete event systems...

PARI/GP
 Referenced in 564 articles
[sw00680]
 used Computer Algebra System (CAS) designed for fast computations in number theory, but also contains...

SageMath
 Referenced in 1507 articles
[sw00825]
 research and teaching in algebra, geometry, number theory, cryptography, numerical computation, and related areas. Both ... Maple, Mathematica, Magma, and MATLAB. Computer algebra system...

Agda
 Referenced in 174 articles
[sw09689]
 based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish...

ETPS
 Referenced in 152 articles
[sw06302]
 System. The former is an automated theoremprover for firstorder logic and type theory ... Lisp, and can be used on any system where Common Lisp runs. TPS and ETPS ... been used extensively under Unix and Linux systems, and to some extent under Windows. Potential ... formal theories in a wide variety of disciplines, deductive information systems for these disciplines, expert...

DSTool
 Referenced in 100 articles
[sw06719]
 find fixed points or bifurcation points. Dynamical systems arise in many disciplins of physics, biology ... methods employed by the theory of dynamical systems allow to compute important properties directly without...

SLICOT
 Referenced in 79 articles
[sw01095]
 numerical algorithms for computations in systems and control theory. Based on numerical linear algebra routines ... design and analysis of control systems. The basic ideas behind the library are: 1. usefulness...

MMT
 Referenced in 46 articles
[sw07136]
 simple and scalable Module system for the development of Mathematical Theories. MMT permits to encode ... metatheoretic foundations of mathematical and logical systems together with the represented knowledge itself ... logical level. This ”logicsastheories” approach makes system behaviors as well as their represented ... mathematical theories. Thus, it provides an interface layer between formally rigorous mathematical systems, and knowledge...

NTRU
 Referenced in 153 articles
[sw11761]
 system suggested by polynomial algebra combined with a clustering principle based on elementary probability theory ... from the interaction of the polynomial mixing system with the independence of reduction modulo...

Locales
 Referenced in 35 articles
[sw12448]
 Locales: a module system for mathematical theories. Locales are a module system for managing theory...

AutoGraphiX
 Referenced in 130 articles
[sw06137]
 computer system designed to help researchers in graph theory. The main purpose...

TPS
 Referenced in 71 articles
[sw00973]
 System. The former is an automated theoremprover for firstorder logic and type theory ... Lisp, and can be used on any system where Common Lisp runs. TPS and ETPS ... been used extensively under Unix and Linux systems, and to some extent under Windows. Potential ... formal theories in a wide variety of disciplines, deductive information systems for these disciplines, expert...

LERS
 Referenced in 118 articles
[sw08637]
 system handles inconsistencies in the input data due to its usage of rough set theory ... principle. Rough set theory is especially well suited to deal with inconsistencies. In this approach ... inconsistencies are not corrected. Instead, system LERS computes lower and upper approximations of each concept...

iPhosPseEvo
 Referenced in 17 articles
[sw23953]
 Information into General PseAAC via Grey System Theory. Protein phosphorylation plays a critical role ... acid composition (PseAAC) via the grey system theory, (2) balancing out the skewed training datasets ... individual random forest classifiers thru a voting system. Rigorous jackknife tests have indicated that very...

alphaCertified
 Referenced in 37 articles
[sw07351]
 alphaCertified: Certifying solutions to polynomial systems. Smale’s αtheory uses estimates related ... quadratically to solutions to a square polynomial system. The program alphaCertified implements ... algorithms based on αtheory to certify solutions of polynomial systems using both exact rational...

Mincer
 Referenced in 62 articles
[sw09009]
 multiloop calculations in quantum field theory for the Schoonschip system. We present a SCHOONSCHIP program...

LEGO
 Referenced in 107 articles
[sw09685]
 Jersey ML. It implements various related type systems  the Edinburgh Logical Framework (LF), the Calculus ... Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT). LEGO ... refinement proof as a basic operation. The system design emphasizes removing the more tedious aspects ... interactive proofs. For example, features of the system like argument synthesis and universe polymorphism make...