
DiFFPK
 Referenced in 1 article
[sw27928]
 current of electrons is calculated. A good agreement with the previously known limit cases ... electric current produced by neutrals injected into a plasma, and simulation of radial electric fields...

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

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

Magma
 Referenced in 2720 articles
[sw00540]
 Computer algebra system (CAS). Magma is a large...

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

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

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

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

AVISPA
 Referenced in 81 articles
[sw03172]
 AVISPA (Automated Validation of Internet Security Protocols and...

CASPA_
 Referenced in 2 articles
[sw04078]
 The CASPA tool: Causalitybased abstraction for security...

ProVerif
 Referenced in 38 articles
[sw06558]
 ProVerif is an automatic cryptographic protocol verifier, in...

Casper
 Referenced in 95 articles
[sw06559]
 A Compiler for the Analysis of Security Protocols...

OFMC
 Referenced in 26 articles
[sw09466]
 The opensource fixedpoint model checker for...

ElemStatLearn
 Referenced in 1202 articles
[sw11049]
 R package ElemStatLearn: Data sets, functions and examples...

QRM
 Referenced in 609 articles
[sw11358]
 R package QRM: Provides Rlanguage Code to...

Cryptyc
 Referenced in 3 articles
[sw12834]
 Cryptyc: cryptographic protocol type checker. The Cryptyc system...

bootstrap
 Referenced in 986 articles
[sw19105]
 R package bootstrap. bootstrap: Functions for the Book...

GitHub
 Referenced in 1270 articles
[sw23170]
 GitHub (originally known as Logical Awesome LLC)[3...

TAMARIN
 Referenced in 12 articles
[sw23438]
 The TAMARIN prover for the symbolic analysis of...

F*
 Referenced in 19 articles
[sw27563]
 F* (pronounced F star) is a generalpurpose...