
Maple
 Referenced in 5369 articles
[sw00545]
 breadth, depth, and performance to handle every type of mathematics. Maple’s intuitive interface supports...

Python
 Referenced in 2049 articles
[sw14460]
 procedural styles. It features a dynamic type system and automatic memory management...

LAPACK
 Referenced in 1701 articles
[sw00503]
 specifications for Fortran subprograms that do various types of matrix multiplication and the solution...

Tabu search
 Referenced in 1067 articles
[sw08556]
 encompass additional model elements, such as new types of constraints and objective functions. Similarly...

ML
 Referenced in 522 articles
[sw01218]
 been characterized as ”Lisp with types”. It is known for its use of the polymorphic ... Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit ... type annotations, and ensures type safety – there is a formal proof that a welltyped ... program does not cause runtime type errors.[1] ML provides pattern matching for function arguments...

Haskell
 Referenced in 879 articles
[sw03521]
 with nonstrict semantics and strong static typing. It is named after logician Haskell Curry...

HEE1GODF
 Referenced in 866 articles
[sw06606]
 approximate Rieman solvers of the approximate flux type: Roe Riemann solver, HLLC Riemann solver...

CVX
 Referenced in 832 articles
[sw04594]
 supports a number of standard problem types, including linear and quadratic programs (LPs/QPs), secondorder...

TSPLIB
 Referenced in 697 articles
[sw00983]
 problem) from various sources and of various types. Instances of the following problem classes...

Julia
 Referenced in 459 articles
[sw13986]
 based on generic functions and a rich type system simultaneously enables an expressive programming model ... successful type inference, leading to good performance for a wide range of programs. This makes...

XPath
 Referenced in 374 articles
[sw15780]
 support a richer set of data types, and to take advantage of the type information...

COMSOL
 Referenced in 457 articles
[sw04091]
 multiphysicsapplication templates solve many common problem types. You also have the option of choosing...

Rcpp
 Referenced in 278 articles
[sw08385]
 integration of R and C++. R data types (SEXP) are matched to C++ objects ... class hierarchy. All R types are supported (vectors, functions, environment, etc ...) and each type...

Automath
 Referenced in 410 articles
[sw07127]
 direct ancestor of the ”type theoretical” line of proof assistants from which the better known...

gmp
 Referenced in 282 articles
[sw00363]
 using fullwords as the basic arithmetic type, by using fast algorithms, with highly optimised assembly ... main target platforms are Unixtype systems, such as GNU/Linux, Solaris...

OCaml
 Referenced in 273 articles
[sw06363]
 system, all connected by a sound, polymorphic type system featuring type inference. The OCaml system...

Agda
 Referenced in 205 articles
[sw09689]
 Agda is a dependently typed functional programming language: It has inductive families, which are similar ... indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode ... characters, and an interactive Emacs interface (the type checker can assist in the development ... checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics...

Mplus
 Referenced in 346 articles
[sw06511]
 nominal), counts, or combinations of these variable types. In addition, Mplus has extensive capabilities...

CGS
 Referenced in 329 articles
[sw08225]
 fast Lanczostype solver for nonsymmetric linear systems. The presented method is a combination...

ISOGAT
 Referenced in 310 articles
[sw00457]
 MATLAB code for solving elliptic diffusiontype problems, including Poisson’s equation on single patch...