Elimination Methods 2024 pdf epub mobi 电子书

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

Elimination Methods 2024 pdf epub mobi 电子书著者简介

Elimination Methods 电子书图书目录

下载链接在页面底部

点击这里下载

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

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-09-18

Elimination Methods 2024 pdf epub mobi 电子书

喜欢 Elimination Methods 电子书的读者还喜欢

Elimination Methods 电子书读后感

评分☆☆☆☆☆

类似图书点击查看全场最低价

出版者:Springer Verlag

作者:Wang, D.

出品人:

页数:257

译者:

出版时间:

价格:$ 129.95

装帧:Pap

isbn号码:9783211832417

丛书系列:Texts and Monographs in Symbolic Computation

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

Elimination Methods 2024 pdf epub mobi 电子书图书描述

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 2024 pdf epub mobi 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

Elimination Methods 2024 pdf epub mobi 用户评价

评分☆☆☆☆☆

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

评分☆☆☆☆☆