Dataset Description: Formalization of Elementary Number Theory in Mizar
Adam Naumowicz
Topics & Concepts
Mathematical proofComputer sciencePoint (geometry)Character (mathematics)Automated proof checkingProof assistantCalculus (dental)Algebra over a fieldTheoretical computer scienceAutomated theorem provingProgramming languageMathematicsPure mathematicsDentistryMedicineGeometryMathematics, Computing, and Information ProcessingNumerical Methods and AlgorithmsAdvanced Database Systems and Queries