
NQTHM
 Referenced in 149 articles
[sw07543]
 logic itself are the efficient use of functions in the logic as new proof procedures ... permission of bounded quantification and partial recursive functions. These changes in the logic were described ... addition of bounded quantification and partial functions to a computational logic and its theorem prover...

ve08
 Referenced in 148 articles
[sw05141]
 unconstrained optimization of partially separable functions We consider the problem of minimizing a smooth objective...

DLMF
 Referenced in 2451 articles
[sw04968]
 DLMF) to provide useful data about special functions for a wide audience. The initial products ... systems. These and other problems, and some partially successful workarounds, are discussed in this...

IMPS
 Referenced in 51 articles
[sw09143]
 version of simple type theory with partial functions and subtypes. Mathematical specification and inference...

DOLFIN
 Referenced in 173 articles
[sw04313]
 FEniCS. A large part of the functionality of FEniCS is implemented as part of DOLFIN ... based on partial differential equations and implements core parts of the functionality of FEniCS, including...

DIMSYM
 Referenced in 73 articles
[sw04279]
 solve linear partial differential equations. To use its primary function the user specifies a system...

COMSOL
 Referenced in 404 articles
[sw04091]
 boundary conditions can all be arbitrary functions of the dependent variables.Predefined multiphysicsapplication templates solve ... yourself. Or you can specify your own partial differential equations (PDEs) and link them with...

ALGOL 60
 Referenced in 664 articles
[sw21807]
 first language implementing nested function definitions with lexical scope. It gave rise to many other ... different from Algol 60 and was criticised partially for being so, so that in general...

deSolve
 Referenced in 54 articles
[sw04499]
 partial differential equations (PDE), differential algebraic equations (DAE), and delay differential equations (DDE) , Functions that ... firstorder ordinary differential equations (ODE), of partial differential equations (PDE), of differential algebraic equations ... delay differential equations. The functions provide an interface to the FORTRAN functions lsoda, lsodar, lsode ... ODEPACK collection, to the FORTRAN functions dvode and daspk and a Cimplementation of solvers...

Algorithm 792
 Referenced in 35 articles
[sw04774]
 test functions; and TSTFN2 returns a value, first partials, and second partial derivatives...

TOPOS
 Referenced in 43 articles
[sw02206]
 successively adding a new piece to a partial solution, i.e. to the set of pieces ... tested. Different objective functions are also proposed to evaluate and compare partial solutions. A total ... combinations of criteria and objective functions, are computationally tested. The computational experiments are based...

SincPack
 Referenced in 72 articles
[sw13600]
 sinc functions and the application to the numerical solution of partial differential equations. It contains...

SGDR
 Referenced in 12 articles
[sw30752]
 free optimization to deal with multimodal functions. Partial warm restarts are also gaining popularity ... gradient schemes to deal with illconditioned functions. In this paper, we propose a simple...

hlib
 Referenced in 70 articles
[sw04080]
 library contains functions for H and H2matrix arithmetics, the treatment of partial differential equations...

FlexPDE
 Referenced in 24 articles
[sw06941]
 necessary to turn a description of a partial differential equations system into a finite element ... performs the entire range of functions necessary to solve partial differential equation systems: an editor...

mural
 Referenced in 9 articles
[sw23627]
 calculus and for a logic of partial functions. The next chapter is a very detailed...

Algorithm 829
 Referenced in 56 articles
[sw04467]
 function including locations and values of all local minima is supplied to the user. Partial...

PROPACK
 Referenced in 106 articles
[sw04019]
 software package PROPACK contains a set of functions for computing the singular value decomposition ... based on the Lanczos bidiagonalization algorithm with partial reorthogonalization (BPRO). The Lanczos routines can also...

VisualUTA
 Referenced in 109 articles
[sw16231]
 least one compatible value function a is preferred to b. These relations establish a necessary ... alternatives from A, being, respectively, a partial preorder and a strongly complete and negatively transitive ... berepresented in terms of an additive value function...

KernelLEAF
 Referenced in 28 articles
[sw08982]
 language. KernelLEAF is a logic plus functional language based on the flattening technique ... able to cope with partial (undefined or nonterminating) functions. This is achieved by introducing...