Logic for Exact Real Arithmetic: Multiplication

DOI10.1142/9789811245220_0003OpenAlexW4362237098MaRDI QIDQ6111737

Helmut Schwichtenberg

Publication date: 4 August 2023

Published in: Mathematics for Computation (M4C) (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789811245220_0003

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

Lookahead analysis in exact real arithmetic with logical methods

This page was built for publication: Logic for Exact Real Arithmetic: Multiplication

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6111737)