• CSparse

  • Referenced in 187 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...
  • OTTER

  • Referenced in 310 articles [sw02904]
  • fourth-generation Argonne National Laboratory deduction system whose ancestors (dating from the early 1960s) include ... Boolean algebra, logic calculi, combinatory logic, group theory, lattice theory, and algebraic geometry. Note: Otter/Mace2...
  • MIO Workbench

  • Referenced in 29 articles [sw09762]
  • interfaces (MIOs) is a new specification theory for systems communicating via inputs and outputs ... automata and interface automata, two dominant specification theories for component-based design. This paper presents...
  • REDLOG

  • Referenced in 159 articles [sw04250]
  • computer logic system, i.e., a system that provides algorithms for the symbolic manipulation of first ... formulas over some temporarily fixed language and theory. In contrast to theorem provers, the methods...
  • ProbView

  • Referenced in 27 articles [sw09438]
  • ProbView: a flexible probabilistic database system. Probability theory is mathematically the best understood paradigm ... negation, meaningful from the viewpoint of probability theory. (1) We propose a probabilistic relational data ... have developed a prototype probabilistic database system called ProbView on top of Dbase...
  • LiE

  • Referenced in 146 articles [sw01075]
  • theoretic nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups ... structure of their Weyl groups and root systems. LiE does not compute directly with elements...
  • 4eMka2

  • Referenced in 52 articles [sw16168]
  • data sets. The main difference between this system and the ones that are already ... that it bases on rough set theory combined with dominance relation, which is quite ... decision support. The main function of the system is extraction of the classification rules from ... with theory basis of used analysis model, which is often case in similar systems...
  • QDES

  • Referenced in 106 articles [sw26999]
  • Package contains binaries for machines and operating systems that no longer exist, a bunch ... ISBN 0-13-538687-X describes the theory behind QDES...
  • Nitpick

  • Referenced in 57 articles [sw00622]
  • hotel key card system. Our experimental results on Isabelle theories and the TPTP library indicate...
  • mCRL2

  • Referenced in 52 articles [sw01496]
  • distributed systems and protocols and is the successor to µCRL. Extensive theory is available ... theory has been implemented in the accompanying toolset, allowing automatic analysis and verification of systems...
  • CoCasl

  • Referenced in 26 articles [sw13076]
  • algebra in a natural way: The type system of communications, the syntax of processes ... studying the semantics and proof theory of reactive systems...
  • SCCP

  • Referenced in 72 articles [sw03318]
  • most one system of linear equations at each iteration. By using the theory of Euclidean...
  • emgr

  • Referenced in 9 articles [sw07554]
  • EMpirical GRamian Framework. In control and system theory the system Gramian matrices of linear input...
  • HipSpec

  • Referenced in 12 articles [sw07736]
  • Automating inductive proofs using theory exploration HipSpec is a system for automatically deriving and proving ... programs. It uses a novel approach, combining theory exploration, counterexample testing and inductive theorem proving ... other inductive theorem provers and theory exploration systems...
  • StratiGraph

  • Referenced in 20 articles [sw08331]
  • system models via their associated system pencils. The stratification theory provides information for a deeper...
  • Mcmt

  • Referenced in 19 articles [sw11911]
  • Mcmt: a model checker modulo theories. We describe mcmt, a fully declarative and deductive symbolic ... properties of infinite state systems whose state variables are arrays. Theories specify the properties ... Sets of states and transitions of a system are described by quantified first-order formulae ... core of the system is a backward reachability procedure which symbolically computes pre-images...
  • Lean

  • Referenced in 28 articles [sw15148]
  • Lean theorem prover (system description). Lean is a new open source theorem prover being developed ... small trusted kernel based on dependent type theory. It aims to bridge the gap between ... into other systems. It is currently being used to formalize category theory, homotopy type theory...
  • MaLARea

  • Referenced in 43 articles [sw10278]
  • Metasystem for Automated Reasoning in Large Theories. MaLARea (a Machine Learner for Automated Reasoning ... SPASS ATP systems) with a machine learning component (now the SNoW ... system used in the naive Bayesian learning mode). Its intended use is in large theories ... axioms, lemmas, theorems, definitions and symbols. The system works in cycles of theorem proving followed...
  • Mu Analysis and Synthesis Toolbox

  • Referenced in 109 articles [sw19506]
  • data structures for the unified treatment of systems in either a time domain, frequency domain ... users access to recent developments in control theory, namely H∞ optimal control and m analysis...
  • CAS

  • Referenced in 22 articles [sw07634]
  • characters of finite groups. CAS is a system for handling characters of finite groups, including ... course on character theory ... researchers in group theory. The CAS system makes a major contribution, by incorporating the experience...