• 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, well-supported 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 finite-state 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 theorem-prover for first-order 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 ... meta-theoretic foundations of mathematical and logical systems together with the represented knowledge itself ... logical level. This ”logics-as-theories” 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 theorem-prover for first-order 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...
  • iPhos-PseEvo

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