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

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

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

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

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

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

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

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

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

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

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

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

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

PRISM
 Referenced in 265 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 154 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 149 articles
[sw02918]
 Vampire 8.0, [RV02,Vor05] is an automatic theorem...