Department of Computer Science, University of Melbourne, Parkville, VIC 3052 Australia ; FB Mathematik Universität Kaiserslautern, Postfach 3049, 67653 Kaiserslautern, Germany
Abstract:
In this article we outline a computer assisted classification of the ovoids in an orthogonal space of the type .