• NQTHM

  • Referenced in 151 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...
  • DLMF

  • Referenced in 2889 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 work-arounds, are discussed in this...
  • ve08

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

  • Referenced in 205 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...
  • IMPS

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

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

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

  • Referenced in 24 articles [sw30752]
  • free optimization to deal with multimodal functions. Partial warm restarts are also gaining popularity ... gradient schemes to deal with ill-conditioned functions. In this paper, we propose a simple...
  • ALGOL 60

  • Referenced in 670 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 68 articles [sw04499]
  • partial differential equations (PDE), differential algebraic equations (DAE), and delay differential equations (DDE) , Functions that ... first-order 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 C-implementation of solvers...
  • Algorithm 792

  • Referenced in 36 articles [sw04774]
  • test functions; and TSTFN2 returns a value, first partials, and second partial derivatives...
  • Sinc-Pack

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

  • Referenced in 44 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...
  • hlib

  • Referenced in 84 articles [sw04080]
  • library contains functions for H- and H2-matrix arithmetics, the treatment of partial differential equations...
  • FlexPDE

  • Referenced in 28 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...
  • UFL

  • Referenced in 77 articles [sw11183]
  • specific language for representing weak formulations of partial differential equations with a view to numerical ... include support for variational forms and functionals, automatic differentiation of forms and expressions, arbitrary function ... finite element methods for complex systems of partial differential equations in near-mathematical notation, resulting...
  • DifferentialEquations.jl

  • Referenced in 59 articles [sw23910]
  • equations in Julia. It covers discrete equations (function maps, discrete stochastic (Gillespie/Markov) simulations), ordinary differential ... partial differential equations. Through extensive use of multiple dispatch, metaprogramming, plot recipes, foreign function interfaces...
  • IDP3

  • Referenced in 10 articles [sw22941]
  • with types, inductive definitions, aggregates and partial functions. It offers its users a modeling language...
  • Algorithm 829

  • Referenced in 61 articles [sw04467]
  • function including locations and values of all local minima is supplied to the user. Partial...
  • PROPACK

  • Referenced in 113 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...