• Gerris

  • Referenced in 123 articles [sw00341]
  • flow Entirely automatic mesh generation in complex geometries Second-order 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...
  • MU-TERM

  • 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 663 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 AD-templates...
  • gSpan

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

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

  • Referenced in 26 articles [sw08938]
  • this semantics in order to generate efficient sequential code, namely, a finite state automaton which...
  • 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]
  • information-retrieval techniques and are generated in an order similar to the ranking. Advanced indexing...
  • CUTGEN1

  • Referenced in 35 articles [sw14833]
  • dimensional cutting stock problem. A problem generator for the Standard One-dimensional 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...
  • OTTER

  • Referenced in 200 articles [sw02904]
  • includes facilities for term rewriting, term orderings, Knuth-Bendix completion, weighting, and strategies for directing ... equational programming system. Otter is a fourth-generation Argonne National Laboratory deduction system whose ancestors...
  • InvGen

  • Referenced in 10 articles [sw09780]
  • dynamic analysis to make invariant generation order of magnitude more efficient...
  • MC@NLO

  • Referenced in 28 articles [sw09540]
  • Monte Carlo event generator with Next-to-Leading-Order calculations of rates for QCD processes ... Fortran HERWIG or C++ Herwig++ event generator...
  • SIMPACK

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

  • Referenced in 23 articles [sw00622]
  • counterexample generator for Isabelle/HOL that builds on Kodkod, a SAT-based first-order relational model ... that Nitpick generates more counterexamples than other model finders for higher-order 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 42 articles [sw05197]
  • convergence of these algorithms to a first-order Karush-Kuhn-Tucker (KKT) limit point ... generated by the algorithms is shown to have a limit point satisfying the second-order...
  • Qprop

  • Referenced in 8 articles [sw00758]
  • such as above-threshold ionization, high order harmonic generation, and dynamic stabilization are known...