External Links

    Journal: Formalized Mathematics

    Volume 25, Issue 4

    249 -- 259Christoph Schwarzweller. Formally Real Fields
    261 -- 268Peter Jaeger. Introduction to Stopping Time in Stochastic Finance Theory. Part II
    269 -- 281Kazuhisa Nakasho, Yuichi Futa, Yasunari Shidama. Implicit Function Theorem. Part I
    283 -- 288Yasushige Watase. Introduction to Diophantine Approximation. Part II
    289 -- 313Roland Coghetto, Adam Grabowski. Tarski Geometry Axioms. Part III
    315 -- 322Karol Pak. The Matiyasevich Theorem. Preliminaries
    runs on