• 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 semi-formal 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 high-level 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, open-source 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...