
Isabelle
 Referenced in 698 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

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

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

MiniSat
 Referenced in 565 articles
[sw00577]
 An extensible SATsolver. MiniSat is a minimalistic...

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

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

Sostools
 Referenced in 289 articles
[sw00891]
 We are pleased to introduce SOSTOOLS, a free...

APL
 Referenced in 79 articles
[sw01165]
 APL (named after the book A Programming Language...

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

CPLEX
 Referenced in 2766 articles
[sw04082]
 IBM® ILOG® CPLEX® offers C, C++, Java, .NET...

RSOLVER
 Referenced in 74 articles
[sw04334]
 RSolver is a program for solving quantified inequality...

LabVIEW
 Referenced in 57 articles
[sw04369]
 LabVIEW is a highly productive development environment that...

Mizar
 Referenced in 505 articles
[sw04704]
 The Mizar System is the only implementation of...

mctoolbox
 Referenced in 1485 articles
[sw04827]
 The Matrix Computation Toolbox is a collection of...

z3
 Referenced in 590 articles
[sw04887]
 Z3 is a highperformance theorem prover being...

ETPS
 Referenced in 160 articles
[sw06302]
 TPS and ETPS are, respectively, the Theorem Proving...

SAS
 Referenced in 1552 articles
[sw06377]
 SAS (Statistical Analysis System) is an integrated system...

MUltlog
 Referenced in 19 articles
[sw06604]
 MUltlog is a system which takes as input...

Chaff
 Referenced in 586 articles
[sw06916]
 Chaff:engineering an efficient SAT solver. Boolean Satisfiability...