This book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use of the internet as a site of proof learning. Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era. The reality is quite different. Digital technologies have transformed how mathematicians work together, how proof is taught in schools and universities, and even the nature of proof itself. Checking billions of cases in extremely large but finite sets, impossible a few decades ago, has now become a standard method of proof. Distributed proving, by teams of mathematicians working independently on sections of a problem, has become very much easier as digital communication facilitates the sharing and comparison of results. Proof assistants and dynamic proof environments have influenced the verification or refutation of conjectures, and ultimately how and why proof is taught in schools. And techniques from computer science for checking the validity of programs are being used to verify mathematical proofs. Chapters in this book include not only research reports and case studies, but also theoretical essays, reviews of the state of the art in selected areas, and historical studies. The authors are experts in the field.

This book presents chapters exploring the most recent developments in the role of technology in proving. The full range of topics related to this theme are explored, including computer proving, digital collaboration among mathematicians, mathematics teaching in schools and universities, and the use of the internet as a site of proof learning. Proving is sometimes thought to be the aspect of mathematical activity most resistant to the influence of technological change. While computational methods are well known to have a huge importance in applied mathematics, there is a perception that mathematicians seeking to derive new mathematical results are unaffected by the digital era. The reality is quite different. Digital technologies have transformed how mathematicians work together, how proof is taught in schools and universities, and even the nature of proof itself. Checking billions of cases in extremely large but finite sets, impossible a few decades ago, has now become a standard method of proof. Distributed proving, by teams of mathematicians working independently on sections of a problem, has become very much easier as digital communication facilitates the sharing and comparison of results. Proof assistants and dynamic proof environments have influenced the verification or refutation of conjectures, and ultimately how and why proof is taught in schools. And techniques from computer science for checking the validity of programs are being used to verify mathematical proofs. Chapters in this book include not only research reports and case studies, but also theoretical essays, reviews of the state of the art in selected areas, and historical studies. The authors are experts in the field.

Get a thorough review of vital research issues! Fundamentals of Business Marketing Research examines recent industrial/business research, evaluates its current effectiveness, and offers suggestions for future use. This unique book includes and is based on Business Marketing: A Twenty Year Review, a thorough study of industrial/business research from 1978-1997 with critical commentary from a distinguished panel of business academics and the response of the study's authors. The combination of critiques, insights, and viewpoints will challenge you to think beyond the traditional role of B2B marketing into a future that's anything but business as usual. Through an unusual format that gives you access to critical academic analysis, Fundamentals of Business Marketing Research presents a comprehensive review of vital research areas, including marketing to businesses/institutions/governments; buyer-seller relationships; computer use for business marketing; industrial segmentation; channel management and development; physical distribution; advertising; and public relations. The book's give-and-take is equally focused on areas that have traditionally received a larger share of the research effort (organizational buyer behavior, business marketing strategy and planning, industrial selling and sales management) and those that have taken a back seat in terms of research attention (computers and ethical business marketing). The original study, its criticisms, and the authors' subsequent assessment spotlight major themes, individual contributions, and future trends in major topic areas, including: business marketing strategy organizational buying behavior and purchasing management business marketing research methodology products/services pricing management issues distribution/logistics and supply chain management promotion Fundamentals of Business Marketing Research is equally effective as a practical guide for professionals and researchers, and as an academic text for doctoral studies.