Bailey has written several references works on high-performance computing and experimental mathematics, which are featured here (most recent listed last).
Abstract: "Experimental mathematics" means using advanced computing technology as a "laboratory" for mathematical research. This book presents the rationale and historical context of experimental mathematics, and includes a series of examples that best portray the experimental methodology, together with some of the numerical techniques used in this research. Numerous historical and biographical notes are also included.
Abstract: Following the lead of the first volume, this book gives numerous additional case studies of experimental mathematics in action, ranging from sequences, series, products, integrals, Fourier series, zeta functions, partitions, primes and polynomials. Some advanced numerical techniques are also presented.
Abstract: This is a CD-ROM with a hyperlinked, searchable PDF files of the above two books. This is the first time a major work of mathematics has appeared in this format. Amazon.com
Abstract: With the continued advance of computing power and accessibility, the view that "real mathematicians don't compute" no longer has any traction for a newer generation of mathematicians. The goal in this book is to present a coherent variety of accessible examples of modern mathematics where intelligent computing plays a significant role and in so doing to highlight some of the key algorithms and to teach some of the key experimental approaches.
Abstract: With contributions from some of the most notable experts in the field, this book presents current research in performance analysis. Performance analysis has grown into a full-fledged, sophisticated field of empirical science. Describing useful research in modern performance science and engineering, this book helps real-world users of parallel computer systems to better understand both the performance vagaries arising in scientific applications and the practical means for improving performance.
Abstract: David H. Bailey and Jonathan M. Borwein have collaborated on the subject of experimental mathematics for a quarter of a century. This book collects sixteen articles written together or separately and with coauthors. These works reflect Bailey and Borwein's work on and their views about the changing face of computer-assisted "high-performance mathematics".
Abstract: 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. 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.
Abstract: This book contains a compendium of 25 papers published since the 1970s dealing with pi and associated topics of mathematics and computer science. The collection begins with a Foreword by Bruce Berndt. Each contribution is preceded by a brief summary of its content as well as a short key word list indicating how the content relates to others in the collection. The volume includes articles on actual computations of pi, articles on mathematical questions related to pi (e.g., "Is pi normal?"), articles presenting new and often amazing techniques for computing digits of pi (e.g., the "BBP" algorithm for pi, which permits one to compute an arbitrary binary digit of pi without needing to compute any of the digits that came before), papers presenting important fundamental mathematical results relating to pi, and papers presenting new, high-tech techniques for analyzing pi (i.e., new graphical techniques that permit one to visually see if pi and other numbers are "normal").