
FDL3DI
 Referenced in 54 articles
[sw24948]
 Implementation Into FDL3DI. A spectrum of higherorder schemes is developed to solve the Navier...

dcc
 Referenced in 37 articles
[sw07577]
 generation of first and higherorder tangentlinear and adjoint code. The author covers ... examples and exercises; * first and higherorder tangentlinear and adjoint modes for a limited...

Ciao
 Referenced in 51 articles
[sw12088]
 language which supports logic, constraint, functional, higherorder, and objectoriented programming styles. Its main...

Ynot
 Referenced in 35 articles
[sw12334]
 supports writing, reasoning about, and extracting higherorder, dependentlytyped programs with sideeffects ... abstraction mechanisms of Coq to build higherlevel reasoning mechanisms which in turn ... finite maps, including support for a higherorder (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...

LambdaClam
 Referenced in 24 articles
[sw19614]
 system that support proof planning over higherorder domains: System description: Proof planning in higher ... λClam system for proof planning in higherorder logic. The usefulness and feasibility of applying ... higherorder proof planning to a number of types of problem is outlined, in particular ... hardware systems. The use of a higherorder 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 Bsplines, Loop subdivision, etc.). The(un)reﬁnement...

ROMS
 Referenced in 35 articles
[sw30140]
 performed using conservative parabolic splines; and higherorder, quasimonotone 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 higherorder polymorphism. The semantics of the programs...

OMEGA
 Referenced in 32 articles
[sw19623]
 Ωmega: A theorem prover for higherorder logic based on proof planning...

HasCasl
 Referenced in 17 articles
[sw00399]
 HasCasl: integrated higherorder specification and program development We lay out the design of HasCasl ... higherorder extension of the algebraic specification language Casl that serves both as a wide ... expressive standard language for higherorder logic. Distinctive features of HasCasl include partial higherorder ... functions, higherorder subtyping, shallow polymorphism, and an extensive typeclass 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 higherorder 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 loworder models of a fluid flow, we combine ... models also readily generalize to include higherorder 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 higherorder logic. Typically, users want to build a library...

Lifting
 Referenced in 27 articles
[sw21010]
 ubiquitous in formal reasoning with higherorder logic. Typically, users want to build a library...