Efficient symbolic-numeric algorithms for structured constrained differential polynamial systems

点击翻译按钮获取中文摘要

Symbolic Computation is the study of algorithms and software systems to manipulate mathematical expressions. Until recently the algorithms have processed exact expressions and equations only. Driven by the needs of applications, in which data is approximate, the subject has grown to include symbolic-numeric computation for polynomial equations. This is part of a broad effort to combine the generality of exact symbolic computation with the realism and efficiency of numeric computation.