Spherical quadrangles with three equal sides and rational angles

Home Welcome Authors Kris Coolsaet

Here you find the source code for the program used in the proof of Theorem 4 in K. Coolsaet, Spherical quadrangles with three equal sides and rational angles, 2016, accepted for publication in Ars Mathematica Contemporanea. (Preprint.) The program was written using the computer algebra system Sage and is available in two formats: As a Sage worksheet. As a printable PDF.