HEXAGONbeta

Formal Verification of a Computer-Assisted Proof in Celestial Mechanics

Contributed by Tejasvi Singh Tomar

Source files

Download source .zip

root filemain.tex · root file60 KiB · SHA-256 ee715469af8349af… · view textauxiliary filellncs.cls42 KiB · SHA-256 e9894c92191fcd19… · view text

Back to the main record