References

  1. Leif O. Arkeryd, Nigel J. Cutland & C. Ward Henson (Eds.) (1997): Nonstandard Analysis: Theory and Applications, 1st edition, Nato Science Series C: 493. Springer Netherlands, doi:10.1007/978-94-011-5544-1.
  2. Stephen Boyd & Lieven Vandenberghe (2004): Convex Optimization. Cambridge University Press, doi:10.1017/CBO9780511804441.
  3. Ruben Gamboa (2000): Continuity and Differentiability. In: Matt Kaufmann, Panagiotis Manolios & J. Strother Moore: Computer-Aided Reasoning: ACL2 Case Studies. Springer US, Boston, MA, pp. 301–315, doi:10.1007/978-1-4757-3188-0_18.
  4. Ruben A. Gamboa & Matt Kaufmann (2001): Nonstandard Analysis in ACL2. Journal of Automated Reasoning 27(4), pp. 323–351, doi:10.1023/A:1011908113514.
  5. John Harrison (2007): Formalizing Basic Complex Analysis. In: R. Matuszewski & A. Zalewska: From Insight to Proof: Festschrift in Honour of Andrzej Trybulec, Studies in Logic, Grammar and Rhetoric 10(23). University of Białystok, pp. 151–165. Available at http://mizar.org/trybulec65/.
  6. Nathan Jacobson (1985): Basic Algebra I, 2nd edition. Dover Publications.
  7. Matt Kaufmann (2000): Modular Proof: The Fundamental Theorem of Calculus. In: Matt Kaufmann, Panagiotis Manolios & J. Strother Moore: Computer-Aided Reasoning: ACL2 Case Studies. Springer US, Boston, MA, pp. 75–91, doi:10.1007/978-1-4757-3188-0_6.
  8. Carl Kwan & Mark R. Greenstreet (2018): Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r). In: Proceedings 15th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, November 5-6, 2018, this volume of EPTCS. Open Publishing Association.
  9. Serge Lang (2002): Algebra, 3rd edition, Graduate Texts in Mathematics 211. Springer-Verlag New York, doi:10.1007/978-1-4613-0041-0.
  10. Peter A. Loeb & Manfred P. H. Wolff (2015): Nonstandard Analysis for the Working Mathematician, 2nd edition. Springer Netherlands, doi:10.1007/978-94-017-7327-0.
  11. Yurii Nesterov (2004): Introductory Lectures on Convex Optimization, 1st edition, Applied Optimization 87. Springer US, doi:10.1007/978-1-4419-8853-9.
  12. Abraham Robinson (1966): Non-Standard Analysis. North-Holland Publishing Company.
  13. Steven Roman (2008): Advanced Linear Algebra, 3rd edition, Graduate Texts in Mathematics 135. Springer-Verlag New York, doi:10.1007/978-0-387-72831-5.
  14. Walter Rudin (1976): Principles of Mathematical Analysis, 3rd edition, International Series in Pure and Applied Mathematics. McGraw-Hill.
  15. Georgi E. Shilov (1977): Linear Algebra. Dover Publications.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org