CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications

DOI10.1007/978-3-319-42432-3_29zbMath1435.65012OpenAlexW2480266340MaRDI QIDQ2819222

Valentina Popescu, Warwick Tucker, Jean-Michel Muller, Mioara Joldes

Publication date: 28 September 2016

Published in: Mathematical Software – ICMS 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-42432-3_29

zbMATH Keywords

dynamical systemsHénon mapsemi-definite programmingfloating-point arithmeticfloating-point expansionsGPGPU computingerror-free transformmultiple precision library

Mathematics Subject Classification ID

Numerical algorithms for specific classes of architectures (65Y10) Software, source code, etc. for problems pertaining to numerical analysis (65-04)

Related Items (6)

Formalization of Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” ⋮ Floating-point arithmetic ⋮ Formal verification of a floating-point expansion renormalization algorithm ⋮ Parallel computation of alpha complexes for biomolecules ⋮ CAMPARY ⋮ Locating the closest singularity in a polynomial homotopy

Uses Software

• Coq
• CUDA
• MPFR
• LBNL

Cites Work

• Latest Developments in the SDPA Family for Solving Large-Scale SDPs
• Arithmetic Algorithms for Extended Precision Using Floating-Point Expansions
• MPFR
• High-Accuracy Semidefinite Programming Bounds for Kissing Numbers
• Handbook of Floating-Point Arithmetic
• Accurate Floating-Point Summation Part I: Faithful Rounding

This page was built for publication: CAMPARY: Cuda Multiple Precision Arithmetic Library and Applications