• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History

عنوان
Algorithms and complexity in mathematics, epistemology, and science :

پدید آورنده
editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.

موضوع
Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.

رده
QA9
.
58

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
1493990500
(Number (ISBN
1493990519
(Number (ISBN
1493990527
(Number (ISBN
9781493990504
(Number (ISBN
9781493990511
(Number (ISBN
9781493990528
Erroneous ISBN
9781493990504

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Algorithms and complexity in mathematics, epistemology, and science :
General Material Designation
[Book]
Other Title Information
proceedings of 2015 and 2016 ACMES Conferences /
First Statement of Responsibility
editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
New York, NY :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
[2019]

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
1 online resource :
Other Physical Details
illustrations

SERIES

Series Title
Fields Institute communications ;
Volume Designation
volume 82

INTERNAL BIBLIOGRAPHIES/INDEXES NOTE

Text of Note
Includes bibliographical references.

CONTENTS NOTE

Text of Note
Intro; Preface; Contents; Contributors; Ethics and the Continuum Hypothesis; 1 The Continuum Hypothesis; 2 Pure Versus Applied Mathematics; 3 Ethics for Mathematicians; 4 Mathematical Methods; 5 The Moral; 6 Facing Problems; 7 How Does the Refutation of CH Work?; References; Further Reading; How to Generate All Possible Rational Wilf-Zeilberger Pairs?; 1 Introduction; 2 Residue Criteria; 3 Structure Theorems; 3.1 The Differential Case; 3.2 The (q)-Shift Case; 3.3 The Mixed Case; 4 Conclusion; References; Backward Error Analysis for Perturbation Methods; 1 Introduction
Text of Note
2 The Basic Method from the BEA Point of View2.1 Regular Perturbation BEA-Style; 2.2 Conditioning and Sensitivity; 3 Algebraic Equations; 3.1 Regular Perturbation; 3.1.1 Scalar Equations; 3.1.2 Simple Computer Algebra Solution; 3.1.3 Systems of Algebraic Equations; 3.1.4 Solving Algebraic Systems by the Davidenko Equation; 3.2 Puiseux Series; 3.3 Singular Perturbation; 3.4 Optimal Backward Error; 3.5 A Hyperasymptotic Example; 4 Divergent Asymptotic Series; 5 Initial-Value Problems; 5.1 Duffing's Equation; 5.1.1 Regular Expansion; 5.1.2 Lindstedt's Method; 5.2 Morrison's Counterexample
Text of Note
4.5 The Grounding of Physics in Observation and Experiment4.6 Is the Complexity of Grounding Different in Physics than Math?; 4.7 Claims to Universality; 4.8 Argumentation in Physics; 4.8.1 Deduction from the Absolute Foundations; 4.8.2 Argumentation in Elementary Physics; 4.9 Reasoning About Things That Are Partially Understood; 5 An Example Word Problem; 6 Historical Context and Related Work; 6.1 Before Hilbert; 6.2 Hilbert's Sixth Problem and the Axiomatization of Physics; 6.3 Philosophy; 6.3.1 Is Pavel a Bad Reinvention of Logical Positivism?; 6.4 Artificial Intelligence
Text of Note
5.3 The Lengthening Pendulum5.4 Optimal Backward Error Again; 5.5 Vanishing Lag Delay DE; 6 Concluding Remarks; References; Proof Verification Technology and Elementary Physics; 1 Memories of Jonathan Borwein; 2 Mathematical Proof Verification Software; 3 Formal Proof and Proof Technology in Mathematics; 3.1 What Hasn't Been Done for Math; 3.2 Word Problems; 4 Physics; 4.1 The Potential Value of This Undertaking; 4.2 The Bayesian Formulation; 4.3 Straw Man: The Tee-Shirt Model of Pavel; 4.4 The Equations Are More Complicated than Their Tee-Shirt Version
Text of Note
6.4.1 Knowledge-Based Physical Reasoning6.4.2 AI Programs That Induce Scientific Theories; 6.4.3 Bayesian Inference of Structure; 6.4.4 Domingos and the Master Algorithm; 7 Potential Philosophical Impact; 8 Conclusions: Whither Pavel?; References; An Applied/Computational Mathematician's View of Uncertainty Quantification for Complex Systems; 1 Introduction; 2 Uncertainty Quantification (UQ); 3 Types of Input Noises; 4 Discretization of Stochastic Processes; 5 Approximation of Solutions of PDEs with Random Inputs; 6 Quo Vadis Uncertainty Quantification?; References
0
8
8
8
8

SUMMARY OR ABSTRACT

Text of Note
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.

ACQUISITION INFORMATION NOTE

Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9781493990511

OTHER EDITION IN ANOTHER MEDIUM

International Standard Book Number
9781493990504
International Standard Book Number
9781493990528

TOPICAL NAME USED AS SUBJECT

Algorithms, Congresses.
Complexity (Philosophy), Congresses.
Mathematics, Congresses.
Science-- Mathematics, Congresses.
Technological complexity, Congresses.
Algorithms.
Complexity (Philosophy)
MATHEMATICS-- Numerical Analysis.
Mathematics.
Science-- Mathematics.
Technological complexity.

(SUBJECT CATEGORY (Provisional

MAT-- 041000
PBKS
PBKS

DEWEY DECIMAL CLASSIFICATION

Number
518
.
1
Edition
23

LIBRARY OF CONGRESS CLASSIFICATION

Class number
QA9
.
58

PERSONAL NAME - ALTERNATIVE RESPONSIBILITY

Corless, Robert M.
Fillion, Nicolas,1981-
Kotsireas, Ilias

CORPORATE BODY NAME - ALTERNATIVE RESPONSIBILITY

ACMES Conference(2015 :, Western University)
ACMES Conference(2016 :, Western University)

ORIGINATING SOURCE

Date of Transaction
20200823035123.0
Cataloguing Rules (Descriptive Conventions))
pn

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival