• gamair

• Referenced in 344 articles [sw11132]
• includes some practical examples illustrating the theory and corresponding exercises. The appendix is devoted...

• quantilogram

• Referenced in 25 articles [sw25152]
• autocorrelations with the corresponding critical value. We provide the distribution theory needed to conduct inference...

• Time-Delay System Toolbox

• Referenced in 12 articles [sw16539]
• direct generalization of the corresponding methods of the theory of ordinary differential equations ... disappear then all algorithms coincide with the corresponding numerical and control algorithms for ODEs...

• F5C

• Referenced in 30 articles [sw35035]
• because they correspond to signatures required for reduction. This paper revisits the theory underlying...

• Satallax

• Referenced in 57 articles [sw06849]
• Satallax is Church’s simple type theory with extensionality and choice operators. The SAT solver ... proof. Satallax generates propositional clauses corresponding to rules of a complete tableau calculus and calls...

• alphaCertified

• Referenced in 50 articles [sw07351]
• program alphaCertified implements algorithms based on α-theory to certify solutions of polynomial systems using ... algorithms that certify whether a given point corresponds to a real solution, and algorithms...

• Split Step Explorer

• Referenced in 15 articles [sw24413]
• Bulk-edge correspondence of one-dimensional quantum walks. We outline a theory of symmetry protected ... left indices no longer cancel, so the theory predicts bound states ... rigorous statement of bulk-edge correspondence. The results also apply to the Hamiltonian case with...

• TSAT++

• Referenced in 3 articles [sw21350]
• checkers for different theories (or combinations of theories), to be plugged ... modules used (and of the corresponding theory). Some experimental results are presented, showing that TSAT...

• RZ

• Referenced in 6 articles [sw08944]
• interfaces for the data structure corresponding to a mathematical theory. Our tool, called RZ, serves...

• XDuce

• Referenced in 54 articles [sw12436]
• types (so-called regular expression types) directly correspond to document schemas. XDuce also provides ... features, describe its foundations in the theory of regular tree automata, and present a complete...

• UCLID

• Referenced in 25 articles [sw04657]
• verifier, for term-level bounded model checking, correspondence checking, deductive verification, and predicate abstraction-based ... stand-alone decision procedure for the theories of uninterpreted functions and equality, integer linear arithmetic...

• OptShrink

• Referenced in 20 articles [sw33657]
• this estimate by shrinking the singular values corresponding to the Truncated SVD (TSVD ... correct manner as given by random matrix theory. It can be used in the missing...

• LPTP

• Referenced in 7 articles [sw01822]
• first-order theory that contains induction principles corresponding to the definition of the predicates...

• Pyhybridanalysis

• Referenced in 3 articles [sw14549]
• problem of a formula in the opportune theory. Automata are logic-based and their ... algorithm builds the first-order formula corresponding to the evolution of the automaton through ... formula belongs to the Tarski’s theory (i.e., is a first-order formula involving polynomials ... definable in the Tarski’s theory and the corresponding formulae can be obtained from itself...

• IPSSIS

• Referenced in 14 articles [sw07158]
• portfolio theory is that comparisons between portfolios are generally made using two criteria, corresponding...

• Ergodic theory

• Referenced in 6 articles [sw28532]
• ergodic theory), and variations around it such as conservativity of the corresponding skew product...

• CLASSgal

• Referenced in 10 articles [sw41564]
• corresponding correlation function xi(theta,z1,z2) in linear perturbation theory. For Gaussian initial perturbations...

• Refprop

• Referenced in 40 articles [sw24947]
• Rubin equation of state, and an extended corresponding states (ECS) model. Mixture calculations employ ... method, or in some cases the friction theory method...

• HiggsSignals

• Referenced in 18 articles [sw14812]
• measured at a specific hypothetical Higgs mass, corresponding to a tentative Higgs signal. Second ... comparing the signal rate measurement to the theory prediction at the Higgs mass predicted...

• FuzzME

• Referenced in 3 articles [sw00312]
• fuzzy models fully corresponds with the paradigm of the fuzzy set theory; the evaluations express...