• 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 N-dimensional array manipulation. The SciPy library is built ... work with NumPy arrays, and provides many user-friendly 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, fixed-size bit-vectors, 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, fixed-size bit-vectors, quantifiers, and lambda...
  • TensorToolbox

  • Referenced in 128 articles [sw04185]
  • simply to a multidimensional or N-way 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 N-way 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 two-dimensional (row-by-column) array of numeric or character values...
  • R2WinBUGS

  • Referenced in 70 articles [sw04494]
  • graph, and save the simulations in arrays for easy access in R / S-PLUS...
  • Theano

  • Referenced in 59 articles [sw05894]
  • evaluate mathematical expressions involving multi-dimensional 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 quantifier-free Craig...
  • Valgrind

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