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

ACL2
 Referenced in 237 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

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

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

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

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

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

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

Matlab
 Referenced in 7981 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 4669 articles
[sw00771]
 R is a language and environment for statistical...

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

PRISM
 Referenced in 336 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 37 articles
[sw01249]
 Rapide: A language and toolset for simulation of...

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

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