
CafeInMaude
 Referenced in 3 articles
[sw19598]
 possible to use both CafeOBJ proof scores and reduction commands and Maude model checking, narrowing...

CiMPG
 Referenced in 1 article
[sw35789]
 from semiformal proof documents called proof scores in CafeOBJ...

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

CLIFFORD
 Referenced in 79 articles
[sw00131]
 CLIFFORD performs various computations in Grass mann and...

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

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

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

BIOMET
 Referenced in 10 articles
[sw02474]
 BIOMET: A multimodal person authentication database including face...

TRAM
 Referenced in 2 articles
[sw03369]
 Design and implementation of Parallel TRAM. Algebraic specifications...

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

Gurobi
 Referenced in 530 articles
[sw04105]
 GUROBI OPTIMIZER: State of the Art Mathematical Programming...

FEniCS
 Referenced in 590 articles
[sw04314]
 The FEniCS Project is a collaborative project for...

PLINK
 Referenced in 61 articles
[sw04581]
 PLINK is a free, opensource whole genome...

KernSmooth
 Referenced in 921 articles
[sw04586]
 Kernel smoothing refers to a general methodology for...

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

DLMF
 Referenced in 2331 articles
[sw04968]
 NIST digital library of mathematical functions. The National...

OBJ3
 Referenced in 138 articles
[sw05370]
 OBJ3 is a program specification and proof system...

CIRC
 Referenced in 40 articles
[sw06202]
 Circ is an automated behavioral prover based on...

CafeOBJ
 Referenced in 167 articles
[sw06232]
 CafeOBJ as a tool for behavioral system verification...