Skip to main content
Elsevier

Books in Mathematics

The Mathematics collection presents a range of foundational and advanced research content across applied and discrete mathematics, including fields such as Computational Mathematics; Differential Equations; Linear Algebra; Modelling & Simulation; Numerical Analysis; Probability & Statistics.

  • Mathematical Software

    • 1st Edition
    • John R. Rice
    • English
    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.

  • The Theory of Models

    Proceedings of the 1963 International Symposium at Berkeley
    • 1st Edition
    • J.W. Addison + 2 more
    • English
    Studies in Logic and the Foundations of Mathematics: The Theory of Models covers the proceedings of the International Symposium on the Theory of Models, held at the University of California, Berkeley on June 25 to July 11, 1963. The book focuses on works devoted to the foundations of mathematics, generally known as "the theory of models." The selection first discusses the method of alternating chains, semantic construction of Lewis's systems S4 and S5, and continuous model theory. Concerns include ordered model theory, 2-valued model theory, semantics, sequents, axiomatization, formulas, axiomatic approach to hierarchies, alternating chains, and difference hierarchies. The text also ponders on Boolean notions extended to higher dimensions, elementary theories with models without automorphisms, and applications of the notions of forcing and generic sets. The manuscript takes a look at a hypothesis concerning the extension of finite relations and its verification for certain special cases, theories of functors and models, model-theoretic methods in the study of elementary logic, and extensions of relational structures. The text also reviews relatively categorical and normal theories, algebraic theories, categories, and functors, denumerable models of theories with extra predicates, and non-standard models for fragments of number theory. The selection is highly recommended for mathematicians and researchers interested in the theory of models.

  • Game Theory and Experimental Games

    The Study of Strategic Interaction
    • 1st Edition
    • Andrew M. Colman
    • Michael Argyle
    • English
    Game Theory and Experimental Games: The Study of Strategic Interaction is a critical survey of the essential ideas of game theory and the findings of empirical research on strategic interaction. Some experiments using lifelike simulations of familiar kinds of strategic interactions are presented, and applications of game theory to the study of voting, the theory of evolution, and moral philosophy are discussed. Comprised of 13 chapters, this volume begins with an informal definition of game theory and an outline of the types of social situations to which it applies. Games of skill, games of chance, and games of strategy are considered. Games of strategy are further subdivided into coordination, zero-sum, and mixed-motive varieties. Subsequent chapters deal with one-person games in which a solitary decision maker is pitted against Nature; the competitive nature of two-person, zero-sum games; the relationship between game theory and experimental games; and the mixed-motive character of variable-sum games that generate intrapersonal and interpersonal conflicts. Experiments with prisoner's dilemma as well as coalition, auction, and social dilemma games are also considered. Finally, some applications of game theory are described. This book is designed for advanced undergraduates, graduate students, and relevant practitioners in social psychology, sociology, economics, and politics, and in some cases for a rather broader public.

  • Nonlinear Equations in Abstract Spaces

    Proceedings of an International Symposium on Nonlinear Equations in Abstract Spaces, Held at the University of Texas at Arlington, Arlington, Texas, June 8–10, 1977
    • 1st Edition
    • V. Lakshmikantham
    • English
    Many problems in partial differential equations which arise from physical models can be considered as ordinary differential equations in appropriate infinite dimensional spaces, for which elegant theories and powerful techniques have recently been developed. This book gives a detailed account of the current state of the theory of nonlinear differential equations in a Banach space, and discusses existence theory for differential equations with continuous and discontinuous right-hand sides. Of special importance is the first systematic presentation of the very important and complex theory of multivalued discontinuous differential equations.

  • Advances in Computer Chess

    Pergamon Chess Series
    • 1st Edition
    • M. R. B. Clarke
    • English
    Advances in Computer Chess 3 focuses on the mechanics involved in playing chess on computer. This book features an extensive discussion of the game wherein it is played in a different setting. The selection, which is composed of 13 chapters, features the extensive contributions of researchers who continuously search for ways to improve playing chess on computer. This book starts with the discussion of the basic principles and concepts that can impose changes on how the game is played. A discussion is devoted to the Belle chess hardware. What is clearly pointed out in this section is the speed of the program relative to responses made while playing. A comparison is made between the performance of human and computer in playing chess. The complexity of various computer moves are then elaborated by highlighting how these moves can alter the pace as well as the result of the game. The development of a program that is aimed at solving problems on how chess is played is also noted. This book is a sure hit for those who are fond of playing chess in any playing field.

  • British Commercial Computer Digest

    Pergamon Computer Data Series
    • 11th Edition
    • Sam Stuart
    • English
    British Commercial Computer Digest, Eleventh Edition lists the current computers available in Britain including the peripheral equipments used either on-line or off-line. It also gives information on manufacturers and selling organizations of the listed computers. This book also presents a table of memory storage capacity and types of the computers, as well as computers installed in Great Britain and their users. Lastly, lists of all world-wide known computers with number installed are also provided. This book gives sensible guidance on the computers in Great Britain, viewed through professional eyes, under increasingly complex conditions.

  • The European Computer Users Handbook 1968/69

    Pergamon Computer Data Series
    • 6th Edition
    • Sam Stuart
    • English
    The European Computer Users Handbook 1968/69, Sixth Edition is a handbook of computers and computer peripherals which could be used in Europe. Details of computers and peripheral devices, including analog computers, calculators, and data transmission equipment, are presented. This book is organized into 10 sections and begins by giving information on digital computers that could be used in Europe based on recommendations by Computer Consultants Limited. Comments on the particular computer manufacturer concerned are included and the particular item of equipment is described. Digital computers, electronic calculators, analog computers, peripheral equipment, and data transmission equipment available in Europe are then listed. The names and addresses of computer manufacturers and selling organizations concerned with computers used in Europe are also provided. Two tables are given: one for computer installations by number, import value, and home built value in sixteen European countries, and another for computer installations in the United States. This monograph will be a valuable resource for both computer users and manufacturers.

  • Nonlinear Finite Element Analysis and Adina

    Proceedings of the 4th ADINA Conference
    • 1st Edition
    • K. J. Bathe
    • English
    Nonlinear Finite Element Analysis and ADINA contains the proceedings of the Fourth ADINA Conference held at Massachusetts Institute of Technology on June 15-17, 1983. Separating the papers presented in the conference as chapters, this book first elucidates the use of ADINA for analysis of mines with explosive fills. Subsequent chapters explore the use of ADINA in soil mechanics; nonlinear shell analysis; analysis of bond between prestressed steel and concrete; determination and simulation of stable crack growth; offshore structures analysis; modeling of traveling-loads and time-dependent masses; and comparison of two slideline methods. Other notable applications of ADINA are also shown.

  • Higher Order Logic Theorem Proving and its Applications

    Proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications - HOL '92 Leuven, Belgium, 21-24 September 1992
    • 1st Edition
    • Volume 20
    • L.J.M. Claesen + 1 more
    • English
    The HOL system is a higher order logic theorem proving system implemented at Edinburgh University, Cambridge University and INRIA. Its many applications, from the verification of hardware designs at all levels to the verification of programs and communication protocols are considered in depth in this volume. Other systems based on higher order logic, namely Nuprl and LAMBDA are also discussed. Features given particular consideration are: novel developments in higher order logic and its implementations in HOL; formal design and verification methodologies for hardware and software; public domain availability of the HOL system. Papers addressing these issues have been divided as follows: Mathematical Logic; Induction; General Modelling and Proofs; Formalizing and Modelling of Automata; Program Verification; Hardware Description Language Semantics; Hardware Verification Methodologies; Simulation in Higher Order Logic; Extended Uses of Higher Order Logic. Academic and industrial researchers involved in formal hardware and software design and verification methods should find the publication especially interesting and it is hoped it will also provide a useful reference tool for those working at software institutes and within the electronics industries.

  • Relational Databases

    State of the Art Report 14:5
    • 1st Edition
    • D A Bell
    • English
    Relational Databases explores the major advances in relational databases and provides a balanced analysis of the state of the art in relational databases. Topics covered include capture and analysis of data placement requirements; distributed relational database systems; data dependency manipulation in database schemata; and relational database support for computer graphics and computer aided design. This book is divided into three sections and begins with an overview of the theory and practice of distributed systems, using the example of INGRES from Relational Technology as illustration. The following chapters focus on whether relational and relational-like systems actually meet business needs; IBM's Structured Query Language/Data System (SQL/DS); tools for database design and programming; and Secondary Access Methods and the problem of secondary index selection. A number of quantitative models for assessing the performance of physical databases are also described. This text concludes by assessing some of the most conspicuous trends in relational database research and development. This monograph will be of interest to database designers.

Related subjects