Computing the real solutions of polynomial systems with the RegularChains library in Maple
From MaRDI portal
Publication:5175311
DOI10.1145/2110170.2110174zbMath1308.68164WikidataQ59590603 ScholiaQ59590603MaRDI QIDQ5175311
François Lemaire, Yuzhen Xie, Bican Xia, Marc Moreno Maza, Rong Xiao, Changbo Chen, James H. Davenport
Publication date: 20 February 2015
Published in: ACM Communications in Computer Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2110170.2110174
68W30: Symbolic computation and algebraic computation
Uses Software