
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 linesearch...

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...

IPPCG
 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 stateoftheart 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 largescale nonlinear...

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

Matlab
 Referenced in 12477 articles
[sw00558]
 MATLAB® is a highlevel language and interactive...

MiniSat
 Referenced in 541 articles
[sw00577]
 An extensible SATsolver. 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...