• ABACUS

  • Referenced in 115 articles [sw02948]
  • COIN-OR (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 floating-point 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...
  • COIN-OR

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

  • Referenced in 20 articles [sw14524]
  • CGLS. The basic forward and backward projection operations are GPU-accelerated, and directly callable from...
  • BOINC

  • Referenced in 53 articles [sw16798]
  • scientists to create and operate public-resource 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 gradient-projection method approximately minimizes a least-squares problem ... explicit one-norm constraint. Only matrix-vector operations are required. The primal-dual 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 convection-diffusion 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, post-processing...
  • Toolchain

  • Referenced in 23 articles [sw09517]
  • operating systems and libraries to supply context for your program. The Verified Software Toolchain project ... machine-language program, running in the operating-system context...