
ALGOL 60
 Referenced in 666 articles
[sw21807]
 member of the ALGOL family of computer programming languages. It followed on from ALGOL...

sn
 Referenced in 339 articles
[sw08059]
 manipulate probability distributions of the skewnormal family and some related ones, notably the skew ... family, and provide related statistical methods for data fitting and diagnostics, in the univariate...

HOL Light
 Referenced in 307 articles
[sw06580]
 original HOL system. Theorem provers in this family use a version of ML as both...

AUSM
 Referenced in 297 articles
[sw06367]
 ideas and procedure to extend the AUSMfamily schemes to solve flows at all speed...

gss
 Referenced in 293 articles
[sw06099]
 Smoothing spline ANOVA models are a versatile family of smoothing methods derived through roughness penalties...

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is part of the BoyerMoore family of provers...

fminsearch
 Referenced in 271 articles
[sw07467]
 counterexample of McKinnon gives a family of strictly convex functions in two dimensions...

Bertini
 Referenced in 250 articles
[sw06683]
 user defined homotopies. Implements parameter continuation for families of systems, such as the inverse kinematics...

PLTMG
 Referenced in 215 articles
[sw00717]
 plane. It is based on a family of continuous Lagrange triangular finite elements. PLTMG features...

Agda
 Referenced in 205 articles
[sw09689]
 typed functional programming language: It has inductive families, which are similar to Haskell’s GADTs...

JML
 Referenced in 189 articles
[sw04597]
 modelbased specification approach of the Larch family of interface specification languages, with some elements...

copula
 Referenced in 167 articles
[sw14499]
 Archimedean, extreme value and some more copula families. Methods for density, distribution, random number generation...

Esterel
 Referenced in 165 articles
[sw20012]
 state machines. It is one of a family of synchronous languages, like SyncCharts, Lustre, Argos...

AdaGrad
 Referenced in 157 articles
[sw22202]
 stochastic optimization. We present a new family of subgradient methods that dynamically incorporate knowledge...

SOCS
 Referenced in 146 articles
[sw07737]
 Control Software (SOCS). The Sparse Optimal Control Family, developed by The Boeing Company, contains...

Pfam
 Referenced in 103 articles
[sw23108]
 services. Pfam is a database of protein families that currently contains 7973 entries (release ... Pfam has enabled the grouping of related families into clans. Pfam clans are described...

MIM
 Referenced in 134 articles
[sw26139]
 graphical modelling, subsequent chapters describe particular families of models, including loglinear models, Gaussian models...

ELECTRE
 Referenced in 128 articles
[sw02971]
 research in the field of ELECTRE family methods appeared. This research has been conducted...

LISP
 Referenced in 126 articles
[sw07201]
 Lisp (historically, LISP) is a family of computer programming languages with a long history...