
SINGULAR
 Referenced in 1305 articles
[sw00866]
 rationals, floats, algebraic extensions, transcendental extensions), or localizations thereof, or quotient rings with respect...

KELLEY
 Referenced in 589 articles
[sw04829]
 first part. Chapter 2 studies the local convergence of Newton’s method, inexact Newton methods ... method is studied in chapter 4. A local convergence analysis is provided and implementation details...

Ipopt
 Referenced in 587 articles
[sw04808]
 nonlinear optimization. It is designed to find (local) solutions of mathematical optimization problems...

LINPACK
 Referenced in 510 articles
[sw04209]
 oriented algorithms to increase efficiency by preserving locality of reference. LINPACK was designed for supercomputers...

XFEM
 Referenced in 357 articles
[sw01026]
 fracture mechanics for hundreds of cracks with local neartip refinement, and crack propagation...

CGAL
 Referenced in 334 articles
[sw00118]
 parameterization, as well as estimation of local differential properties, and approximation of ridges and umbilics...

SVMlight
 Referenced in 257 articles
[sw04076]
 bounding the solution using a form of local search. A detailed description of the algorithm...

AUSM
 Referenced in 246 articles
[sw06367]
 solution remains stable, even if no local preconditioning matrix is included in the time derivative...

BLAST
 Referenced in 232 articles
[sw17334]
 Basic Local Alignment Search Tool. BLAST finds regions of similarity between biological sequences. The program...

Walksat
 Referenced in 204 articles
[sw04328]
 GSAT and WalkSat are local search algorithms to solve Boolean satisfiability problems. Both algorithms work...

lobpcg.m
 Referenced in 115 articles
[sw24008]
 lobpcg.m, MATLAB implementation of the locally optimal block preconditioned conjugate gradient method: Toward the optimal ... preconditioned eigensolver: Locally optimal block preconditioned conjugate gradient method. We describe new algorithms ... locally optimal block preconditioned conjugate gradient (LOBPCG) method for symmetric eigenvalue problems, based ... local optimization of a threeterm recurrence, and suggest several other new methods...

ve08
 Referenced in 140 articles
[sw05141]
 only hope to locate a local minimum of f within the usual limitations on storage ... traditional approach of approximating f by local quadratic models, which is computationally feasible even...

ns2
 Referenced in 187 articles
[sw11690]
 multicast protocols over wired and wireless (local and satellite) networks. Ns began as a variant...

UG
 Referenced in 186 articles
[sw04596]
 developed. We are especially interested in adaptive local grid refinement on unstructured meshes, multigrid solvers...

Globus Toolkit
 Referenced in 175 articles
[sw09648]
 corporate, institutional, and geographic boundaries without sacrificing local autonomy. The toolkit includes software services...

KANT/KASH
 Referenced in 155 articles
[sw00481]
 algebraic number ﬁelds, algebraic function ﬁelds and local ﬁelds. In the number ﬁeld case, algebraic...

Pastry
 Referenced in 107 articles
[sw11775]
 recoveries. Pastry takes into account network locality; it seeks to minimize the distance messages travel ... node failures, and its good network locality properties...

LOF
 Referenced in 82 articles
[sw19311]
 Identifying densitybased local outliers. For many KDD applications, such as detecting criminal activities ... outlier. This degree is called the local outlier factor (LOF) of an object ... local in that the degree depends on how isolated the object is with respect ... show that our approach of finding local outliers can be practical...

COMET
 Referenced in 70 articles
[sw03051]
 ConstraintBased Local Search. The ubiquity of combinatorial optimization problems in our society is illustrated ... procedures at a high level of abstraction. Local search approaches to combinatorial optimization are able ... optimization problems that combines constraint programming and local search, using constraints to describe and control ... local search, and a programming language, COMET, that supports both modeling and search abstractions...