
Separoids
 Referenced in 21 articles
[sw08819]
 some general mathematical properties of separoids and related axiom systems, as well as connections with ... formalisms for representing uncertainty in Probability, Statistics, Artificial Intelligence, and other fields...

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

GAP
 Referenced in 2957 articles
[sw00320]
 GAP is a system for computational discrete algebra...

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

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

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

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

QEPCAD
 Referenced in 278 articles
[sw00752]
 QEPCAD B: A program for computing with semi...

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

REDUCE
 Referenced in 741 articles
[sw00789]
 REDUCE is an interactive system for general algebraic...

TSPLIB
 Referenced in 674 articles
[sw00983]
 TSPLIB is a library of sample instances for...

LISPSTAT
 Referenced in 116 articles
[sw01111]
 LispStat is an extensible statistical computing environment...

MACSYMA
 Referenced in 716 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

QUADPACK
 Referenced in 253 articles
[sw01236]
 Fortran subprograms for evaluating definite integrals of functions...

WordNet
 Referenced in 397 articles
[sw01777]
 WordNet® is a large lexical database of English...

WHIRL
 Referenced in 11 articles
[sw02620]
 The integration of distributed, heterogeneous databases, such as...

MEBN
 Referenced in 15 articles
[sw02784]
 A logic system that integrates First Order Logic...

OTTER
 Referenced in 316 articles
[sw02904]
 Our current automated deduction system Otter is designed...