scientific article; zbMATH DE number 61799

MaRDI QIDQ4009770zbMATH OpenFDO

Authors T. E. Stokes

Publication date 27 September 1992

zbMATH Keywords

\(c\)-varietiesautomated Euclidean geometry theorem provingquadratic algebraring of conjugate polynomialsstandard varieties

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Noncommutative algebraic geometry (14A22) Quadratic algebras (but not quadratic Jordan algebras) (17A45)

Recommendations

• Algebras with conjugation and geometry of nonquadratic forms
• Conjugate algebraic numbers on conics: a survey
• Automated Deduction in Geometry
• Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry.
• scientific article; zbMATH DE number 589882

Cited in

(3)

• Algebras with conjugation and geometry of nonquadratic forms
• Some polynomial conditions for cyclic quadrilaterals, tilted kites and other quadrilaterals
• On conjugate product of complex polynomials

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 Q4009770)