Titlebook: Automated Deduction in Geometry; Third International Jürgen Richter-Gebert,Dongming Wang Conference proceedings 2001 Springer-Verlag Berli

神經(jīng)

Effective Methods in Computational Synthetic Geometry,ed matroid. After a brief introduction to known methods, we discuss a dynamic inductive realization method, which has proven successful when other methods did not succeed. A useful theorem in this context in the rank 3 case asserts that a one-element extension of a uniform rank 3 oriented matroid de