Neueste Heute 27.04.2024 26.04.2024
Formalisierung elliptischer Kurven
09.05.2020, 17:05 Uhr. >b's weblog - https: - Eine neue, am 25. April auf dem ArXiv erschienene Arbeit von Hales und Rays (Formal Proof of the Group Law for Edwards Elliptic Curves) liefert nun einen computerformalisierten Beweis der dafür grundlegenden Eigenschaften elliptischer Kurven.Das Paper gibt's hier. (Sicherungskopie)(via Mathlog)...