• TetGen

  • Referenced in 158 articles [sw04046]
  • exact geometric predicates. The essential algorithms include incremental Delaunay algorithms for inserting vertices, constrained Delaunay...
  • Isar

  • Referenced in 141 articles [sw04599]
  • editing. Thus proof texts may be developed incrementally by issuing proper document constructors, including forward...
  • PARAMESH

  • Referenced in 100 articles [sw00677]
  • package can provide them with an incremental evolutionary path for their code, converting it first...
  • Gringo

  • Referenced in 97 articles [sw04630]
  • programs. Finally, iclingo extends clingo by an incremental mode that incorporates both grounding and solving...
  • Pellet

  • Referenced in 92 articles [sw07019]
  • optimizations for nominals, conjunctive query answering, and incremental reasoning. There’s more detailed information about...
  • UMAT

  • Referenced in 79 articles [sw08803]
  • their values at the end of the increment for which it is called; must provide...
  • MIXED

  • Referenced in 73 articles [sw06480]
  • time and space, including discrete and continuous increments of time and space...
  • REVE

  • Referenced in 68 articles [sw28907]
  • integrated into the algorithms. REVE uses an incremental termination method based on recursive decomposition ordering...
  • Clingo

  • Referenced in 65 articles [sw09893]
  • gringo and clasp can offer individually - e.g., incremental grounding and solving. Clingo comes with...
  • CUTE

  • Referenced in 63 articles [sw00177]
  • efficient constraint solver is proposed to facilitate incremental generation of such test inputs. Finally, CUTE...
  • MathSAT

  • Referenced in 58 articles [sw09449]
  • reconstruction), model enumeration (for predicate abstraction), an incremental interface (for BMC), and computation of unsatisfiable...
  • DENFIS

  • Referenced in 58 articles [sw24183]
  • dynamic time series prediction. DENFIS evolve through incremental, hybrid (supervised/unsupervised), learning, and accommodate new input...
  • SATIRE

  • Referenced in 38 articles [sw04648]
  • SATIRE: A new incremental satisfiability engine. We introduce SATIRE, a new satisfiability solver that ... achieve even higher performance: a facility for incrementally solving sets of related problems...
  • CakeML

  • Referenced in 46 articles [sw08799]
  • topics including lexing, parsing, type checking, incremental and dynamic compilation, garbage collection, arbitrary-precision arithmetic...
  • MathSAT5

  • Referenced in 45 articles [sw09569]
  • providing novel features: first, a much improved incrementality support, which is vital in SMT applications...
  • Jellyfish

  • Referenced in 28 articles [sw12431]
  • gamma _2$-norm. Jellyfish implements a projected incremental gradient method with a biased, random ordering ... increments. This biased ordering allows for a parallel implementation that admits a speed-up nearly...
  • COOLCAT

  • Referenced in 28 articles [sw37383]
  • this connection to design an incremental heuristic algorithm, COOLCAT, which is capable of efficiently clustering ... data point) since it is an incremental algorithm capable of clustering new points without having...
  • Lua

  • Referenced in 39 articles [sw10207]
  • machine, and has automatic memory management with incremental garbage collection, making it ideal for configuration...
  • PBS

  • Referenced in 38 articles [sw04622]
  • decision (Yes/No) and optimization (Max/Min) problems. Includes incremental features. PBS options include: Static/Dynamic decision heuristics...
  • 2D triangulations

  • Referenced in 36 articles [sw11159]
  • hull of its vertices. Triangulations are built incrementally and can be modified by insertion...