Elimination Methods pdf epub mobi txt 电子书下载 2024

☆☆☆☆☆
简体网页||繁体网页

Wang, D.

Springer Verlag

257

$ 129.95

Pap

Texts and Monographs in Symbolic Computation

9783211832417

图书标签: 量词消去计算机科学自动推理

喜欢 Elimination Methods 的读者还喜欢

下载链接在页面底部

点击这里下载

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-11-25

Elimination Methods epub 下载 mobi 下载 pdf 下载 txt 电子书下载 2024

Elimination Methods pdf epub mobi txt 电子书下载 2024

图书描述

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.

Elimination Methods 下载 mobi epub pdf txt 电子书

著者简介

图书目录

Elimination Methods pdf epub mobi txt 电子书下载

想要找书就要到小哈图书下载中心

qciss.net

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

用户评价

评分☆☆☆☆☆

本书是自动推理领域中量词消去方向的一系列经典论文的集合。作者Dongming Wang是自动推理领域的权威之一，是开山鼻祖吴文俊先生的学生。本书侧重于介绍量词消去领域的一系列经典方法：Cylindric Algebraic Decomposition，Psydo-division，以及Comprehensive Gröbner System。前几篇存在不少公式与符号上的讹误，从而增大了理解难度，不是很适合无相关背景者入门。

评分☆☆☆☆☆