Borrow it
Coverart for item
The Resource Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences, edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas, (electronic resource)

Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences, edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas, (electronic resource)

Editor
Contributor
Summary
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.--
Language
eng
Work
Publication
Extent
1 online resource (XI, 294 pages)
Contents
  • 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)
Isbn
9781493990511
Link
https://eui.idm.oclc.org/login?url=https://doi.org/10.1007/978-1-4939-9051-1
Instance
Label
Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences
Title
Algorithms and Complexity in Mathematics, Epistemology, and Science
Title remainder
Proceedings of 2015 and 2016 ACMES Conferences
Statement of responsibility
edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas
Contributor
Editor
Editor
Subject
Language
eng
Summary
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.--
Member of
Assigning source
Provided by publisher
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
  • sovhaAQf3_Y
  • HiX2o-CdQzI
  • citjhutyLW0
Image bit depth
0
Literary form
non fiction
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorName
  • Fillion, Nicolas
  • Corless, Robert M
  • Kotsireas, Ilias S
Series statement
  • Fields Institute Communications,
  • Springer eBooks
  • Springer eBooks.
Series volume
82
http://library.link/vocab/subjectName
  • Computer science
  • Genetic epistemology
  • Computer science
  • Combinatorics
Label
Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences, edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas, (electronic resource)
Link
https://eui.idm.oclc.org/login?url=https://doi.org/10.1007/978-1-4939-9051-1
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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)
Control code
978-1-4939-9051-1
Dimensions
unknown
Extent
1 online resource (XI, 294 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Governing access note
Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9781493990511
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
53 illustrations, 28 illustrations in color.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)1084756988
Label
Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences, edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas, (electronic resource)
Link
https://eui.idm.oclc.org/login?url=https://doi.org/10.1007/978-1-4939-9051-1
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
  • cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
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)
Control code
978-1-4939-9051-1
Dimensions
unknown
Extent
1 online resource (XI, 294 pages)
File format
multiple file formats
Form of item
  • online
  • electronic
Governing access note
Use of this electronic resource may be governed by a license agreement which restricts use to the European University Institute community. Each user is responsible for limiting use to individual, non-commercial purposes, without systematically downloading, distributing, or retaining substantial portions of information, provided that all copyright and other proprietary notices contained on the materials are retained. The use of software, including scripts, agents, or robots, is generally prohibited and may result in the loss of access to these resources for the entire European University Institute community
Isbn
9781493990511
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
  • c
Other physical details
53 illustrations, 28 illustrations in color.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)1084756988

Subject

Member of

Library Locations

    • Badia FiesolanaBorrow it
      Via dei Roccettini 9, San Domenico di Fiesole, 50014, IT
      43.803074 11.283055

Library Links

Structured data from the Bibframe namespace is licensed under the Creative Commons Attribution 4.0 International License by European University Institute. Additional terms may apply to data associated with third party namespaces.
Processing Feedback ...