Validated Numerics
Subtitle: A Short Introduction to Rigorous Computations
Publisher: Princeton University Press
Published: 2023
Language: eng
ISBN-13: 9780691247656