
GAP
 Referenced in 2850 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 2857 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 1373 articles
[sw00866]
 Algebra system (CAS) for polynomial computations in commutative algebra, algebraic geometry, and singularity theory. SINGULAR...

UMDES
 Referenced in 348 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 586 articles
[sw00680]
 used Computer Algebra System (CAS) designed for fast computations in number theory, but also contains...

SageMath
 Referenced in 1617 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 182 articles
[sw09689]
 based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish...

ETPS
 Referenced in 153 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 103 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 80 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 47 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...

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

NTRU
 Referenced in 158 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...

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

alphaCertified
 Referenced in 43 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...

LERS
 Referenced in 121 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...

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

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

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

CSparse
 Referenced in 195 articles
[sw20382]
 encounter problems requiring the solution of sparse systems of linear equations. Attacking these problems efficiently ... depth knowledge of the underlying theory, algorithms, and data structures found in sparse matrix software ... programming language, Direct Methods for Sparse Linear Systems equips readers with the working knowledge required...