LNS with Co-Transformation Competes with Floating-Point

DOI10.1109/TC.2015.2409059zbMATH Open1360.65321OpenAlexW2070512256MaRDI QIDQ2985681

R. Che Ismail, J. N. Coleman

Publication date: 16 May 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2015.2409059

Mathematics Subject Classification ID

Numerical algorithms for computer arithmetic, etc. (65Y04)

Recommendations

• Unnamed Item 👍 👎
• Floating-point arithmetic in the Coq system 👍 👎
• Lightweight floating-point arithmetic: Case study of inverse discrete cosine transform 👍 👎
• LFTB: an efficient algorithm to bound linear fractional transformations 👍 👎
• On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure 👍 👎
• Floating-Point LLL: Theoretical and Practical Aspects 👍 👎
• Adaptive Precision Floating Point LLL 👍 👎
• Floating-Point LLL Revisited 👍 👎

This page was built for publication: LNS with Co-Transformation Competes with Floating-Point