Introducing Euclidean Relations to Mizar.

Adam Naumowicz, Artur Kornilowicz

Browse the full FedCSIS paper archive.