• ode23

  • Referenced in 306 articles [sw06600]
  • vector y, must return a column vector f corresponding to f(t,y). Each ... corresponds to a time returned in column vector T. To obtain solutions at the specific...
  • Ipopt

  • Referenced in 710 articles [sw04808]
  • where f(x): R^n --> R is the objective function ... constraint functions. The vectors g_L and g_U denote the lower and upper bounds ... constraints, and the vectors x_L and x_U are the bounds on the variables ... functions f(x) and g(x) can be nonlinear and nonconvex, but should be twice...
  • NEWUOA

  • Referenced in 93 articles [sw00618]
  • value of a function F(x) (x is a vector of dimension n ) when ... F(x) can be calculated for any vector of variables x . The algorithm is iterative ... model is revised, the new model interpolates F at m points, the value...
  • z3

  • Referenced in 562 articles [sw04887]
  • real and integer arithmetic, fixed-size bit-vectors, extensional arrays, uninterpreted functions, and quantifiers ... Spec#, Boogie, Pex, Yogi, Vigilante, SLAM, F7, F*, SAGE, VS3, FORMULA, and HAVOC...
  • respol

  • Referenced in 7 articles [sw18864]
  • thus arriving at the following maximal f-vector: (22,66,66,22), i.e. vector ... symmetry of the maximal f-vector, which are intriguing but still under investigation. We establish ... independent interest, namely that the f-vector is maximized when the input supports are sufficiently...
  • DCUTRI

  • Referenced in 12 articles [sw00191]
  • integral of each element in a vector function f(x,y) over a two-dimensional ... error for each element in the approximation vector and for each triangle is computed using...
  • simpcomp

  • Referenced in 24 articles [sw06898]
  • simplicial complexes (such as the f-, g- and h-vectors, the face lattice, the automorphism...
  • JAKEF

  • Referenced in 8 articles [sw07788]
  • objective function F(x) or a vector function f(x) and produces as output...
  • Azurite

  • Referenced in 20 articles [sw20252]
  • vector space of finite dimension. We introduce the package {sc Azurite} ({f ... f TE}grals), which efficiently finds a basis of this vector space. It constructs...
  • Keccak

  • Referenced in 74 articles [sw09834]
  • analysis, reference and optimized code and test vectors for Keccak can be found ... call one of seven permutations named Keccak-f[b], with...
  • rootsb

  • Referenced in 14 articles [sw11379]
  • bivariate functions f and g in the domain xydomain (4-element vector), which are given...
  • spa

  • Referenced in 4 articles [sw10496]
  • where β is a coefficient vector and f is a function over the vertices...
  • BBVSCG

  • Referenced in 6 articles [sw00069]
  • nonlinear function f(x). Here x is a vector of n variables, that...
  • radx

  • Referenced in 2 articles [sw22141]
  • code for multivariate functions with vector outputs, f:R^m → R^n, through Automatic Differentiation...
  • Rank Nullity

  • Referenced in 2 articles [sw29239]
  • given any linear map f from a finite dimensional vector space V to a vector ... dimension of the kernel of f (which is a subspace of V) and the dimension ... range of f (which is a subspace of W). The proof presented here is based ... associated a linear map between finite dimensional vector spaces), the sum of its null space...
  • DiffSharp

  • Referenced in 45 articles [sw16033]
  • derivatives, and matrix-free Hessian- and Jacobian-vector products) is applied using higher-order functions ... Ireland Maynooth. DiffSharp is implemented in the F# language and can be used from...
  • ADOL-F

  • Referenced in 10 articles [sw00020]
  • package ADOL-F is a Fortran 90 interface to the ADOL-C library and facilitates ... evaluation of first and higher derivatives of vector functions that are defined by computer programs...
  • hyperSpec

  • Referenced in 2 articles [sw17766]
  • discretized variable, e.g. absorbance = f (wavelength), stored as a vector of absorbance values for discrete...
  • multtest

  • Referenced in 22 articles [sw08262]
  • based on a variety of t- and F-statistics (including t-statistics based on regression ... variance covariance matrix derived from the vector influence function. Results are reported in terms...
  • EPIMK2

  • Referenced in 1 article [sw00241]
  • where y, f, and y 0 are vectors of length n. By stiffness, we mean ... some eigenvalues of the Jacobian matrix, J=∂f/∂y have large magnitude relative...