Formalization of Dedekind Fundamental Theorem in Coq

التفاصيل البيبلوغرافية
العنوان: Formalization of Dedekind Fundamental Theorem in Coq
المؤلفون: Leng, Shukun, Guo, Dakai, Yu, Wensheng
المصدر: 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :6683-6687 Nov, 2023
Relation: 2023 China Automation Congress (CAC)
قاعدة البيانات: IEEE Xplore Digital Library