Summary: © SPIE 2006. Home: http://www.bookofparagon.com
PERSPEX MACHINE VIII:
AXIOMS OF TRANSREAL ARITHMETIC
This is the published version of the paper that will appear in SPIE as noted below. It
replaces an earlier, pre-publication, version of the paper.
Copyright 2006 Society of Photo-Optical Instrumentation Engineers. This paper will be
published in Vision Geometry XV, Longin Jan Lateki, David M. Mount, Angela Y. Wu,
Editors, Proceedings of SPIE Vol. 6499 (2007) and is made available as an electronic copy
with permission of SPIE. One print or electronic copy may be made for personal use only.
Systematic or multiple reproduction, distribution to multiple locations via electronic or
other means, duplication of any material in this paper for a fee or for commercial
purposes, or modifications of the content of the paper are prohibited.
© SPIE 2006. Home: http://www.bookofparagon.com
Perspex Machine VIII: Axioms of Transreal Arithmetic
James A.D.W. Anderson,*a Norbert Völker,b Andrew A. Adams,a
Computer Science, University of Reading, England
bComputer Science, University of Essex, England