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 instance 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 material embodiment of a distinct intellectual or artistic creation found in European University Institute. This resource is a combination of several types including: Instance, Electronic.

Image

https://secure.syndetics.com/index.aspx?type=xw12&client=erounivinst&isbn=9781493990511&upc=&oclc=%28OCoLC%291084756988/LC.JPG

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

Title remainder

Proceedings of 2015 and 2016 ACMES Conferences

Medium

electronic resource

Statement of responsibility

edited by Nicolas Fillion, Robert M. Corless, Ilias S. Kotsireas

Instantiates

• Algorithms and Complexity in Mathematics, Epistemology, and Science : Proceedings of 2015 and 2016 ACMES Conferences

Publication

• New York, NY, Springer New York | Imprint: Springer, 2019

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

Record ID

u442486

Reformatting quality

access

Specific material designation

remote

System control number

(OCoLC)1084756988