Algebraic factoring and geometry theorem proving

DOI10.1007/3-540-58156-1_27MaRDI QIDQ5210786zbMATH OpenOpenAlexFDO

Authors Dongming Wang

Publication date 21 January 2020

Published in Automated Deduction — CADE-12 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-58156-1_27

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• Elimination procedures for mechanical theorem proving in geometry
• scientific article; zbMATH DE number 41286
• A generalized Euclidean algorithm for geometry theorem proving
• Ritt-Wu's decomposition algorithm and geometry theorem proving
• On the application of Buchberger's algorithm to automated geometry theorem proving

Cites work

• scientific article; zbMATH DE number 3860385 (Why is no real title available?)
• scientific article; zbMATH DE number 4164173 (Why is no real title available?)
• scientific article; zbMATH DE number 4164190 (Why is no real title available?)
• scientific article; zbMATH DE number 3926285 (Why is no real title available?)
• scientific article; zbMATH DE number 3968702 (Why is no real title available?)
• scientific article; zbMATH DE number 3785004 (Why is no real title available?)
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 3056446 (Why is no real title available?)
• An elimination method for polynomial systems
• Factoring Multivariate Polynomials over Algebraic Number Fields
• Factoring Multivariate Polynomials over Algebraic Number Fields
• Factoring Polynomials Over Algebraic Number Fields
• Factoring Polynomials over Algebraic Number Fields
• Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases
• Transcendental functions and mechanical theorem proving in elementary geometries

Cited in

(5)

• Geometry machines: from AI to SMC
• Factorization of locus polynomials using DGS
• scientific article; zbMATH DE number 1263399 (Why is no real title available?)
• scientific article; zbMATH DE number 4137244 (Why is no real title available?)
• Quantum queries on permutations

Describes a project that uses

Uses Software

• Maple

This page was built for publication: Algebraic factoring and geometry theorem proving

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