Skip to main content
View Cart

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.

  • History of Programming Languages

    • 1st Edition
    • Richard L. Wexelblat
    • English
    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.

  • 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.

  • 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.

  • 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.

  • Tables of the Principal Unitary Representations of Fedorov Groups

    The Mathematical Tables Series
    • 1st Edition
    • D. K. Faddeyev
    • English
    Tables of the Principal Unitary Representations of Fedorov Groups contains tables of all the principal representations of Fedorov groups from which all irreducible unitary representations can be obtained with the help of some standard operations. The work originated at a seminar on mathematical crystallography held in 1952-1953 at the Faculty of Mathematics and Mechanics of the Leningrad State University. The book is divided into two parts. The first part discusses the relation between the theory of representations and the generalized Fedorov groups in Shubnikov's sense. It shows that all unidimensional representations of Fedorov groups are basic, and hence are given in the tables. In particular, all representations defining generalized Fedorov groups are given in the tables. However, it should be noted that the same generalized Fedorov group may correspond to different representations, if the latter cross each other in certain automorphisms of the Fedorov group to be represented. The second part contains the tables of the principal unitary representations of Fedorov groups.

  • Tables of Lommel's Functions of Two Pure Imaginary Variables

    Mathematical Tables Series
    • 1st Edition
    • L. S. Bark + 1 more
    • English
    Tables of Lommel's Functions of Two Pure Imaginary Variables provide tables on cylinder functions of two pure imaginary variables. These tables are computed on the "Strela" electronic computer and are checked and prepared in the Analytic Machine Department. The introductory part describes some properties of the Lommel's functions. This part also contains the integral forms and asymptotic expansions. Lommel's functions of two pure imaginary arguments are defined by the Neumann series. This text is of value to researchers and students.

  • British Commercial Computer Digest

    Pergamon Computer Data Series
    • 10th Edition
    • R. H. Williams
    • English
    British Commercial Computer Digest, Tenth Edition presents information on computers and peripheral equipment available in Britain. A list of computer manufacturers and selling organizations is included, along with all worldwide known computers installed as at the end of 1968. A table of speeds, memory storage capacity, and storage type of the computers is also presented. This book is divided into nine sections and begins by presenting a table of speeds of computers available in Britain, followed by information on manufacturers and vendors and their respective addresses. Computers available in Britain are then listed in alphabetical order, as well as peripheral equipment used either online or offline with the computers; memory storage capacity and storage type of the computers; computers installed and on order in Britain; and worldwide known computers installed as at the end of 1968. This monograph will be a useful resource for users, manufacturers, and vendors of computers and computer peripherals.

  • Water and Related Land Resource Systems

    IFAC Symposium, Cleveland, Ohio, U.S.A., 28-31 May 1980
    • 1st Edition
    • Y. Haimes + 1 more
    • English
    Water and Related Land Resource Systems covers IFAC Symposium that aims to address resource problem, as well as methodologies and procedures for respective solutions. Consists of 60 chapters, the book is organized in sessions according to the technical program of the conference. The book first tackles multiobjective planning in water and land resources, which is followed by acquisition and analysis of surface water quality data. The next part covers hierarchical water resource planning and management models, while the succeeding part is about environmental and ecological aspects of water and land resources. The fifth session discusses the impact of energy development on water and land resources. Session VI covers modeling and systems identification problems in water resources, and Session VII covers acquisition and analysis of hydrologic data. The eighth session tackles ground water and its conjunctive use with surface water, while the next session talks about sedimentation and land management. The tenth session is about multiobjective planning in water and land resources. Predicting and forecasting models in water resources is the topic of Session XI, while Session XII discusses evaluation and calibration problem in water resource modeling. The closing chapter covers water and land issues in urban areas. Professionals whose work revolves around recourse management and researchers whose work is in line with natural resource will find great information in this book that will be relevant in their trade.

Related subjects