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