• SPG

  • Referenced in 74 articles [sw00897]
  • software implementing the SPG method is introduced. SPG is a nonmonotone projected gradient algorithm ... projected gradient method with the spectral gradient choice of steplength and a nonmonotone line-search...
  • SOLAR

  • Referenced in 19 articles [sw00888]
  • such as theorem proving, query answering and nonmonotonic reasoning. SOL is a connection tableau calculus ... efficient implementation of SOL that employs several methods to prune away redundant branches...
  • TVAL3

  • Referenced in 20 articles [sw08575]
  • Based on the classic augmented Lagrangian multiplier method, we propose, analyze and test an algorithm ... combines an alternating direction technique with a nonmonotone line search to minimize the augmented Lagrangian...
  • IP-PCG

  • Referenced in 3 articles [sw04830]
  • Eisenstat and Walker rule, even in the nonmonotone case [5]. At each step ... solved by the Preconditioned Conjugate Gradient (PCG) method, with a suitable indefinite preconditioner...
  • DARR

  • Referenced in 1 article [sw25431]
  • default reasoning, a special type of nonmonotonic reasoning. In this paper we propose an automated ... logics. A modified version of semantic tableaux method is used to implement the propositional prover...
  • MiniTab

  • Referenced in 2 articles [sw26324]
  • minimization. Domain minimization is a form of nonmonotonic reasoning that, roughly speaking, expresses the conjecture ... fact equivalent to domain circumscription.par The method is implemented in a tableau theorem prover called...
  • TESTINT

  • Referenced in 1 article [sw36991]
  • called primitive directions) and a suitably developed nonmonotone line search, thus guaranteeing a high level ... problems. We show the effectiveness of the method when compared to other state...
  • BPMPD

  • Referenced in 40 articles [sw00088]
  • BPMPD is a state-of-the-art implementation...
  • CHABIS

  • Referenced in 19 articles [sw00119]
  • Algorithm 666. CHABIS: A mathematical software package for...
  • LANCELOT

  • Referenced in 302 articles [sw00500]
  • LANCELOT. A Fortran package for large-scale nonlinear...
  • LGO

  • Referenced in 93 articles [sw00516]
  • The program system LGO serves to solve global...
  • Matlab

  • Referenced in 12477 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • MiniSat

  • Referenced in 541 articles [sw00577]
  • An extensible SAT-solver. MiniSat is a minimalistic...
  • NEWUOA

  • Referenced in 89 articles [sw00618]
  • NEWUOA is a software developped by M.J.D. Powell...
  • QAPLIB

  • Referenced in 222 articles [sw00751]
  • A collection of electronically available data instances for...
  • QEPCAD

  • Referenced in 278 articles [sw00752]
  • QEPCAD B: A program for computing with semi...
  • QPCOMP

  • Referenced in 31 articles [sw00757]
  • QPCOMP is an extremely robust algorithm for solving...
  • R

  • Referenced in 8728 articles [sw00771]
  • R is a language and environment for statistical...
  • rbMIT

  • Referenced in 142 articles [sw00784]
  • The rbMIT © MIT Software package implements in Matlab...
  • STRSCNE

  • Referenced in 57 articles [sw00922]
  • A Matlab solver for constrained nonlinear equations is...