>b's weblog

News. Journal. Whatever.

Amazon Ring ist ein Testballon für flächendeckende Gesichtserkennung, das zeigen Leaks auf – Der NSU-Untersuchungsausschuss in Mecklenburg-Vorpommern hat nur noch ein Jahr Zeit. Das muss heißen: Akten erkämpfen, Aufklärung vorantreiben!

Formalisierung elliptischer Kurven

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)