Experimental mathematics

Experimental and Computational Mathematics

Author: Jonathan M. Borwein

Publisher: PSIpress

ISBN:

Category: Experimental mathematics

Page: 297

View: 971

A quiet revolution in mathematical computing and scientific visualization took place in the latter half of the 20th century. These developments have dramatically enhanced modes of mathematical insight and opportunities for "exploratory" computational experimentation. This volume collects the experimental and computational contributions of Jonathan and Peter Borwein over the past quarter century.
Computers

Computational Logic

Author: North Atlantic Treaty Organization. Scientific Affairs Division

Publisher: Springer Science & Business Media

ISBN:

Category: Computers

Page: 444

View: 628

Proceedings of the NATO Advanced Study Institute on Computational Logic, held in Marktoberdorf, Germany, July 29 - August 10, 1997
Mathematics

Issues in Logic, Operations, and Computational Mathematics and Geometry: 2011 Edition

Author:

Publisher: ScholarlyEditions

ISBN:

Category: Mathematics

Page: 993

View: 719

Issues in Logic, Operations, and Computational Mathematics and Geometry: 2011 Edition is a ScholarlyEditions™ eBook that delivers timely, authoritative, and comprehensive information about Logic, Operations, and Computational Mathematics and Geometry. The editors have built Issues in Logic, Operations, and Computational Mathematics and Geometry: 2011 Edition on the vast information databases of ScholarlyNews.™ You can expect the information about Logic, Operations, and Computational Mathematics and Geometry in this eBook to be deeper than what you can access anywhere else, as well as consistently reliable, authoritative, informed, and relevant. The content of Issues in Logic, Operations, and Computational Mathematics and Geometry: 2011 Edition has been produced by the world’s leading scientists, engineers, analysts, research institutions, and companies. All of the content is from peer-reviewed sources, and all of it is written, assembled, and edited by the editors at ScholarlyEditions™ and available exclusively from us. You now have a source you can cite with authority, confidence, and credibility. More information is available at http://www.ScholarlyEditions.com/.
Mathematics

Issues in Logic, Operations, and Computational Mathematics and Geometry: 2013 Edition

Author:

Publisher: ScholarlyEditions

ISBN:

Category: Mathematics

Page: 1225

View: 189

Issues in Logic, Operations, and Computational Mathematics and Geometry: 2013 Edition is a ScholarlyEditions™ book that delivers timely, authoritative, and comprehensive information about Random Structures and Algorithms. The editors have built Issues in Logic, Operations, and Computational Mathematics and Geometry: 2013 Edition on the vast information databases of ScholarlyNews.™ You can expect the information about Random Structures and Algorithms in this book to be deeper than what you can access anywhere else, as well as consistently reliable, authoritative, informed, and relevant. The content of Issues in Logic, Operations, and Computational Mathematics and Geometry: 2013 Edition has been produced by the world’s leading scientists, engineers, analysts, research institutions, and companies. All of the content is from peer-reviewed sources, and all of it is written, assembled, and edited by the editors at ScholarlyEditions™ and available exclusively from us. You now have a source you can cite with authority, confidence, and credibility. More information is available at http://www.ScholarlyEditions.com/.
Computer science

Computer Mathematics

Author: Ziming Li

Publisher: World Scientific

ISBN:

Category: Computer science

Page: 299

View: 716

This volume covers some of the most recent and significant advances in computer mathematics. Researchers, engineers, academics and graduate students interested in doing mathematics using computers will find it good reading as well as a valuable reference.
Science

Electrocatalysis: Computational, Experimental, and Industrial Aspects

Author: Carlos Fernando Zinola

Publisher: CRC Press

ISBN:

Category: Science

Page: 664

View: 615

Electrocatalysis applications are employed in a large number of industries worldwide, ranging from old technologies such as galvanoplasty to the most up-to-date deployments involving ultracapacitators. Recognizing electrocatalysis as a useful interfacial approach to a dynamic interdisciplinary science, Electrocatalysis: Computational, Experimental, and Industrial Aspects focuses on important developments in the field that are the most relevant to new technologies. Gathering the experiences of a collection of experts who have worked on the basic principles of electrocatalysis as it applies to theoretical physics and theoretical chemistry, the book gives readers a clear view of the problems inside electrocatalytic reactions, presenting both the limitations of electrocatalysis in the laboratory along with its possibilities in industry. Topics discussed include: The current uses of electrocatalysis Future perspectives on the field Surface physical properties and surface relaxation on noble and non-noble surfaces The quantum nature of the electron transfer Müller-Calandra, Srinivasan-Gileadi, and instantaneous nucleation-growth overlap models The production, storage, use, and delivery of hydrogen in industrial electrochemistry Theoretical approaches to current distribution on rough surfaces The use of microradiology to study electrodeposition Principles of electrochemical engineering, fuel cell reactors, and electrocatalytic reactor design Electrocatalysis of electroless plating Fundamental aspects of the corrosion of metals The book reviews four main electrochemical processes (hydrogen production, oxygen electrochemistry, energy conversion/production, and fine electroplating). Surface modified non-noble metal substrates and natural minerals as well as noble mineral catalysts are considered. The text goes beyond other books, which merely focus on progress in the application of surface science and ultra high vacuum techniques to electrochemistry. Instead, this volume offers potential industrial applications of these findings, making it a unique reference for professionals and academia alike.
Mathematics

Computational and Analytical Mathematics

Author: David H. Bailey

Publisher: Springer Science & Business Media

ISBN:

Category: Mathematics

Page: 701

View: 953

The research of Jonathan Borwein has had a profound impact on optimization, functional analysis, operations research, mathematical programming, number theory, and experimental mathematics. Having authored more than a dozen books and more than 300 publications, Jonathan Borwein is one of the most productive Canadian mathematicians ever. His research spans pure, applied, and computational mathematics as well as high performance computing, and continues to have an enormous impact: MathSciNet lists more than 2500 citations by more than 1250 authors, and Borwein is one of the 250 most cited mathematicians of the period 1980-1999. He has served the Canadian Mathematics Community through his presidency (2000–02) as well as his 15 years of editing the CMS book series. Jonathan Borwein’s vision and initiative have been crucial in initiating and developing several institutions that provide support for researchers with a wide range of scientific interests. A few notable examples include the Centre for Experimental and Constructive Mathematics and the IRMACS Centre at Simon Fraser University, the Dalhousie Distributed Research Institute at Dalhousie University, the Western Canada Research Grid, and the Centre for Computer Assisted Research Mathematics and its Applications, University of Newcastle. The workshops that were held over the years in Dr. Borwein’s honor attracted high-caliber scientists from a wide range of mathematical fields. This present volume is an outgrowth of the workshop on ‘Computational and Analytical Mathematics’ held in May 2011 in celebration of Dr. Borwein’s 60th Birthday. The collection contains various state-of-the-art research manuscripts and surveys presenting contributions that have risen from the conference, and is an excellent opportunity to survey state-of-the-art research and discuss promising research directions and approaches.
Mathematics

Proof and Other Dilemmas

Author: Roger Simons

Publisher: MAA

ISBN:

Category: Mathematics

Page: 346

View: 146

For the majority of the twentieth century, philosophers of mathematics focused their attention on foundational questions. However, in the last quarter of the century they began to return to basics, and two new schools of thought were created: social constructivism and structuralism. The advent of the computer also led to proofs and development of mathematics assisted by computer, and to questions concerning the role of the computer in mathematics. This book of sixteen original essays is the first to explore this range of new developments in the philosophy of mathematics, in a language accessible to mathematicians. Approximately half the essays were written by mathematicians, and consider questions that philosophers have not yet discussed. The other half, written by philosophers of mathematics, summarise the discussion in that community during the last 35 years. A connection is made in each case to issues relevant to the teaching of mathematics.
Mathematics

Organic Mathematics

Author: Organic Mathematics Workshop (1995 : Simon Fraser University)

Publisher: American Mathematical Soc.

ISBN:

Category: Mathematics

Page: 412

View: 560

This volume is the hardcopy version of the electronic manuscript, Proceedings of the Organic Mathematics Workshop held at Simon Fraser University in December 1995 (www.cecm.sfu.ca/organics). The book provides a fixed, easily referenced, and permanent version of what is otherwise an evolving document. Contained in this work is a collection of articles on experimental and computational mathematics contributed by leading mathematicians around the world. The papers span a variety of mathematical fields - from juggling to differential equations to prime number theory. The book also contains biographies and photos of the contributing mathematicians and an in-depth characterization of organic mathematics.