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

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

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

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

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

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

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

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

OilEd
 Referenced in 25 articles
[sw01560]
 OilEd: A reasonable ontology editor for the...

SPLUS
 Referenced in 595 articles
[sw02892]
 SPLUS is a powerful environment for statistical...

ADIC
 Referenced in 81 articles
[sw03392]
 Welcome to the ADIC Resource Center. ADIC is...

PVS
 Referenced in 614 articles
[sw03484]
 PVS is a verification system: that is, a...

LINPACK
 Referenced in 514 articles
[sw04209]
 LINPACK is a collection of Fortran subroutines that...

VPLAN
 Referenced in 42 articles
[sw04239]
 VPLAN is a software for modeling, simulation, parameter...

Simulink
 Referenced in 721 articles
[sw04348]
 Simulink® is an environment for multidomain simulation and...

lattice
 Referenced in 100 articles
[sw04363]
 R package lattice: Lattice Graphics , Lattice is a...

spatial
 Referenced in 346 articles
[sw04502]
 spatial: Functions for Kriging and Point Pattern Analysis...

fda (R)
 Referenced in 1317 articles
[sw04511]
 fda: Functional Data Analysis , These functions were developed...

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