Computer Aided Proofs in Analysis (Ima Volumes in Mathematics and Its Applications) pdf epub mobi txt 電子書下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

Kenneth R. Meyer

Springer

1991-01

251

USD 79.95

Hardcover

9780387974262

圖書標籤:

喜歡 Computer Aided Proofs in Analysis (Ima Volumes in Mathematics and Its Applications) 的讀者還喜歡

下載链接在页面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到小哈圖書下載中心

qciss.net

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

发表于2024-12-23

Computer Aided Proofs in Analysis (Ima Volumes in Mathematics and Its Applications) epub 下載 mobi 下載 pdf 下載 txt 電子書下載 2024

Computer Aided Proofs in Analysis (Ima Volumes in Mathematics and Its Applications) pdf epub mobi txt 電子書下載 2024

圖書描述

This volume is the proceedings of a scientific conference on the use of computers to do exact mathematics which was held at the University of Cincinnati, March 22-25, 1989. One group of papers deals with the use of general algebraic processors like Macsyma, Reduce, Scratchpad etc. to do precise computations in bifurcation analysis and related areas of analysis. Another group of papers deals with the development of the software to solve equations exactly, carry of explicit integrations etc. for these general software packages. A third group discusses the use of interval arithmetic algorithms and software to give rigorous proofs of mathematical theorems and give precise estimates of stabililty regions.

Computer Aided Proofs in Analysis (Ima Volumes in Mathematics and Its Applications) 下載 mobi epub pdf txt 電子書