مؤتمر
Formal Proof of the Mean Value Theorem Based on Coq
العنوان: | Formal Proof of the Mean Value Theorem Based on Coq |
---|---|
المؤلفون: | Zhou, Yanwen, Gao, Chang, Yu, Wensheng |
المصدر: | 2023 China Automation Congress (CAC) Automation Congress (CAC), 2023 China. :5726-5730 Nov, 2023 |
Relation: | 2023 China Automation Congress (CAC) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9798350303759 9798350303742 |
---|---|
تدمد: | 26880938 |
DOI: | 10.1109/CAC59555.2023.10451477 |