Last update: Thu Sep 27 02:36:16 MDT 2018
@Article{Fleuriot:2000:MNR, author = "Jacques D. Fleuriot and Lawrence C. Paulson", title = "Mechanizing nonstandard real analysis", journal = j-LMS-J-COMPUT-MATH, volume = "3", pages = "140--190", year = "2000", CODEN = "????", DOI = "https://doi.org/10.1112/S1461157000000267", ISSN = "1461-1570", ISSN-L = "1461-1570", MRclass = "03B35 (03H10 26E35)", MRnumber = "2001j:03022", MRreviewer = "Peter W. Day", bibdate = "Fri Nov 29 08:13:48 2002", bibsource = "http://journals.cambridge.org/action/displayJournal?jid=JCM; http://www.math.utah.edu/pub/tex/bib/lms-j-comput-math.bib", URL = "http://www.lms.ac.uk/jcm/3/lms1999-027/", acknowledgement = ack-nhfb, ajournal = "LMS J. Comput. Math.", fjournal = "LMS Journal of Computation and Mathematics", journal-URL = "http://journals.cambridge.org/action/displayJournal?jid=JCM", onlinedate = "01 February 2010", }