Journal: Formalized Mathematics

Volume 24, Issue 4

239 -- 251Roland Coghetto. Homography in ℝℙ
253 -- 259Kazuhisa Nakasho, Keiko Narita, Yasunari Shidama. The Basic Existence Theorem of Riemann-Stieltjes Integral
261 -- 273Rafal Ziobro. On Subnomials
275 -- 280Karol Pak. Leibniz Series for π
281 -- 290Mariusz Giero. The Axiomatization of Propositional Logic
291 -- 299Yasushige Watase. Algebraic Numbers
301 -- 308Artur Kornilowicz, Adam Naumowicz. Niven's Theorem