Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. J. Bokowski and J. Richter-Gebert. On the finding of final polynomials. Europ. J. Combinatorics 11, 21–34, 1990.
2. LNM;J. Bokowski,1989
3. S.-C. Chou, X.-S. Gao and J.-Z. Zhang. Machine Proofs in Geometry-Automated Production of Readable Proofs for Geometric Theorems. World Scientific, Singapore, 1994.
4. H. Crapo and J. Richter-Gebert. Automatic proving of geometric theorems. In: Invariant Methods in Discrete and Computational Geometry (N. White, ed.), pp. 107–139. Kluwer, Dordrecht, 1994.
5. P. Doubilet, G. C. Rota and J. Stein. On the foundations of combinatorial theory IX: Combinatorial methods in invariant theory. Stud. Appl. Math. 57, 185–216, 1974.