• LPbook

  • Referenced in 50 articles [sw31782]
  • algorithms precede more abstract topics. Topics are clearly developed with a large number of numerical ... efficient C programs that implement the major algorithms studied: -- The two-phase simplex method...
  • ARock

  • Referenced in 28 articles [sw16800]
  • ARock: an algorithmic framework for asynchronous parallel coordinate updates. Finding a fixed point ... nonexpansive operator, i.e., x * =Tx * , abstracts many problems in numerical linear algebra, optimization, and other ... fixed-point problems, we propose ARock, an algorithmic framework in which multiple agents (machines, processors...
  • CasADi

  • Referenced in 33 articles [sw06437]
  • advanced user of such algorithms, it offers a level of abstraction which is notably lower ... level interfaces to state-of-the-art numerical codes for nonlinear programming, quadratic programming...
  • Thyra

  • Referenced in 1 article [sw20257]
  • Thyra : Interfaces and Support code for Abstract Numerical Algorithms (ANAs). The Thyra package contains ... interfaces related to abstract numerical algorithms (ANAs) are the mathematical concepts of vectors, vector spaces...
  • PHG

  • Referenced in 10 articles [sw12363]
  • abstract way, allowing the users to concentrate on their numerical algorithms...
  • TSFCore

  • Referenced in 1 article [sw13002]
  • oriented abstractions for the development of abstract numerical algorithms and interfacing to linear algebra libraries...
  • ViennaMath

  • Referenced in 1 article [sw12918]
  • raise the level of abstraction in numerical algorithms such as implementations of the finite element...
  • PAGAI

  • Referenced in 7 articles [sw13095]
  • numerical variables of the analyzed program. PAGAI implements various state-of-the-art algorithms combining ... abstract interpretation and decision procedures (SMT-solving), focusing on distinction of paths inside the control...
  • GrAL

  • Referenced in 20 articles [sw00375]
  • grid (or mesh) data structures and algorithms operating on them. It has been inspired ... numerical PDE (partial differential equations) solution in mind. However, the underlying mathematical structure of abstract...
  • monabs

  • Referenced in 2 articles [sw18507]
  • algorithms for infinite-state systems become inapplicable. We demonstrate how monotonicity in the abstraction ... applied it to numerous concurrent programs and algorithms, whose predicate abstractions are often fundamentally beyond...
  • PyDEC

  • Referenced in 9 articles [sw06967]
  • discretization of exterior calculus which includes numerical solution of partial differential equations. It is also ... purely topological problems on abstract complexes. It uses efficient algorithms for constructing the operators ... objects and related topological problems. Our algorithms are formulated in terms of high-level matrix ... implementations map well to the facilities of numerical libraries such as NumPy and SciPy...
  • Dyna

  • Referenced in 11 articles [sw23357]
  • rules, that specify the abstract structure of a dynamic programming algorithm. It compiles into efficient ... already knows several implementation tricks, algorithmic transforms, and numerical optimization techniques. It will acquire more...
  • Albany/FELIX

  • Referenced in 7 articles [sw17196]
  • Trilinos project are combined using abstract interfaces and template-based generic programming, resulting ... final code with access to dozens of algorithmic and advanced analysis capabilities. Following an overview ... partial differential equations and boundary conditions, the numerical methods chosen to discretize the ice flow...
  • FInAT

  • Referenced in 5 articles [sw20273]
  • provide abstract algorithms for their evaluation. This enables FInAT to provide smart algorithms which exploit ... truth for information about the symbolic and numerical properties of finite elements. Symbolic form languages...
  • QPSchur

  • Referenced in 16 articles [sw06918]
  • specialized structure of the QP is abstracted away behind a fixed KKT matrix called ... every working set considered by the algorithm. Therefore, this method is not appropriate ... problem structure, it is not as numerically stable as approaches using a QR factorization. However...
  • ForwardDiff

  • Referenced in 11 articles [sw16106]
  • bandwidth than traditional vector mode. In our numerical experiments, we demonstrate that for nontrivially large ... abstract that has been accepted for presentation at the AD2016 7th International Conference on Algorithmic...
  • ELINA

  • Referenced in 1 article [sw21742]
  • numerical abstract domains such as Polyhedra and Octagons for static analysis. ELINA uses improved algorithms ... performance of static analysis with the numerical domains...
  • ROOT

  • Referenced in 4 articles [sw20052]
  • statistical functions, including linear algebra classes, numerical algorithms such as integration and minimization, and various ... fitting while the RooStats library provides abstractions and implementations for advanced statistical tools. Multivariate classification...
  • D2O

  • Referenced in 0 articles [sw15537]
  • dimensional numerical arrays. It acts as a layer of abstraction between the algorithm code ... goal is to achieve usability without losing numerical performance and scalability. D2O’s global interface...
  • MedPost

  • Referenced in 3 articles [sw07991]
  • lowercase, numerics, etc), and word endings up to 4 letters long. The Viterbi algorithm ... tagging biological text by using MEDLINE abstracts as the training corpus...