
ABACUS
 Referenced in 115 articles
[sw02948]
 COINOR (COmputational INfrastructure for Operations Research) project which means that every solver supported...

LAPACK
 Referenced in 1586 articles
[sw00503]
 precision. The original goal of the LAPACK project was to make the widely used EISPACK ... data instead of doing useful floatingpoint operations. LAPACK addresses this problem by reorganizing...

UNLocBoX
 Referenced in 251 articles
[sw07521]
 convex optimization toolbox part of the UnlocX project. It composed of the most used algorithms ... ppxa. Moreover a all collection of proximal operators are available in order to implement problems...

COINOR
 Referenced in 96 articles
[sw04615]
 Computational Infrastructure for Operations Research (COINOR**, or simply COIN) project is an initiative...

ASTRA
 Referenced in 20 articles
[sw14524]
 CGLS. The basic forward and backward projection operations are GPUaccelerated, and directly callable from...

BOINC
 Referenced in 53 articles
[sw16798]
 scientists to create and operate publicresource computing projects. It supports diverse applications, including those...

SLEP
 Referenced in 34 articles
[sw13487]
 methods. 3) Efficient Projection. The projection problem (proximal operator) can be solved efficiently. 4) Pathwise...

CGAL
 Referenced in 335 articles
[sw00118]
 mesh generation, numerical methods... More on the projects using CGAL web page. The Computational Geometry ... diagrams, and segment Voronoi diagrams), polygons (Boolean operations, offsets, straight skeleton), polyhedra (Boolean operations), arrangements...

SPGL1
 Referenced in 153 articles
[sw08365]
 domain. At each iteration, a spectral gradientprojection method approximately minimizes a leastsquares problem ... explicit onenorm constraint. Only matrixvector operations are required. The primaldual solution...

CALMA
 Referenced in 104 articles
[sw03235]
 radio link frequency assignment: The CALMA project The radio link frequency assignment problem occurs when ... established. Each link must be assigned an operating frequency from a given domain. The assignment ... this type were investigated within the CALMA project by a consortium consisting of research groups...

WIGGLE
 Referenced in 10 articles
[sw02594]
 simulations is reexamined based on a projection operator approach. A new algorithm, named WIGGLE...

NorduGrid
 Referenced in 8 articles
[sw12593]
 middleware for scientific applications. The NorduGrid project operates a production Grid infrastructure in Scandinavia...

PolyLib
 Referenced in 47 articles
[sw09923]
 Polyhedral Library (PolyLib for short) operates on objects made up of unions of polyhedra ... project. This first version (1.1) manipulates non parameterized unions of polyhedra through the following operations...

MSO_Regex_Equivalence
 Referenced in 7 articles
[sw32230]
 extension of regular expressions with a projection operation is required. We prove total correctness...

PESTO
 Referenced in 18 articles
[sw20864]
 extended by incorporating a projection or a proximal operator, which leads to an algorithm that...

gmp
 Referenced in 256 articles
[sw00363]
 free library for arbitrary precision arithmetic, operating on signed integers, rational numbers, and floating point ... programs. GMP is part of the GNU project. For more information about the GNU project...

Zing
 Referenced in 38 articles
[sw01037]
 Zing is a software model checking project at Microsoft Research. Our goal is to build ... protocols in the core of the operating system...

Algorithm 949
 Referenced in 4 articles
[sw17566]
 with convectiondiffusion problems, plus several projection operators and the postprocessing implementation that is necessary...

Getfem++
 Referenced in 51 articles
[sw05721]
 Getfem project focuses on the development of a generic and efficient library for finite element ... problems, interpolation methods, computation of norms, mesh operations (including automatic refinement), boundary conditions, postprocessing...

Toolchain
 Referenced in 23 articles
[sw09517]
 operating systems and libraries to supply context for your program. The Verified Software Toolchain project ... machinelanguage program, running in the operatingsystem context...