東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Algorithms and complexity in mathema...

Fillion, Nicolas.

FindBook

Google Book

Amazon

博客來

Algorithms and complexity in mathematics, epistemology, and science = proceedings of 2015 and 2016 ACMES Conferences /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Algorithms and complexity in mathematics, epistemology, and science/ edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas.
其他題名:	proceedings of 2015 and 2016 ACMES Conferences /
其他作者:	Fillion, Nicolas.
出版者:	New York, NY :Springer New York : : 2019.,
面頁冊數:	xi, 294 p. :ill., digital ;24 cm.
內容註:	Introduction -- Ethics and the Continuum Hypothesis (J.R. Brown) -- How to Generate All Possible Rational Wilf-Zeilberger Pairs (S. Chen) -- Backward Error Analysis for Perturbation Methods (R.M. Corless, N. Fillion) -- Proof Verification Technology and Elementary Physics (E. Davis) -- An Applied/Computational Mathematician's View of Uncertainty Quantification for Complex Systems (M. Gunzburger) -- Dynamical Symmetries and Model Validation (B.C. Jantzen) -- Modeling the Biases in Last Digit Distributions of Consecutive Primes (D. Lichtblau) -- Computational Aspects of Hamburger's Theorem (Y. Matiyasevich) -- Effective Validity: A Generalized Logic for Stable Approximate Inference (R.H.C. Moir) -- Counterfactuals in the Real World (J. Woodward, M. Wilson)
Contained By:	Springer eBooks
標題:	Algorithms - Congresses. -
電子資源:	https://doi.org/10.1007/978-1-4939-9051-1
ISBN:	9781493990511

Algorithms and complexity in mathematics, epistemology, and science = proceedings of 2015 and 2016 ACMES Conferences /
Algorithms and complexity in mathematics, epistemology, and scienceproceedings of 2015 and 2016 ACMES Conferences /[electronic resource] :edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas. - New York, NY :Springer New York :2019. - xi, 294 p. :ill., digital ;24 cm. - Fields institute communications,821069-5265 ;. - Fields institute communications ;82..

Introduction -- Ethics and the Continuum Hypothesis (J.R. Brown) -- How to Generate All Possible Rational Wilf-Zeilberger Pairs (S. Chen) -- Backward Error Analysis for Perturbation Methods (R.M. Corless, N. Fillion) -- Proof Verification Technology and Elementary Physics (E. Davis) -- An Applied/Computational Mathematician's View of Uncertainty Quantification for Complex Systems (M. Gunzburger) -- Dynamical Symmetries and Model Validation (B.C. Jantzen) -- Modeling the Biases in Last Digit Distributions of Consecutive Primes (D. Lichtblau) -- Computational Aspects of Hamburger's Theorem (Y. Matiyasevich) -- Effective Validity: A Generalized Logic for Stable Approximate Inference (R.H.C. Moir) -- Counterfactuals in the Real World (J. Woodward, M. Wilson)

ACMES (Algorithms and Complexity in Mathematics, Epistemology, and Science) is a multidisciplinary conference series that focuses on epistemological and mathematical issues relating to computation in modern science. This volume includes a selection of papers presented at the 2015 and 2016 conferences held at Western University that provide an interdisciplinary outlook on modern applied mathematics that draws from theory and practice, and situates it in proper context. These papers come from leading mathematicians, computational scientists, and philosophers of science, and cover a broad collection of mathematical and philosophical topics, including numerical analysis and its underlying philosophy, computer algebra, reliability and uncertainty quantification, computation and complexity theory, combinatorics, error analysis, perturbation theory, experimental mathematics, scientific epistemology, and foundations of mathematics. By bringing together contributions from researchers who approach the mathematical sciences from different perspectives, the volume will further readers' understanding of the multifaceted role of mathematics in modern science, informed by the state of the art in mathematics, scientific computing, and current modeling techniques.

ISBN: 9781493990511

Standard No.: 10.1007/978-1-4939-9051-1doiSubjects--Topical Terms:

607038
Algorithms
--Congresses.

LC Class. No.: QA9.58 / .A446 2019

Dewey Class. No.: 518.1

Algorithms and complexity in mathematics, epistemology, and science = proceedings of 2015 and 2016 ACMES Conferences /
LDR:03185nmm a2200337 a 4500 001 2179542
003 DE-He213
005 20190808135006.0
006 m d
007 cr nn 008maaau
008 191122s2019 nyu s 0 eng d
020 $a 9781493990511 $q (electronic bk.)
020 $a 9781493990504 $q (paper)
024 7 $a 10.1007/978-1-4939-9051-1 $2 doi
035 $a 978-1-4939-9051-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.58 $b .A446 2019
072 7 $a PBKS $2 bicssc
072 7 $a MAT006000 $2 bisacsh
072 7 $a PBKS $2 thema
082 0 4 $a 518.1 $2 23
090 $a QA9.58 $b .A396 2019
245 0 0 $a Algorithms and complexity in mathematics, epistemology, and science $h [electronic resource] : $b proceedings of 2015 and 2016 ACMES Conferences / $c edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas.
260 $a New York, NY : $b Springer New York : $b Imprint: Springer, $c 2019.
300 $a xi, 294 p. : $b ill., digital ; $c 24 cm.
490 1 $a Fields institute communications, $x 1069-5265 ; $v 82
505 0 $a Introduction -- Ethics and the Continuum Hypothesis (J.R. Brown) -- How to Generate All Possible Rational Wilf-Zeilberger Pairs (S. Chen) -- Backward Error Analysis for Perturbation Methods (R.M. Corless, N. Fillion) -- Proof Verification Technology and Elementary Physics (E. Davis) -- An Applied/Computational Mathematician's View of Uncertainty Quantification for Complex Systems (M. Gunzburger) -- Dynamical Symmetries and Model Validation (B.C. Jantzen) -- Modeling the Biases in Last Digit Distributions of Consecutive Primes (D. Lichtblau) -- Computational Aspects of Hamburger's Theorem (Y. Matiyasevich) -- Effective Validity: A Generalized Logic for Stable Approximate Inference (R.H.C. Moir) -- Counterfactuals in the Real World (J. Woodward, M. Wilson)
520 $a ACMES (Algorithms and Complexity in Mathematics, Epistemology, and Science) is a multidisciplinary conference series that focuses on epistemological and mathematical issues relating to computation in modern science. This volume includes a selection of papers presented at the 2015 and 2016 conferences held at Western University that provide an interdisciplinary outlook on modern applied mathematics that draws from theory and practice, and situates it in proper context. These papers come from leading mathematicians, computational scientists, and philosophers of science, and cover a broad collection of mathematical and philosophical topics, including numerical analysis and its underlying philosophy, computer algebra, reliability and uncertainty quantification, computation and complexity theory, combinatorics, error analysis, perturbation theory, experimental mathematics, scientific epistemology, and foundations of mathematics. By bringing together contributions from researchers who approach the mathematical sciences from different perspectives, the volume will further readers' understanding of the multifaceted role of mathematics in modern science, informed by the state of the art in mathematics, scientific computing, and current modeling techniques.
650 0 $a Algorithms $v Congresses. $3 607038
650 0 $a Mathematics $x Congresses. $3 576217
650 0 $a Complexity (Philosophy) $v Congresses. $3 828485
650 0 $a Science $x Mathematics $x Congresses. $3 710333
650 0 $a Technological complexity $v Congresses. $3 919027
650 1 4 $a Computational Mathematics and Numerical Analysis. $3 891040
650 2 4 $a Epistemology. $3 896969
650 2 4 $a Math Applications in Computer Science. $3 891004
650 2 4 $a Combinatorics. $3 895617
700 1 $a Fillion, Nicolas. $3 3384808
700 1 $a Corless, Robert M. $3 731246
700 1 $a Kotsireas, Ilias S. $3 2191266
710 2 $a SpringerLink (Online service) $3 836513
711 2 $a ACMES Conference $d (2015 : $c Western University) $3 3384810
711 2 $a ACMES Conference $d (2016 : $c Western University) $3 3384811
773 0 $t Springer eBooks
830 0 $a Fields institute communications ; $v 82. $3 3384809
856 4 0 $u https://doi.org/10.1007/978-1-4939-9051-1
950 $a Mathematics and Statistics (Springer-11649)