
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 ifthenelse 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 realtime 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 rank1 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...