
simpleAPL
 Referenced in 3 articles
[sw06574]
 agent programs We present a sound and complete logic for automatic verification of simpleAPL programs...

BARON
 Referenced in 217 articles
[sw00066]
 BARON is a computational system for solving nonconvex...

CoCoA
 Referenced in 498 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...

Coq
 Referenced in 1207 articles
[sw00161]
 Coq is a formal proof management system. It...

LAPACK
 Referenced in 1266 articles
[sw00503]
 LAPACK is written in Fortran 90 and provides...

LEDA
 Referenced in 201 articles
[sw00509]
 In the core computer science areas  data structures...

Maple
 Referenced in 4047 articles
[sw00545]
 The result of over 30 years of cutting...

MapReduce
 Referenced in 143 articles
[sw00546]
 MapReduce is a new parallel programming model initially...

Mathematica
 Referenced in 4272 articles
[sw00554]
 Almost any workflow involves computing results, and that...

Matlab
 Referenced in 7362 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

SETHEO
 Referenced in 96 articles
[sw00707]
 SETHEO: A highperformance theorem prover. The paper...

R
 Referenced in 3416 articles
[sw00771]
 R is a language and environment for statistical...

ScaLAPACK
 Referenced in 337 articles
[sw00830]
 ScaLAPACK is an acronym for scalable linear algebra...

PRISM
 Referenced in 270 articles
[sw01186]
 PRISM: Probabilistic symbolic model checker. In this paper...

APS1
 Referenced in 31 articles
[sw01210]
 Implementation of the Nielsen algorithm in the algebraic...

Rapide
 Referenced in 36 articles
[sw01249]
 Rapide: A language and toolset for simulation of...

GOLOG
 Referenced in 155 articles
[sw02159]
 GOLOG: A logic programming language for dynamic domains...

MANIFOLD
 Referenced in 29 articles
[sw02900]
 A transition system semantics for the controldriven...

VAMPIRE
 Referenced in 156 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem...