
Gerris
 Referenced in 124 articles
[sw00341]
 flow Entirely automatic mesh generation in complex geometries Secondorder in space and time Unlimited...

GQTPAR
 Referenced in 241 articles
[sw07451]
 prove that under reasonable assumptions the sequence generated by Newton’s method has a limit ... point which satisfies the first and second order necessary conditions for a minimizer...

MUTERM
 Referenced in 32 articles
[sw10015]
 tool implements the generation of the appropriate orderings for proving termination of CSR by means ... first termination tool which generates term orderings based on such polynomial interpretations. These orderings...

REDUCE
 Referenced in 674 articles
[sw00789]
 many contributors. Its capabilities include: expansion and ordering of polynomials and rational functions; substitutions ... variety of formats; facilities for generating optimized numerical programs from symbolic input; calculations with...

FADBAD++
 Referenced in 35 articles
[sw04863]
 behavior also makes it possible to generate high order derivatives by applying the ADtemplates...

gSpan
 Referenced in 80 articles
[sw11908]
 frequent substructures without candidate generation. gSpan builds a new lexicographic order among graphs, and maps...

LUSTRE
 Referenced in 28 articles
[sw08938]
 this semantics in order to generate efficient sequential code, namely, a finite state automaton which...

MESHPART
 Referenced in 53 articles
[sw04178]
 routines to generate recursive multiway partitions, vertex separators, and nested dissection orderings...

Mplus
 Referenced in 233 articles
[sw06511]
 observed variables that are continuous, censored, binary, ordered categorical (ordinal), unordered categorical (nominal), counts ... Carlo simulation studies, where data can be generated and analyzed according...

XSEarch
 Referenced in 27 articles
[sw12180]
 informationretrieval techniques and are generated in an order similar to the ranking. Advanced indexing...

OTTER
 Referenced in 225 articles
[sw02904]
 includes facilities for term rewriting, term orderings, KnuthBendix completion, weighting, and strategies for directing ... equational programming system. Otter is a fourthgeneration Argonne National Laboratory deduction system whose ancestors...

CUTGEN1
 Referenced in 36 articles
[sw14833]
 dimensional cutting stock problem. A problem generator for the Standard Onedimensional Cutting Stock Problem ... program in order to allow for the generation of easily reproducible random problem instances. Finally...

PAG
 Referenced in 18 articles
[sw00669]
 efficient program analyzer generator. In order to produce high quality code, compilers have to perform ... fixed point iterations. The program analyzer generator PAG described in the paper attempts to offer...

InvGen
 Referenced in 10 articles
[sw09780]
 dynamic analysis to make invariant generation order of magnitude more efficient...

SIMPACK
 Referenced in 38 articles
[sw04266]
 enables engineers to generate and solve virtual 3D models in order to predict and visualize...

MC@NLO
 Referenced in 28 articles
[sw09540]
 Monte Carlo event generator with NexttoLeadingOrder calculations of rates for QCD processes ... Fortran HERWIG or C++ Herwig++ event generator...

Nitpick
 Referenced in 26 articles
[sw00622]
 counterexample generator for Isabelle/HOL that builds on Kodkod, a SATbased firstorder relational model ... that Nitpick generates more counterexamples than other model finders for higherorder logic, without restrictions...

SuperLie
 Referenced in 14 articles
[sw14268]
 calculations and symbolic transformations in order to determine generators and relation of Lie (super)algebrass...

TRICE
 Referenced in 43 articles
[sw05197]
 convergence of these algorithms to a firstorder KarushKuhnTucker (KKT) limit point ... generated by the algorithms is shown to have a limit point satisfying the secondorder...

Qprop
 Referenced in 8 articles
[sw00758]
 such as abovethreshold ionization, high order harmonic generation, and dynamic stabilization are known...