Volltext verfügbar nach Anmeldung bzw. im Campus-Netz.
A Machine Proof System of Point Geometry Based on Coq
In: Mathematics, Jg. 11 (2023-06-01), Heft 12
Online
academicJournal
Zugriff:
Titel: |
A Machine Proof System of Point Geometry Based on Coq
|
---|---|
Autor/in / Beteiligte Person: | Lei, Siran ; Guan, Hao ; Jiang, Jianguo ; Zou, Yu ; Rao, Yongsheng |
Link: | |
Zeitschrift: | Mathematics, Jg. 11 (2023-06-01), Heft 12 |
Veröffentlichung: | 2023 |
Medientyp: | academicJournal |
ISSN: | 2227-7390 (print) |
DOI: | 10.3390/math11122757 |
Sonstiges: |
|