• Maple

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

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

  • Referenced in 1229 articles [sw14460]
  • procedural styles. It features a dynamic type system and automatic memory management...
  • Tabu search

  • Referenced in 1034 articles [sw08556]
  • encompass additional model elements, such as new types of constraints and objective functions. Similarly...
  • ML

  • Referenced in 502 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 well-typed ... program does not cause runtime type errors.[1] ML provides pattern matching for function arguments...
  • Haskell

  • Referenced in 840 articles [sw03521]
  • with non-strict semantics and strong static typing. It is named after logician Haskell Curry...
  • HE-E1GODF

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

  • Referenced in 667 articles [sw04594]
  • supports a number of standard problem types, including linear and quadratic programs (LPs/QPs), second-order...
  • TSPLIB

  • Referenced in 657 articles [sw00983]
  • problem) from various sources and of various types. Instances of the following problem classes...
  • XPath

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

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

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

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

  • Referenced in 360 articles [sw04091]
  • multiphysics-application templates solve many common problem types. You also have the option of choosing...
  • Mplus

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

  • Referenced in 177 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...
  • Julia

  • Referenced in 225 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...
  • CGS

  • Referenced in 299 articles [sw08225]
  • fast Lanczos-type solver for nonsymmetric linear systems The presented method is a combination...
  • Rcpp

  • Referenced in 181 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...
  • Miranda

  • Referenced in 150 articles [sw04986]
  • strict functional language with polymorphic types. The last few years have seen much fruitful research ... adds to this foundation (i) a polymorphic type system and (ii) a library structure with ... type secure facilities for separate compilation and linking. The major part of this paper will ... taken up with a discussion of the type system and in particular the facilities...