• 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...