Journal: Formalized Mathematics

Volume 23, Issue 2

75 -- 79Roland Coghetto. Morley's Trisector Theorem
81 -- 92Karol Pak. Flexary Operations
93 -- 99Karol Pak. Euler's Partition Theorem
101 -- 106Yasushige Watase. Introduction to Diophantine Approximation
107 -- 114Roland Coghetto. Finite Product of Semiring of Sets
115 -- 125Adam Grabowski. Two Axiomatizations of Nelson Algebras
127 -- 160Roland Coghetto. Groups - Additive Notation