Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Algorithms and Complexity in Mathema...
~
Fillion, Nicolas.
Algorithms and Complexity in Mathematics, Epistemology, and Science = Proceedings of 2015 and 2016 ACMES Conferences /
Record Type:
Language materials, printed : Monograph/item
Title/Author:
Algorithms and Complexity in Mathematics, Epistemology, and Science/ edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas.
Reminder of title:
Proceedings of 2015 and 2016 ACMES Conferences /
other author:
Fillion, Nicolas.
Description:
XI, 294 p. 53 illus., 28 illus. in color.online resource. :
Contained By:
Springer Nature eBook
Subject:
Computer mathematics. -
Online resource:
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 Science
Proceedings of 2015 and 2016 ACMES Conferences /[electronic resource] :edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas. - 1st ed. 2019. - XI, 294 p. 53 illus., 28 illus. in color.online resource. - Fields Institute Communications,821069-5265 ;. - Fields Institute Communications,77.
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:
1199796
Computer mathematics.
LC Class. No.: QA71-90
Dewey Class. No.: 518
Algorithms and Complexity in Mathematics, Epistemology, and Science = Proceedings of 2015 and 2016 ACMES Conferences /
LDR
:03513nam a22003975i 4500
001
1016139
003
DE-He213
005
20200704130737.0
007
cr nn 008mamaa
008
210106s2019 xxu| s |||| 0|eng d
020
$a
9781493990511
$9
978-1-4939-9051-1
024
7
$a
10.1007/978-1-4939-9051-1
$2
doi
035
$a
978-1-4939-9051-1
050
4
$a
QA71-90
072
7
$a
PBKS
$2
bicssc
072
7
$a
MAT006000
$2
bisacsh
072
7
$a
PBKS
$2
thema
082
0 4
$a
518
$2
23
245
1 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.
250
$a
1st ed. 2019.
264
1
$a
New York, NY :
$b
Springer New York :
$b
Imprint: Springer,
$c
2019.
300
$a
XI, 294 p. 53 illus., 28 illus. in color.
$b
online resource.
336
$a
text
$b
txt
$2
rdacontent
337
$a
computer
$b
c
$2
rdamedia
338
$a
online resource
$b
cr
$2
rdacarrier
347
$a
text file
$b
PDF
$2
rda
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
Computer mathematics.
$3
1199796
650
0
$a
Epistemology.
$3
671538
650
0
$a
Computer science—Mathematics.
$3
1253519
650
0
$a
Combinatorics.
$3
669353
650
1 4
$a
Computational Mathematics and Numerical Analysis.
$3
669338
650
2 4
$a
Math Applications in Computer Science.
$3
669887
700
1
$a
Fillion, Nicolas.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1079559
700
1
$a
Corless, Robert M.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
1079558
700
1
$a
Kotsireas, Ilias S.
$4
edt
$4
http://id.loc.gov/vocabulary/relators/edt
$3
792628
710
2
$a
SpringerLink (Online service)
$3
593884
773
0
$t
Springer Nature eBook
776
0 8
$i
Printed edition:
$z
9781493990504
776
0 8
$i
Printed edition:
$z
9781493990528
830
0
$a
Fields Institute Communications,
$x
1069-5265 ;
$v
77
$3
1254613
856
4 0
$u
https://doi.org/10.1007/978-1-4939-9051-1
912
$a
ZDB-2-SMA
912
$a
ZDB-2-SXMS
950
$a
Mathematics and Statistics (SpringerNature-11649)
950
$a
Mathematics and Statistics (R0) (SpringerNature-43713)
based on 0 review(s)
Multimedia
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login