• LEGO

  • Referenced in 107 articles [sw09685]
  • Calculus of Constructions (GCC) and the Unified Theory of Dependent Types (UTT). LEGO...
  • Circus

  • Referenced in 90 articles [sw21828]
  • model in Hoare & He’s unifying theories of programming...
  • GMRFLib

  • Referenced in 297 articles [sw06641]
  • Random Fields: Theory and Applications provides such a reference, using a unified framework for representing...
  • ShearLab

  • Referenced in 53 articles [sw06721]
  • data. This implies that shearlet theory provides a unified treatment of both the continuum...
  • Isabelle/UTP

  • Referenced in 13 articles [sw21184]
  • mechanisation of Hoare and He’s unifying theories of programming (UTP) in Isabelle/HOL...
  • Isabelle/Circus

  • Referenced in 13 articles [sw15208]
  • based on Hoare and He’s unifying theories of programming (UTP). We develop a machine...
  • UTP2

  • Referenced in 5 articles [sw06342]
  • Unifying Theories of Programming Theorem Prover ( U·(TP)2, ”UTP-squared”, or UTP2 if stuck ... support foundational proof work in the Unifying Theories of Programming framework (UTP). Formerly known ... theorem prover developed to support the Unifying Theories of Programming (UTP) framework. Its primary design...
  • Mu Analysis and Synthesis Toolbox

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

  • Referenced in 23 articles [sw04955]
  • among operator calculus, graph theory, and quantum probability in a unified manner, with significant emphasis...
  • CLARION

  • Referenced in 8 articles [sw30592]
  • constructing IVAs. CLARION is a unified, comprehensive theory of the mind based on a hybrid...
  • shap

  • Referenced in 39 articles [sw30901]
  • unified approach to explain the output of any machine learning model. SHAP connects game theory...
  • CliffOC

  • Referenced in 20 articles [sw04957]
  • among operator calculus, graph theory, and quantum probability in a unified manner, with significant emphasis...
  • Saoithin

  • Referenced in 4 articles [sw06341]
  • theorem prover developed to support the Unifying Theories of Programming (UTP) framework. Its primary design...
  • CleGo

  • Referenced in 3 articles [sw06831]
  • breaking in model building for grand unified theories. For that purpose, multiple tensor products have...
  • UTPCalc

  • Referenced in 2 articles [sw22067]
  • prototyping of new theories in the Unifying Theories of Programming paradigm, by supporting an easy...
  • untb

  • Referenced in 4 articles [sw25803]
  • ecological drift under Hubbell’s Unified Neutral Theory of Biodiversity, and the calculation of various...
  • ACUOS2

  • Referenced in 10 articles [sw31984]
  • subtyping and inheritance. Generalization in order-sorted theories with any combination of associativity (A), commutativity ... also called “anti-unifiers”) of two typed structures in such theories do not currently scale...
  • SpinUpFlowDescriptor

  • Referenced in 2 articles [sw37773]
  • geometry. There is currently no unified theory for describing ferrofluid flow under a rotating magnetic...
  • SusyTC

  • Referenced in 2 articles [sw24719]
  • SUSY threshold corrections with SusyTC. Grand Unified Theories (GUTs) can feature predictions for the ratios...
  • NESTOR

  • Referenced in 27 articles [sw22096]
  • specific technical tasks to be addressed. The unifying philosophy in addressing them ... knowledge-based methods within a formal probability theory framework. A user interface module gives...