The rational numbers as an abstract data type
From MaRDI portal
Publication:3546326
DOI10.1145/1219092.1219095zbMath1292.68105MaRDI QIDQ3546326
Publication date: 21 December 2008
Published in: Journal of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1219092.1219095
Related Items
MetiTarski: An automatic theorem prover for real-valued special functions, Meadows and the equational specification of division, Division safe calculation in totalised fields