1. Apel, S.: A comparison of Binomial proofs and Ceva-/Menelaus proofs for real projective incidence theorems, Bachelor Thesis, TU Munich (2009)
2. Bokowski, J., Richter, J.: On the finding of final polynomials. Europ. J. Combinatorics 11, 21–34 (1990)
3. Crapo, H., Richter-Gebert, J.: Automatic proving of geometric theorems. In: White, N. (ed.) Invariant Methods in Discrete and Computational Geometry, pp. 107–139. Kluwer Academic Publishers, Dordrecht (1995)
4. Dress, A.W.M., Wenzel, W.: Endliche Matroide mit Koeffizienten. Bayreuth. Math. Schr. 24, 94–123 (1978)
5. Dress, A.W.M., Wenzel, W.: Geometric Algebra for Combinatorial Geometries. Adv. in Math. 77, 1–36 (1989)