Computing the real solutions of polynomial systems with the RegularChains library in Maple
主 题: Computing the real solutions of polynomial systems with the RegularChains library in Maple
报告人: Marc Moreno Maza (University of Western Ontario, Canada)
时 间: 2011-10-18 14:00
地 点: 理科一号楼1418
Computing and manipulating the real solutions of polynomial systems is a requirement for many application areas such as biological modeling, robotics, program verification, to name a few. The RegularChains library in Maple provides a comprehensive collection of tools for dealing with systems of polynomial equations, inequations and
