Interactive Systems for Experimental Applied Mathematics is a collection of papers presented at the 1967 Association for Computing Machinery (ACM) Inc. Symposium on Interactive Systems for Experimental Mathematics, held in Washington, D.C. in conjunction with the ACM National Meeting. This book is organized into five parts encompassing 46 chapters. The opening part deals with the general criteria for interactive on-line systems that seem most important for the experimental solution of mathematical problems. This part specifically describes the AMTRAN, REDUCE, EASL, POSE, VENUS, and CHARYBDIS computer systems and languages. The next two parts cover the components of interactive systems, including coherent programming, interactive console, mathematical symbol processing, message system, and computer-aided instruction. The fourth part examines a scheme for permitting a user of conventional procedural programming languages, namely, FORTRAN, to test actual error propagation in numerical calculations. This part also describes the features of Analyst Assistance Program, an on-line graphically oriented conversational computing system designed to perform small nonrecurring numerical computations. The concluding part presents several implications of selected computer systems, the resulting problems, and their proposed solutions. This book is of great benefit to computer scientists and engineers, mathematicians, and undergraduate and graduate students in applied mathematics.

Talks from the International Conference on Computers and Mathematics held July 29-Aug. 1, 1986, Stanford U. Some are focused on the past and future roles of computers as a research tool in such areas as number theory, analysis, special functions, combinatorics, algebraic geometry, topology, physics,

Mathematical Software deals with software designed for mathematical applications such as Fortran, CADRE, SQUARS, and DESUB. The distribution and sources of mathematical software are discussed, along with number representation and significance monitoring. User-modifiable software and non-standard arithmetic programs are also considered. Comprised of nine chapters, this volume begins with a historical background in the form of a chronological list of events that trace the development of computing in general and mathematical software in particular. The next chapter examines where and how mathematical software is being created and how it is being disseminated to eventual consumers. A number of important shortcomings are identified. The future of mathematical software and the challenges facing mathematical software are then discussed. Subsequent chapters focus on the point of view of people outside the professional community of mathematical software; the monitoring of significance in computation and its relation to number representation; libraries of mathematical software; and the automation of numerical analysis. Eleven algorithms for numerical quadrature are also compared. This book should be of considerable interest to students and specialists in the fields of mathematics and computer science.

History of Programming Languages presents information pertinent to the technical aspects of the language design and creation. This book provides an understanding of the processes of language design as related to the environment in which languages are developed and the knowledge base available to the originators. Organized into 14 sections encompassing 77 chapters, this book begins with an overview of the programming techniques to use to help the system produce efficient programs. This text then discusses how to use parentheses to help the system identify identical subexpressions within an expression and thereby eliminate their duplicate calculation. Other chapters consider FORTRAN programming techniques needed to produce optimum object programs. This book discusses as well the developments leading to ALGOL 60. The final chapter presents the biography of Adin D. Falkoff. This book is a valuable resource for graduate students, practitioners, historians, statisticians, mathematicians, programmers, as well as computer scientists and specialists.

This volume contains 19 contributions from the International Symposium for Computational Science, 1999. Topics covered include delivery mechanisms for numerial algorithms, intelligent systems for recommending scientific software and the architecture of scientific problem-solving environments.

Engineering has long been thought of by the public as a profession tra ditionally categorized into such branches as electrical, mechanical, chemical, industrial, civil, etc. This classification has served its purpose for the past half century; but the last decade has witnessed a tremendous change. A continuous transition from the practical to the theoretical has made technology overlap with science, and the enlargement of scope and broad ened diversification have smeared the boundaries between traditional engi neering and scientific fields. Engineering is rapidly becoming a diversified, multidisciplinary field of scientific endeavor. This has prompted us to regard modern engineering as a science, which has as its ingredients materials, energy, and information. In our complex and technologically-oriented society organizations are flooded with an enormous amount of management information. We are now faced with problems concerning the efficient use of communicated knowledge. The steady growth in the magnitude and complexity of informa tion systems necessitates the development of new theories and techniques for solving these information problems. We demand instant access to pre viously recorded information for decision making, and we require new meth ods for analysis, recognition, processing, and display. As a consequence, information science has evolved out of necessity. Concerned with the theoretical basis of the organization, control, stor age, retrieval, processing, and communication of information both by natural and artificial systems, information science is multidisciplinary in character. It covers a vast area of subject matter in the physical and biological sciences.

This book constitutes the thoroughly refereed post-proceedings of the 4th International Conference on Mathematical Knowledge Management. The 26 revised full papers presented were carefully selected during two rounds of reviewing and improvement from 38 submissions. The papers cover mathematical knowledge management. Topics range from foundations and the representational and document-structure aspects of mathematical knowledge, over process questions like authoring, migration, and consistency management by automated theorem proving to applications in e-learning and case studies.

The essential reference to SuperCollider, a powerful, flexible, open-source, cross-platform audio programming language. SuperCollider is one of the most important domain-specific audio programming languages, with potential applications that include real-time interaction, installations, electroacoustic pieces, generative music, and audiovisuals. The SuperCollider Book is the essential reference to this powerful and flexible language, offering students and professionals a collection of tutorials, essays, and projects. With contributions from top academics, artists, and technologists that cover topics at levels from the introductory to the specialized, it will be a valuable sourcebook both for beginners and for advanced users. SuperCollider, first developed by James McCartney, is an accessible blend of Smalltalk, C, and further ideas from a number of programming languages. Free, open-source, cross-platform, and with a diverse and supportive developer community, it is often the first programming language sound artists and computer musicians learn. The SuperCollider Book is the long-awaited guide to the design, syntax, and use of the SuperCollider language. The first chapters offer an introduction to the basics, including a friendly tutorial for absolute beginners, providing the reader with skills that can serve as a foundation for further learning. Later chapters cover more advanced topics and particular topics in computer music, including programming, sonification, spatialization, microsound, GUIs, machine listening, alternative tunings, and non-real-time synthesis; practical applications and philosophical insights from the composer's and artist's perspectives; and "under the hood,” developer's-eye views of SuperCollider's inner workings. A Web site accompanying the book offers code, links to the application itself and its source code, and a variety of third-party extras, extensions, libraries, and examples.