• TPTP

  • Referenced in 394 articles [sw04143]
  • existing ATP systems’ formats. General guidelines outlining the requirements for ATP system evaluation. Standards...
  • PHCpack

  • Referenced in 236 articles [sw00705]
  • root-counting methods among its tools. The outline of one black-box solver is sketched...
  • NetLogo

  • Referenced in 116 articles [sw09150]
  • undergraduate level and higher. We outline the principles behind our design and describe recent...
  • DBpedia

  • Referenced in 56 articles [sw27336]
  • other open datasets on the Web and outline how DBpedia could serve as a nucleus...
  • MATSLISE

  • Referenced in 54 articles [sw00559]
  • technique described by Ixaru. For a well-outlined class of problems, the implemented algorithms...
  • SCRIBE

  • Referenced in 51 articles [sw02434]
  • Scribe provides weak reliability guarantees, but we outline how an application can extend Scribe...
  • Abella

  • Referenced in 50 articles [sw09461]
  • paper discusses the logical foundations of Abella, outlines the style of theorem proving that...
  • CDuce

  • Referenced in 49 articles [sw12434]
  • types as sets of values. We also outline some important implementation issues; in particular...
  • ITPACK

  • Referenced in 47 articles [sw00459]
  • summarizes the programs made to date and outlines plans for future work. A summary...
  • DepQBF

  • Referenced in 45 articles [sw09734]
  • QBFEVAL’10 for references and a brief outline of the idea. DepQBF 0.1 participated...
  • PROMELA

  • Referenced in 30 articles [sw07635]
  • Outline for an operational semantics of PROMELA. PROMELA is a high-level specification language ... This paper contains the outline for an operational- semantics definition of PROMELA...
  • SHERPA

  • Referenced in 39 articles [sw09541]
  • installation and running of the program are outlined. The various options and parameters specifying...
  • MEGAFLOW

  • Referenced in 37 articles [sw03219]
  • MEGAFLOW software at DLR. The present contribution outlines several selected applications of the MEGAFLOW software...
  • DAETS

  • Referenced in 37 articles [sw12535]
  • index for present DAE solvers. This paper outlines this theory and describes the design, implementation...
  • DASPK 3.0

  • Referenced in 36 articles [sw04288]
  • large-scale differential algebraic equations. They outline the underlying algorithms for the sensitivity analysis...
  • GF

  • Referenced in 34 articles [sw13667]
  • systematic presentation of the GF formalism and outlines of the main algorithms: partial evaluation...
  • Lambda-Clam

  • Referenced in 24 articles [sw19614]
  • order logic with λClam. This system description outlines the λClam system for proof planning ... number of types of problem is outlined, in particular the synthesis and verification of software...
  • ROSETTA

  • Referenced in 23 articles [sw10969]
  • implementation of a software toolkit has been outlined. The resulting toolkit covers the whole range ... construction of the class library have been outlined, and examples of its use been given...
  • PSpice

  • Referenced in 29 articles [sw03041]
  • SPICE simulation; considers DC and AC circuits; outlines semiconductor devices modelling; explores digital logic circuits...
  • SANET

  • Referenced in 28 articles [sw14951]
  • traffic and population. Third, the paper outlines a class of network spatial methods, including nearest...