Spherical quadrangles with three equal sides and rational angles 
HomeAuthors 
Here you find the source code for the program used in the proof of Theorem 4 in
The program was written using the computer algebra system Sage and is available in two formats:
