This book provides a systematic and uniform presentation of elimination methods and the underlying theories, along the central line of decomposing arbitrary systems of polynomials into triangular systems of various kinds. Highlighting methods based on triangular sets, the book also covers the theory and techniques of resultants and GrAbner bases. The methods and their efficiency are illustrated by fully worked out examples and their applications to selected problems such as from polynomial ideal theory, automated theorem proving in geometry and the qualitative study of differential equations. The reader will find the formally described algorithms ready for immediate implementation and applicable to many other problems. Suitable as a graduate text, this book offers an indispensable reference for everyone interested in mathematical computation, computer algebra (software), and systems of algebraic equations.
具体描述
读后感
评分
评分
评分
评分
用户评价
本书是自动推理领域中量词消去方向的一系列经典论文的集合。作者Dongming Wang是自动推理领域的权威之一，是开山鼻祖吴文俊先生的学生。本书侧重于介绍量词消去领域的一系列经典方法：Cylindric Algebraic Decomposition，Psydo-division，以及Comprehensive Gröbner System。前几篇存在不少公式与符号上的讹误，从而增大了理解难度，不是很适合无相关背景者入门。
评分本书是自动推理领域中量词消去方向的一系列经典论文的集合。作者Dongming Wang是自动推理领域的权威之一，是开山鼻祖吴文俊先生的学生。本书侧重于介绍量词消去领域的一系列经典方法：Cylindric Algebraic Decomposition，Psydo-division，以及Comprehensive Gröbner System。前几篇存在不少公式与符号上的讹误，从而增大了理解难度，不是很适合无相关背景者入门。
评分本书是自动推理领域中量词消去方向的一系列经典论文的集合。作者Dongming Wang是自动推理领域的权威之一，是开山鼻祖吴文俊先生的学生。本书侧重于介绍量词消去领域的一系列经典方法：Cylindric Algebraic Decomposition，Psydo-division，以及Comprehensive Gröbner System。前几篇存在不少公式与符号上的讹误，从而增大了理解难度，不是很适合无相关背景者入门。
评分本书是自动推理领域中量词消去方向的一系列经典论文的集合。作者Dongming Wang是自动推理领域的权威之一，是开山鼻祖吴文俊先生的学生。本书侧重于介绍量词消去领域的一系列经典方法：Cylindric Algebraic Decomposition，Psydo-division，以及Comprehensive Gröbner System。前几篇存在不少公式与符号上的讹误，从而增大了理解难度，不是很适合无相关背景者入门。
评分本书是自动推理领域中量词消去方向的一系列经典论文的集合。作者Dongming Wang是自动推理领域的权威之一，是开山鼻祖吴文俊先生的学生。本书侧重于介绍量词消去领域的一系列经典方法：Cylindric Algebraic Decomposition，Psydo-division，以及Comprehensive Gröbner System。前几篇存在不少公式与符号上的讹误，从而增大了理解难度，不是很适合无相关背景者入门。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有