Algebraic factoring and geometry theorem proving

DOI10.1007/3-540-58156-1_27zbMath1433.68572OpenAlexW7560696MaRDI QIDQ5210786

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)

Related Items

Quantum Queries on Permutations

Uses Software

• Maple

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Transcendental functions and mechanical theorem proving in elementary geometries
• Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases
• An elimination method for polynomial systems
• Factoring Polynomials over Algebraic Number Fields
• Factoring Multivariate Polynomials over Algebraic Number Fields
• Factoring Multivariate Polynomials over Algebraic Number Fields
• Factoring Polynomials Over Algebraic Number Fields