
Excel
 Referenced in 745 articles
[sw06848]
 solutions with Excel that integrate a broad array of technologies, including XML, Microsoft SharePoint Products...

SciPy
 Referenced in 404 articles
[sw06293]
 which provides convenient and fast Ndimensional array manipulation. The SciPy library is built ... work with NumPy arrays, and provides many userfriendly and efficient numerical routines such...

deal.ii
 Referenced in 515 articles
[sw03516]
 other aspects adaptive meshes and a wide array of tools classes often used in finite...

z3
 Referenced in 479 articles
[sw04887]
 integer arithmetic, fixedsize bitvectors, extensional arrays, uninterpreted functions, and quantifiers. Z3 is integrated...

Scatter Search
 Referenced in 282 articles
[sw05291]
 been successfully applied to a wide array of hard optimization problems. Scatter search constructs...

ode23
 Referenced in 261 articles
[sw06600]
 Each row in the solution array Y corresponds to a time returned in column vector...

TensorFlow
 Referenced in 228 articles
[sw15170]
 graph edges represent the multidimensional data arrays (tensors) communicated between them. The flexible architecture allows...

FEAP
 Referenced in 166 articles
[sw04963]
 output nodal coordinates and element connection arrays. In this case it may be necessary...

Yices
 Referenced in 136 articles
[sw04436]
 scalar types, recursive datatypes, tuples, records, extensional arrays, fixedsize bitvectors, quantifiers, and lambda...

TensorToolbox
 Referenced in 128 articles
[sw04185]
 simply to a multidimensional or Nway array, and we consider how specially structured tensors...

Why3
 Referenced in 126 articles
[sw04438]
 maps, etc.) and basic programming data structures (arrays, queues, hash tables, etc.). A user...

Algorithm 862
 Referenced in 72 articles
[sw07347]
 algorithm prototyping. Tensors (also known as multidimensional arrays or Nway arrays) are used ... extends the functionality of MATLAB’s multidimensional arrays by supporting additional operations such as tensor...

impute
 Referenced in 91 articles
[sw14376]
 analysis require a complete matrix of gene array values as input. For example, methods such...

CBMC
 Referenced in 77 articles
[sw09719]
 supports SystemC using Scoot. It allows verifying array bounds (buffer overflows), pointer safety...

APL
 Referenced in 72 articles
[sw01165]
 Iverson. Its central datatype is the multidimensional array. It uses a large range of special...

SAS/IML
 Referenced in 70 articles
[sw03240]
 matrix, a twodimensional (rowbycolumn) array of numeric or character values...

R2WinBUGS
 Referenced in 70 articles
[sw04494]
 graph, and save the simulations in arrays for easy access in R / SPLUS...

Theano
 Referenced in 59 articles
[sw05894]
 evaluate mathematical expressions involving multidimensional arrays efficiently. Theano features tight integration with numpy, transparent...

FOCI
 Referenced in 58 articles
[sw12868]
 equality, uninterpreted functions, linear arithmetic, and arrays. Most importantly, it can compute quantifierfree Craig...

Valgrind
 Referenced in 55 articles
[sw04420]
 also includes three experimental tools: a heap/stack/global array overrun detector, a second heap profiler that...