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