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)
Resource Information
The item 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) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in European University Institute.This item is available to borrow from 1 library branch.
Resource Information
The item 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) represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in European University Institute.
This item is available to borrow from 1 library branch.
 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
 Extent
 1 online resource (XI, 294 pages)
 Contents

 Introduction
 Ethics and the Continuum Hypothesis (J.R. Brown)
 How to Generate All Possible Rational WilfZeilberger 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
 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
 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.
 Assigning source
 Provided by publisher
 http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt

 sovhaAQf3_Y
 HiX2oCdQzI
 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)
 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 WilfZeilberger 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
 9781493990511
 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, noncommercial 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)
 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 WilfZeilberger 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
 9781493990511
 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, noncommercial 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
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.eui.eu/portal/AlgorithmsandComplexityinMathematics/TcUSYoU9zlY/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.eui.eu/portal/AlgorithmsandComplexityinMathematics/TcUSYoU9zlY/">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)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.eui.eu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.eui.eu/">European University Institute</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item 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)
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.eui.eu/portal/AlgorithmsandComplexityinMathematics/TcUSYoU9zlY/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.eui.eu/portal/AlgorithmsandComplexityinMathematics/TcUSYoU9zlY/">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)</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.eui.eu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.eui.eu/">European University Institute</a></span></span></span></span></div>