• FDL3DI

  • Referenced in 54 articles [sw24948]
  • Implementation Into FDL3DI. A spectrum of higher-order schemes is developed to solve the Navier...
  • dcc

  • Referenced in 37 articles [sw07577]
  • generation of first- and higher-order tangent-linear and adjoint code. The author covers ... examples and exercises; * first- and higher-order tangent-linear and adjoint modes for a limited...
  • Ciao

  • Referenced in 51 articles [sw12088]
  • language which supports logic, constraint, functional, higher-order, and object-oriented programming styles. Its main...
  • Ynot

  • Referenced in 35 articles [sw12334]
  • supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects ... abstraction mechanisms of Coq to build higher-level reasoning mechanisms which in turn ... finite maps, including support for a higher-order (effectful) iterator. The implementations range from simple...
  • FronTier

  • Referenced in 47 articles [sw12957]
  • curvature and normal algorithms and a higher order propagation algorithm, used for the comparison studies...
  • Lambda-Clam

  • Referenced in 24 articles [sw19614]
  • system that support proof planning over higher-order domains: System description: Proof planning in higher ... λClam system for proof planning in higher-order logic. The usefulness and feasibility of applying ... higher-order proof planning to a number of types of problem is outlined, in particular ... hardware systems. The use of a higher-order metatheory overcomes problems encountered in Clam because...
  • GHC

  • Referenced in 43 articles [sw23765]
  • multiprocessing. Except for the lack of higher- order facilities, GHC can be viewed...
  • CHARMS

  • Referenced in 36 articles [sw02957]
  • basis function order (piecewise linear, higher order B-splines, Loop subdivision, etc.). The(un-)refinement...
  • ROMS

  • Referenced in 35 articles [sw30140]
  • performed using conservative parabolic splines; and higher-order, quasi-monotone advection algorithms. Examples of quantitative...
  • AIR

  • Referenced in 33 articles [sw40028]
  • Automatic Integral Reduction for Higher Order Perturbative Calculations. We present a program for the reduction...
  • Polyp

  • Referenced in 33 articles [sw09131]
  • Jones’ theories of qualified types and higher-order polymorphism. The semantics of the programs...
  • OMEGA

  • Referenced in 32 articles [sw19623]
  • Ωmega: A theorem prover for higher-order logic based on proof planning...
  • HasCasl

  • Referenced in 17 articles [sw00399]
  • HasCasl: integrated higher-order specification and program development We lay out the design of HasCasl ... higher-order extension of the algebraic specification language Casl that serves both as a wide ... expressive standard language for higher-order logic. Distinctive features of HasCasl include partial higher-order ... functions, higher-order subtyping, shallow polymorphism, and an extensive type-class mechanism. Moreover, HasCasl provides...
  • LIEPDE

  • Referenced in 31 articles [sw01216]
  • point-, contact and generalized higher order symmetries. The overdetermined system of symmetry conditions is solved...
  • XSummer

  • Referenced in 30 articles [sw06109]
  • extremely useful in the evaluation of higher-order perturbative corrections in quantum field theory...
  • IsaPlanner

  • Referenced in 30 articles [sw02047]
  • This is applicable within Isabelle”s Higher Order Logic, and can easily be adapted...
  • SINDy

  • Referenced in 29 articles [sw30277]
  • order models. With the goal of low-order models of a fluid flow, we combine ... models also readily generalize to include higher-order nonlinear terms that model the effect...
  • LOOP

  • Referenced in 29 articles [sw10292]
  • Java) classes into their semantics in higher order logic. It serves as a front...
  • Transfer

  • Referenced in 27 articles [sw21009]
  • ubiquitous in formal reasoning with higher-order logic. Typically, users want to build a library...
  • Lifting

  • Referenced in 27 articles [sw21010]
  • ubiquitous in formal reasoning with higher-order logic. Typically, users want to build a library...