• CPLEX

  • Referenced in 2583 articles [sw04082]
  • objective to be optimized can be expressed as a linear function or a convex quadratic...
  • Python

  • Referenced in 1486 articles [sw14460]
  • readability, and its syntax allows programmers to express concepts in fewer lines of code than...
  • REDUCE

  • Referenced in 740 articles [sw00789]
  • forms; automatic and user controlled simplification of expressions; calculations with symbolic matrices; arbitrary precision integer ... algebraic equations; facilities for the output of expressions in a variety of formats; facilities...
  • Isabelle/HOL

  • Referenced in 964 articles [sw01569]
  • assistant. It allows mathematical formulas to be expressed in a formal language and provides tools...
  • XPath

  • Referenced in 371 articles [sw15780]
  • XPath 2.0 is an expression language that allows the processing of values conforming ... atomic values. The result of an XPath expression may be a selection of nodes from ... from its most distinctive feature, the path expression, which provides a means of hierarchic addressing ... ensure that nearly all XPath 1.0 expressions continue to deliver the same result with XPath...
  • Isabelle

  • Referenced in 611 articles [sw00454]
  • assistant. It allows mathematical formulas to be expressed in a formal language and provides tools...
  • ML

  • Referenced in 517 articles [sw01218]
  • which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures...
  • Ox

  • Referenced in 461 articles [sw09501]
  • library. Matrices can be used directly in expressions, for example to multiply two matrices...
  • WordNet

  • Referenced in 393 articles [sw01777]
  • into sets of cognitive synonyms (synsets), each expressing a distinct concept. Synsets are interlinked...
  • INTOPT_90

  • Referenced in 304 articles [sw04705]
  • differentiable problems (17 pages) studies function expressions containing if-then-else connectives obtaining some...
  • LINGO

  • Referenced in 300 articles [sw04942]
  • package that includes a powerful language for expressing optimization models, a full featured environment...
  • Julia

  • Referenced in 283 articles [sw13986]
  • rich type system simultaneously enables an expressive programming model and successful type inference, leading...
  • Kronos

  • Referenced in 263 articles [sw01270]
  • timed automata and the correctness requirements are expressed in the real-time temporal logic TCTL...
  • AR face

  • Referenced in 181 articles [sw13806]
  • over 4,000 color images). Different facial expressions, illumination conditions and occlusions. This face database ... feature frontal view faces with different facial expressions, illumination conditions, and occlusions (sun glasses...
  • CMU PIE

  • Referenced in 157 articles [sw13798]
  • Pose, Illumination, and Expression (PIE) database. Between October 2000 and December 2000, we collected ... different illumination conditions, and with four different expressions. We call this database the CMU Pose ... Illumination and Expression (PIE) database. In this paper, we describe the imaging hardware, the collection...
  • TensorToolbox

  • Referenced in 153 articles [sw04185]
  • specific types: A Tucker tensor can be expressed as the product of a core tensor ... mode, and a Kruskal tensor can be expressed as the sum of rank-1 tensors...
  • Rcpp

  • Referenced in 208 articles [sw08385]
  • Sugar takes advantage of lazy evaluation and expression templates to achieve great performance while exposing...
  • CASL

  • Referenced in 172 articles [sw02235]
  • selection of known constructs. It is an expressive, simple, pragmatic language. It is suitable...
  • impute

  • Referenced in 100 articles [sw14376]
  • value estimation for DNA microarrays. Motivation: Gene expression microarray experiments can generate data sets with ... multiple missing expression values. Unfortunately, many algorithms for gene expression analysis require a complete matrix...
  • Maxima

  • Referenced in 154 articles [sw00560]
  • manipulation of symbolic and numerical expressions, including differentiation, integration, Taylor series, Laplace transforms, ordinary differential...