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

GQTPAR
 Referenced in 252 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 679 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 42 articles
[sw04863]
 behavior also makes it possible to generate high order derivatives by applying the ADtemplates...

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

LUSTRE
 Referenced in 30 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 249 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...

OTTER
 Referenced in 239 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...

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

CUTGEN1
 Referenced in 37 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...

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

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

Nitpick
 Referenced in 32 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...

SIMPACK
 Referenced in 41 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...

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

TRICE
 Referenced in 44 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 9 articles
[sw00758]
 such as abovethreshold ionization, high order harmonic generation, and dynamic stabilization are known...