
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, ”UTPsquared”, 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 ordersorted theories with any combination of associativity (A), commutativity ... also called “antiunifiers”) 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 ... knowledgebased methods within a formal probability theory framework. A user interface module gives...