View Proposal

Proposer
Marko Doko
Title
Formalization of the algebraic structure of physical units in Coq
Goal
Description
The main goal of the project is to create a formalization of the algebraic structure of physical units in an assisted theorem prover. After specifying the structure, some fundamental theorems should be established, and an example (preferably the SI system) should be encoded. Goals with which the project can be extended include: - developing a theory of unit prefixes - developing a theory of conversions between unit systems
Resources
https://link.springer.com/article/10.1023/B:JOMC.0000034933.47311.93
Background
Url
Difficulty Level
Challenging
Ethical Approval
None
Number Of Students
0
Supervisor
Marko Doko
Keywords
coq, theorem proving, formalization of mathematics
Degrees
Back to List