Formal Verification of Taylor’s Theorem in Coq
In: 9th International Conference on Computer and Communications (ICCC); (2023-12-08) S. 1510-1514
Konferenz
Zugriff:
Titel: |
Formal Verification of Taylor’s Theorem in Coq
|
---|---|
Autor/in / Beteiligte Person: | Gao, Chang ; Zhou, Yanwen ; Yu, Wensheng |
Quelle: | 9th International Conference on Computer and Communications (ICCC); (2023-12-08) S. 1510-1514 |
Veröffentlichung: | 2023 |
Medientyp: | Konferenz |
ISBN: | 979-8-3503-1725-1 (print) |
ISSN: | 2837-7109 (print) |
DOI: | 10.1109/ICCC59590.2023.10507412 |
Sonstiges: |
|