A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia

著者

    • Fleuriot, Jacques

書誌事項

A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia

Jacques Fleuriot

(Distinguished dissertations)

Springer, c2001

大学図書館所蔵 件 / 3

この図書・雑誌をさがす

注記

Includes bibliographical references (p. [133]-138) and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ