• Gerris

  • Referenced in 151 articles [sw00341]
  • flow Entirely automatic mesh generation in complex geometries Second-order 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...
  • 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 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 AD-templates...
  • 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, Knuth-Bendix completion, weighting, and strategies for directing ... equational programming system. Otter is a fourth-generation Argonne National Laboratory deduction system whose ancestors...
  • CUTGEN1

  • Referenced in 38 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...
  • InvGen

  • Referenced in 12 articles [sw09780]
  • dynamic analysis to make invariant generation order of magnitude more efficient...
  • XSEarch

  • Referenced in 27 articles [sw12180]
  • information-retrieval 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 SAT-based first-order relational model ... that Nitpick generates more counterexamples than other model finders for higher-order 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 Next-to-Leading-Order 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 first-order Karush-Kuhn-Tucker (KKT) limit point ... generated by the algorithms is shown to have a limit point satisfying the second-order...
  • Taylor

  • Referenced in 49 articles [sw10816]
  • integration of ODEs by means of high-order 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...