@InCollection{zbMATH01576685,
Author = {J. {Shield} and I. J. {Hayes} and D. A. {Carrington}},
Title = {{Using theory interpretation to mechanise the reals in a theorem prover}},
BookTitle = {{Computing: The Australasian Theory Symposium, CATS 2001. Proceedings of the 7th symposium, Bond Univ., Gold Coast, Australia, January 29--30, 2001}},
Pages = {16},
Year = {2001},
Publisher = {Amsterdam: Elsevier},
Language = {English},
MSC2010 = {68T15},
Zbl = {0970.68146}
}