• GloptiPoly

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

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

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

  • Referenced in 22 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...
  • Satallax

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

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

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

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

  • Referenced in 107 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...
  • Rosetta

  • Referenced in 8 articles [sw28086]
  • Rosetta: an operator basis translator for Standard Model effective field theory. We introduce Rosetta ... between different bases of effective field theory operators. We present the main functions ... also detail how to add new operator bases into the Rosetta package. In this ... phenomenological studies using an effective field theory framework can be straightforwardly performed...
  • Agda

  • Referenced in 195 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...
  • Saga

  • Referenced in 89 articles [sw39677]
  • linear convergence rates. SAGA improves on the theory behind SAG and SVRG, with better theoretical ... support for composite objectives where a proximal operator is used on the regulariser. Unlike SDCA...
  • OFMC

  • Referenced in 27 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...
  • QDES

  • Referenced in 107 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...
  • Interrogator

  • Referenced in 11 articles [sw36025]
  • approach in the context of equational theories. The operator representation and equation-solving capability...
  • CIXL2

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

  • Referenced in 67 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...
  • LiE

  • Referenced in 158 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...
  • libMC

  • Referenced in 46 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...
  • SInt

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