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

SageMath
 Referenced in 1598 articles
[sw00825]
 Sage (SageMath) is free, opensource math software...

Theorema
 Referenced in 143 articles
[sw00961]
 The software system Theorema provides a uniform logic...

SIMSCRIPT
 Referenced in 30 articles
[sw01081]
 SIMSCRIPT. A simulation programming language. SIMSCRIPT is a...

EMP
 Referenced in 8 articles
[sw01086]
 EMP: An expert system for mathematical programming. The...

MACSYMA
 Referenced in 716 articles
[sw01209]
 Macsyma is a general purpose symbolicnumericalgraphical...

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

ALGOL 68
 Referenced in 285 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...

DYNAMO
 Referenced in 250 articles
[sw01227]
 DYNAMO (DYNAmic MOdels) was a simulation language and...

LBFGSB
 Referenced in 154 articles
[sw01234]
 Algorithm 778: LBFGSB Fortran subroutines for...

Metagraphs
 Referenced in 20 articles
[sw01368]
 Metagraphs: A tool for modeling decision support systems...

Smalltalk
 Referenced in 177 articles
[sw01561]
 Smalltalk is an objectoriented, dynamically typed, reflective...

WordNet
 Referenced in 391 articles
[sw01777]
 WordNet® is a large lexical database of English...

ConGolog
 Referenced in 48 articles
[sw01801]
 ConGolog, a concurrent programming language based on the...

MizarMode
 Referenced in 17 articles
[sw01973]
 MizarMode  an integrated proof assistance tool for the...

Isabelle/Isar
 Referenced in 89 articles
[sw02006]
 Building formal method tools in the Isabelle/Isar framework...

ADIFOR
 Referenced in 243 articles
[sw02185]
 ADIFOR is a tool for the automatic differentiation...

CAS/PI
 Referenced in 22 articles
[sw02186]
 CAS/PI is a Computer Algebra System graphic user...

GEOTHER 1.1
 Referenced in 30 articles
[sw02842]
 GEOTHER (GEOmetry THeorem provER), a module of Epsilon...