
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, fixedsize bitvectors, 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 fvector: (22,66,66,22), i.e. vector ... symmetry of the maximal fvector, which are intriguing but still under investigation. We establish ... independent interest, namely that the fvector 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 twodimensional ... 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 hvectors, 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 Keccakf[b], with...

rootsb
 Referenced in 14 articles
[sw11379]
 bivariate functions f and g in the domain xydomain (4element 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 matrixfree Hessian and Jacobianvector products) is applied using higherorder functions ... Ireland Maynooth. DiffSharp is implemented in the F# language and can be used from...

ADOLF
 Referenced in 10 articles
[sw00020]
 package ADOLF is a Fortran 90 interface to the ADOLC 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 Fstatistics (including tstatistics 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...