References

• [WT86] Wu Wen-Tsun. Basic principles of mechanical theorem proving in elementary geometries. Journal of automated Reasoning, 2(3):221–252, 1986. [1] [2] [3] [4] [5] [6] [7]
• [WT00] Wu Wen-Tsun. Mathematics Mechanization. Volume 489. Springer, 2000. [1] [2] [3]