Reduction among bracket polynomials

DOI10.1145/2608628.2608630zbMath1325.68291OpenAlexW1976775388MaRDI QIDQ3452409

No author found.

Publication date: 11 November 2015

Published in: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2608628.2608630

zbMATH Keywords

classical invariant theorybracket algebrainvariant divisioninvariant Gröbner basisinvariant ideal membership

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Polynomials in general fields (irreducibility, etc.) (12E05) Actions of groups on commutative rings; invariant theory (13A50)

Uses Software

• Jordan

Cites Work

• Unnamed Item
• Unnamed Item
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• The Jordan Curve Theorem, Formally and Informally
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Definability and decision problems in arithmetic

This page was built for publication: Reduction among bracket polynomials