Constructions in Finite Geometry Using Computer Algebra Systems

摘要

One way of using a computer algebra system to do research in finite geometry is to use the system to construct "small" order examples of various constructions, and then hope to recognize a pattern that can be generalized and eventually proven. Of course, initially one does not know if the "small" order examples exist. However, if one has sufficiently good insight concerning where to loop and a reasonably good "starter", the computer algebra system will often find these examples quite expeditiously.