5 citations · 15 across the 9 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2023
An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in any Characteristic
David Kurniadi Angdinata, Junyan Xu
Elliptic curves are fundamental objects in number theory and algebraic geometry, whose points over a field form an abelian group under a geometric addition law. Any elliptic curve…
cs.LO2020★ 1 cited
Fusible numbers and Peano Arithmetic
Jeff Erickson, Gabriel Nivasch, Junyan Xu
Inspired by a mathematical riddle involving fuses, we define the "fusible numbers" as follows: is fusible, and whenever are fusible with , the number …