The following pages link to CAMPARY (Q27049):
Displaying 5 items.
- Formal verification of a floating-point expansion renormalization algorithm (Q1687723) (← links)
- Locating the closest singularity in a polynomial homotopy (Q2109994) (← links)
- Parallel computation of alpha complexes for biomolecules (Q2206738) (← links)
- Mathematical software -- ICMS 2016. 5th international conference, Berlin, Germany, July 11--14, 2016. Proceedings (Q2630690) (← links)
- Handbook of Floating-Point Arithmetic (Q4609588) (← links)
