
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]
 rootcounting methods among its tools. The outline of one blackbox 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 welloutlined 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 highlevel 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]
 largescale 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...

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