• HiLog

  • Referenced in 51 articles [sw01580]
  • traditional predicate logic. HiLog has a higher-order syntax and allows arbitrary terms to appear ... complete proof procedure. Applications of HiLog are discussed, including DCG grammars, higher-order and modular...
  • Venture

  • Referenced in 9 articles [sw14670]
  • specified via a Turing-complete, higher-order probabilistic language descended from Lisp. Unlike Church, Venture ... graphical models. First, we describe the stochastic procedure interface (SPI) that specifies and encapsulates primitive ... supports custom control flow, higher-order probabilistic procedures, partially exchangeable sequences and “likelihood-free” stochastic...
  • embed_modal

  • Referenced in 4 articles [sw28304]
  • order modal logic into classical higher-order logic. The procedure was implemented as a stand...
  • Crowfoot

  • Referenced in 5 articles [sw07706]
  • Crowfoot: A verifier for higher-order store programs. We present Crowfoot, an automatic verification tool ... imperative programs that manipulate procedures dynamically at runtime; these programs use a heap that ... code (commands or procedures). Such heaps are often called higher-order store, and allow ... higher-order store to model phenomena such as runtime loading and unloading of code, runtime...
  • FDL3DI

  • Referenced in 54 articles [sw24948]
  • Implementation Into FDL3DI. A spectrum of higher-order schemes is developed to solve the Navier ... Pade type formulas of up to sixth order with a five-point stencil are developed ... strategy. For numerical stability, up to tenth-order filtering schemes are developed. The spectral properties ... choose proper filter coefficients. Special high-order formulas are obtained for differentiation and filtering...
  • Cross

  • Referenced in 7 articles [sw30282]
  • particular, we show that a third-order tensor of Tucker rank ... proposed procedure. The results can be further extended to fourth or higher-order tensors. Simulation ... under a variety of settings. Finally, the procedure is illustrated through a real dataset...
  • Leo-III

  • Referenced in 16 articles [sw18516]
  • agent-based deduction system for classical higher-order logic is developed. Leo-III combines ... systems with a novel agent-based proof procedure. Key goals of the system’s development...
  • SINDy

  • Referenced in 29 articles [sw30277]
  • models also readily generalize to include higher-order nonlinear terms that model the effect ... favourably against reduced-order models obtained from a standard Galerkin projection procedure. Finally, the entire...
  • RGITL

  • Referenced in 5 articles [sw13917]
  • higher-order logic. It extends ITL with explicit interleaved programs and recursive procedures. Deduction...
  • HOT

  • Referenced in 6 articles [sw13308]
  • prover based on ℋ𝒯ℰ an extensional higher-order tableaux calculus. The first part of this ... calculus which closely corresponds to the proof procedure implemented in HOT. The second part discusses...
  • stochastic

  • Referenced in 16 articles [sw18346]
  • deterministic calculus. The construction of higher-order schemes by hand would be a very complex ... paper includes stochastic numerical schemes and demonstrates procedures from the stochastic package which automate...
  • SERK2v3

  • Referenced in 7 articles [sw14473]
  • another procedure based on the Gershgorin theorem. Although SERK algorithms are only second-order schemes ... manuscript we propose to utilize them after higher-order discretizations in space to obtain higher...
  • VeriML

  • Referenced in 8 articles [sw13522]
  • because they support formal reasoning in higher-order logic and supply explicit machine-checkable proof ... users can develop complex tactics and decision procedures using a rich programming model...
  • SYDNA

  • Referenced in 1 article [sw02956]
  • complex problem solving procedures. Numerical algorithms are specified using a higher-order functor system, which...
  • Imandra

  • Referenced in 1 article [sw37911]
  • designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers ... interactive proof assistants for typed higher-order logics. Imandra’s logic is computational, based ... higher-order functions that allow conjectures to be translated into multi-sorted first-order logic ... Boyer-Moore ideas to our typed higher-order setting. These mechanisms are tightly integrated...
  • TravMC

  • Referenced in 2 articles [sw09396]
  • Haskell. In this paper, we introduce higher-order recursion schemes with cases (HORSC), which extend ... functional programs obtained via an abstraction-refinement procedure from pattern-matching recursion schemes...
  • PyCG

  • Referenced in 1 article [sw37995]
  • modular and incorporate dynamic features and higher-order functions. Despite the language’s popularity, there ... variables, classes, and modules through an inter-procedural analysis. Based on these assignment relations...
  • ATC

  • Referenced in 1 article [sw39352]
  • data, based on the sequentially truncated higher-order singular value decomposition (ST-HOSVD ... factors. Certain key improvements to the quantization procedure are also discussed. Moreover, particular implementation aspects...
  • ALBERT

  • Referenced in 82 articles [sw00025]
  • ALBERT - Software for scientific computations and applications. Adaptive...
  • ANSYS

  • Referenced in 703 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...