مؤتمر
A Case Study in Formalizing Hilbert's Foundations of Geometry in Coq: Establishing Key Properties of Lines in Hilbert's Axiom System
| العنوان: | A Case Study in Formalizing Hilbert's Foundations of Geometry in Coq: Establishing Key Properties of Lines in Hilbert's Axiom System |
|---|---|
| المؤلفون: | Zhang, Qimeng, Yu, Wensheng |
| المصدر: | 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :1926-1930 Nov, 2023 |
| Relation: | 2023 China Automation Congress (CAC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9798350303759 9798350303742 |
|---|---|
| تدمد: | 26880938 |
| DOI: | 10.1109/CAC59555.2023.10451291 |