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

GQTPAR
 Referenced in 258 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 689 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 87 articles
[sw11908]
 frequent substructures without candidate generation. gSpan builds a new lexicographic order among graphs, and maps...

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

Mplus
 Referenced in 273 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...

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

OTTER
 Referenced in 256 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 38 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 12 articles
[sw09780]
 dynamic analysis to make invariant generation order of magnitude more efficient...

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

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

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

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

Taylor
 Referenced in 49 articles
[sw10816]
 integration of ODEs by means of highorder Taylor methods. This paper revisits the Taylor ... given set of ODEs. The generated code includes a function to compute ... solution up to a given order plus adaptive selection of order and step size...