论文标题
MACAULAY2中多项式方程系统的真实解决方案2
Real solutions to systems of polynomial equations in Macaulay2
论文作者
论文摘要
MacAulay2软件包Realroots提供了研究多项式方程系统的实际解决方案的符号方法。它更新并扩展了Grayson和Sottile于1999年开发的较早软件包。我们提供了Realroots软件包的数学背景和描述，提供了示例，以说明其一些实现的方法。我们还证明了Sylvester定理的一般版本，其陈述和证据我们在文献中找不到。
The Macaulay2 package RealRoots provides symbolic methods to study real solutions to systems of polynomial equations. It updates and expands an earlier package developed by Grayson and Sottile in 1999. We provide mathematical background and descriptions of the RealRoots package, giving examples which illustrate some of its implemented methods. We also prove a general version of Sylvester's Theorem whose statement and proof we could not find in the literature.
