• GAP

  • Referenced in 3189 articles [sw00320]
  • Group Theory. GAP provides a programming language, a library of thousands of functions implementing algebraic...
  • UMDES

  • Referenced in 403 articles [sw09523]
  • operations of supervisory control theory, and routines that implement the methodology developed at University ... manipulation of FSA models, and the theory of supervisory control of discrete event systems...
  • mftoolbox

  • Referenced in 612 articles [sw23743]
  • book Functions of Matrices: Theory and Computation and contains implementations of many of the algorithms...
  • Isar

  • Referenced in 144 articles [sw04599]
  • integrated into the Isabelle/Pure meta-logic implementation. Theories, theorems, proof procedures etc. may be used...
  • SINGULAR

  • Referenced in 1508 articles [sw00866]
  • commutative algebra, algebraic geometry, and singularity theory. SINGULAR’s main computational objects are ideals ... ideal. SINGULAR features fast and general implementations for computing Groebner and standard bases, including...
  • FeynRules

  • Referenced in 100 articles [sw06468]
  • Beyond the minimal supersymmetric standard model: from theory to phenomenology. Thanks to the latest development ... straightforward implementation of any beyond the standard model theory in those tools, studying the property ... context of two nonminimal supersymmetric theories, namely the minimal supersymmetric standard model with $R$-parity ... quark. We show how to efficiently implement these theories in the {sc Mathematica} package...
  • Aleph

  • Referenced in 55 articles [sw12108]
  • good introduction to the theory, implementation and applications of ILP can be found ... Raedt (1994), Inductive Logic Programming: Theory and Methods, Jnl. Logic Programming ... ftp.cs.york.ac.uk/pub/ML_GROUP/Papers/InvEnt.ps.gz. Since then, the implementation has evolved to emulate some of the functionality...
  • BEMECH

  • Referenced in 119 articles [sw10847]
  • mechanics, beginning with basic theory and then explaining the numerical implementation of BEM in three...
  • cubicaltt

  • Referenced in 45 articles [sw22723]
  • Cubical type theory. Code library. Experimental implementation of Cubical Type Theory...
  • ALF

  • Referenced in 67 articles [sw08603]
  • Monomorphic Type Theory with Explicit Substitution. This thesis describes the implementation of ALF, which ... editor based on Martin-Löf’s type theory with explicit substitutions. ALF is a general...
  • mCRL2

  • Referenced in 55 articles [sw01496]
  • major part of this theory has been implemented in the accompanying toolset, allowing automatic analysis...
  • MadFKS

  • Referenced in 22 articles [sw10256]
  • ultraviolet-finite contribution of virtual origin. Our implementation, currently restricted to the case ... physical process resulting from a theory implemented in MadGraph, thus including the Standard Model ... theories. We give results for some sample processes that document the performances of the implementation...
  • LYAPACK

  • Referenced in 66 articles [sw12624]
  • Control Problems Users ’ Guide (Version 1.0). Control theory is one of the most rapidly developing ... implementations of numerically robust algorithms for many types of dense problems in control theory have ... situation, the author took the opportunity to implement the software package LYAPACK (“Lyapunov Package”), which ... class of large problems in control theory. An efficient ADI-based solver for large Lyapunov...
  • Oyster

  • Referenced in 34 articles [sw19629]
  • written in the type theory. We describe an implementation of the type theory that aims...
  • GOLOG

  • Referenced in 173 articles [sw02159]
  • theory of action specified in an extended version of the situation calculus. A prototype implementation...
  • FGb

  • Referenced in 247 articles [sw00286]
  • mandatory to have such an implementation to demonstrate the practical efficiency of new algorithms. Secondly ... been used in various applications (Robotic, Signal Theory, Biology, Computational Geometry, . . . ) and more recently...
  • alphaCertified

  • Referenced in 50 articles [sw07351]
  • solutions to polynomial systems. Smale’s α-theory uses estimates related to the convergence ... system. The program alphaCertified implements algorithms based on α-theory to certify solutions of polynomial ... arbitrary precision floating point arithmetic. It also implements algorithms that certify whether a given point...
  • CVC

  • Referenced in 49 articles [sw09462]
  • Decision procedures for decidable logics and logical theories have proven to be useful tools ... implements a framework for combining subsidiary decision procedures for certain logical theories into a decision ... theories of arrays, inductive datatypes, and linear real arithmetic are currently implemented. Other notable features...
  • PAG

  • Referenced in 21 articles [sw00669]
  • underlying theories of abstract interpretation and data flow analysis the implementation and design of analyzers ... worlds, specification languages based on the clean theory ... abstract interpretation and efficient implementation methods from the theory of data flow analysis...
  • SATO

  • Referenced in 196 articles [sw04451]
  • last decade, we developed a very efficient implementation of the Davis-Putnam method called SATO ... hundred open quasigroup problems in design theory. We also experimented SATO on networked workstations...