Results 1 to 20 of 300
Sort by:

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