scientific article; zbMATH DE number 16659

MaRDI QIDQ3973345zbMATH OpenFDO

Authors Bernard Mourrain

Publication date 26 June 1992

zbMATH Keywords

generic componentgeometric configurations

Mathematics Subject Classification ID

Computational aspects in algebraic geometry (14Q99) Configuration theorems in linear incidence geometry (51A20) Symbolic computation and algebraic computation (68W30)

Review text

[For the entire collection see Zbl 0721.00009.] The aim of this paper is to prove geometric properties of a figure by selecting good irreducible components of the variety defined by the hypotheses and in reducing the conclusion on these sets. Instead of dealing directly with polynomials, the author looks for geometric objects and limits himself to relations of collinearity. Extending the exterior algebra of \(E\) to its symmetric algebra allows a transformation of two conditions on a vector to a single one. It is shown that an irreducible component of the corresponding variety, called generic component, plays a special part for the geometric configurations. This leads to an algorithm which reduces an element of the ``formal space to zero if and only if the corresponding geometric property is true on the generic component.

Recommendations

• Algorithmic geometry. Foundations, methods, applications.
• Geometric Computation
• Algorithmic geometry. Foundations, methods, applications
• scientific article; zbMATH DE number 66476
• scientific article; zbMATH DE number 1006218
• Generalization of a geometric problem.
• Computational geometry. Algorithms and applications.

Cited in

(4)

• Geometric characterization of Lewis structure algorithm
• What does ``without loss of generality mean, and how do we detect it
• scientific article; zbMATH DE number 130888 (Why is no real title available?)
• scientific article; zbMATH DE number 194382 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3973345)