rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Algorithms and Complexity in Mathematics, Epistemology, and Science
    sub title: Proceedings of 2015 and 2016 ACMES Conferences
  name:
    name part: Fillion, Nicolas.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Corless, Robert M.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: Kotsireas, Ilias S.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: xxu
    date issued: 2019
    edition: 1st ed. 2019.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XI, 294 p. 53 illus., 28 illus. in color. online resource.
  abstract: 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. .
  table of 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).
  note: edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas.
  subject:
    topic: Computer mathematics
  subject:
    topic: Epistemology
  subject:
    topic: Computer science-Mathematics
  subject:
    topic: Combinatorics
  subject:
    topic: Computational Mathematics and Numerical Analysis
  subject:
    topic: Epistemology
  subject:
    topic: Math Applications in Computer Science
  subject:
    topic: Combinatorics
  classification: QA71-90
  classification: 518
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Fields Institute Communications, 82
  identifier: 9781493990511
  identifier: https://doi.org/10.1007/978-1-4939-9051-1
  record info:
    record creation date: 190207
    record change date: 20191025122927.0
    record identifier: 978-1-4939-9051-1