Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system.
Bz the quadrileteral condition in a given net there is meant the following implication: If are arbitrary points, no three of them lie on the same line, with coll (collinearity) for any five from six couples then there follows the collinearity coll for the remaining couple . In the article there is proved the every net satisfying the preceding configuration condition is necessarity the Ostrom net (i.e., the net over a field). Conversely, every Ostrom net satisfies the above configuration...