• GloptiPoly

  • Referenced in 228 articles [sw04343]
  • algebra, Fourier analysis, functional analysis, operator theory, probability and statistics, to cite...
  • UMDES

  • Referenced in 300 articles [sw09523]
  • that implement many of the operations of supervisory control theory, and routines that implement...
  • Why3

  • Referenced in 107 articles [sw04438]
  • standard library of logical theories (integer and real arithmetic, Boolean operations, sets and maps...
  • Satallax

  • Referenced in 33 articles [sw06849]
  • Church’s simple type theory with extensionality and choice operators. The SAT solver MiniSat...
  • CliffOC

  • Referenced in 13 articles [sw04957]
  • Operator calculus on graphs. Theory and applications in computer science This pioneering book presents ... study of the interrelationships among operator calculus, graph theory, and quantum probability in a unified...
  • OFMC

  • Referenced in 26 articles [sw09466]
  • with support for algebraic properties of cryptographic operators and with a simple notation for different ... respect to an algebraic theory of the employed cryptographic operators, which can be specified...
  • PSEUDO

  • Referenced in 40 articles [sw01152]
  • theory of integrable models. Solution method: Pseudo-differential Lax operators. Restrictions: Handles only one dimensional...
  • QDES

  • Referenced in 99 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...
  • QETLAB

  • Referenced in 39 articles [sw20493]
  • quantum information theory toolboxes that allow the user to perform basic operations such...
  • CIXL2

  • Referenced in 18 articles [sw03302]
  • based on the statistical theory of population distributions. The operator is based on the theoretical...
  • Agda

  • Referenced in 141 articles [sw09689]
  • types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface ... proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed...
  • LEGO

  • Referenced in 66 articles [sw09685]
  • Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT). LEGO ... supports refinement proof as a basic operation. The system design emphasizes removing the more tedious ... higher-order power of its underlying type theories, and the support of specifying new inductive...
  • CliffMath

  • Referenced in 7 articles [sw04955]
  • Operator calculus on graphs. Theory and applications in computer science This pioneering book presents ... study of the interrelationships among operator calculus, graph theory, and quantum probability in a unified...
  • LiE

  • Referenced in 135 articles [sw01075]
  • theoretic nature. It focuses on the representation theory of complex semisimple (reductive) Lie groups ... distinguished coset representatives and much more. These operations have been compiled into the program which...
  • SInt

  • Referenced in 5 articles [sw12689]
  • Conceição et al., in: Operator Theory: Advances and Applications...
  • ALF

  • Referenced in 54 articles [sw08603]
  • editor based on Martin-Löf’s type theory with explicit substitutions. ALF is a general ... manipulated directly, by the usual editing operations. A partial proof is represented as an incomplete ... sound and complete assuming some basic meta theory properties of the substitution calculus. The algorithm...
  • libMC

  • Referenced in 35 articles [sw06615]
  • forward mode, with each elementary operation of convex and concave relaxation, additional variables are introduced ... recursively upon application of the subgradient propagation theory developed in [1]. An alternative approach ... reverse mode, which performs similar recursive operations, but works through the evaluation trace backwards. Only...
  • ECDAR

  • Referenced in 10 articles [sw02824]
  • tool supports the important operations of a good compositional reasoning theory: composition, conjunction, quotient, consistency/satisfaction...
  • ATESAT

  • Referenced in 12 articles [sw02385]
  • satellite theory. Analytical theories for the artificial satellite motion involve operations with the so called...
  • Perseus

  • Referenced in 14 articles [sw08778]
  • representations of boundary operators defined on cell complexes. Discrete Morse theory provides a powerful...