@BOOK{ Book!D - 101388153,
AUTHOR = "Jacques Fleuriot",
TITLE = "A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia",
LIBRARY= "کتابخانه پژوهشگاه دانشهای بنیادی",
SUBJECT = "، Automatic theorem proving,، Nonstandard mathematical analysis,، Newton, Isaac, Sir, 2461-7271. Principia",
URL = "/book/101388153/A-combination-of-geometry-theorem-proving-and-nons/"}