Computations modulo regular chains

DOI10.1145/1576702.1576736MaRDI QIDQ2883822zbMATH OpenOpenAlexFDO

Authors Xin Li, Marc Moreno Maza, Wei Pan

Publication date 13 May 2012

Published in Proceedings of the 2009 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

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

zbMATH Keywords

\texttt{Maple}\texttt{Magma}

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Solving polynomial systems; resultants (13P15) Software, source code, etc. for problems pertaining to commutative algebra (13-04)

Recommendations

• Algorithms for computing triangular decompositions of polynomial systems
• Algorithms for computing triangular decomposition of polynomial systems
• Intersection formulas and algorithms for computing triangular decompositions
• Fast arithmetic for triangular sets: from theory to practice
• Gcd Modulo a Primary Triangular Set of Dimension Zero

Cited in

(7)

• Doing algebraic geometry with the RegularChains library
• Inversion modulo zero-dimensional regular chains
• Algorithms for computing triangular decomposition of polynomial systems
• A signature-based algorithm for computing the nondegenerate locus of a polynomial system
• Intersection formulas and algorithms for computing triangular decompositions
• Unification Modulo Chaining
• The RegularChains library in Maple 10

Describes a project that uses

Uses Software

• modpn
• RegularChains
• Maple
• Magma

This page was built for publication: Computations modulo regular chains

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