The Collected Papers of Wei-Liang Chow

This book begins by introducing the area method, and recent results in automating the area method. It can either be used as a geometry text for students and geometers, or be regarded as a monograph on machine proofs in geometry. By automating the area method, this book presents a systematic way of proving geometry theorems using traditional methods. The authors aim to make learning and teaching geometry easier through this book 1. Zur algebraische Geometrie IX; English translation by Wen-ling Huang / Wei-Liang Chow and B. L. van der Waerden -- 2. Die geometrische Theorie der algebraischen Funktionen fur beliebige vollkommene Korper -- 3. Einfacher topologischer Beweis des Fundamentalsatzes der Algebra -- 4. Uber die Multiplizitat der Schnittpunkte von Hyperflachen -- 5. Uber systeme von linearen partiellen Differentialgleichungen erster Ordnung -- 6. On Electric Networks -- 7. On the Algebraical Braid Group -- 8. On Compact Complex Analytic Varieties -- 9. On the Geometry of Algebraic Homogeneous Spaces -- 10. Uber die Losbarkeit gewisser algebraischer Gleichungssysteme -- 11. On the Genus of Curves of an Algebraic System