Algebraic factoring and geometry theorem proving
From MaRDI portal
Publication:5210786
DOI10.1007/3-540-58156-1_27zbMATH Open1433.68572OpenAlexW7560696MaRDI QIDQ5210786FDOQ5210786
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
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
Symbolic computation and algebraic computation (68W30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Irreducible decomposition of algebraic varieties via characteristic sets and Gröbner bases
- Title not available (Why is that?)
- Title not available (Why is that?)
- Factoring Multivariate Polynomials over Algebraic Number Fields
- Title not available (Why is that?)
- Factoring Polynomials over Algebraic Number Fields
- Title not available (Why is that?)
- Title not available (Why is that?)
- An elimination method for polynomial systems
- Title not available (Why is that?)
- Factoring Polynomials Over Algebraic Number Fields
- Factoring Multivariate Polynomials over Algebraic Number Fields
- Title not available (Why is that?)
- Transcendental functions and mechanical theorem proving in elementary geometries
- Title not available (Why is that?)
Cited In (5)
Uses Software
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)
