Skip to main content

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.

  • Proceedings of the Third International Conference on Data and Knowledge Bases

    Improving Usability and Responsiveness
    • 1st Edition
    • C. Beeri + 2 more
    • English
    Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness compiles papers presented at the Third International Conference on Data and Knowledge Bases held in Jerusalem, Israel on June 28-30, 1988. This book discusses the management system for graph-like documents, selection of processing strategies for different recursive queries, and supporting concurrent access to facts in logic programs. The design considerations for a Prolog database engine, experience with the domain algebra, and two level transaction management in a multiprocessor database machine are also described. This publication likewise covers the non-deterministic choice in Datalog and locally balanced compact Trie Hashing. This compilation is a good source for researchers and specialists of disciplines related to computer science.
  • Theoretical Aspects of Reasoning About Knowledge

    Proceedings of the Fifth Conference (TARK 1994)
    • 1st Edition
    • Ronald Fagin
    • English
    Theoretical Aspects of Reasoning About Knowledge contains the proceedings of the Fifth Conference on Theoretical Aspects of Reasoning About Knowledge (TARK 1994) held in Pacific Grove, California, on March 13-16, 1994. The conference provided a forum for discussing the theoretical aspects of reasoning about knowledge and tackled topics ranging from the logic of iterated belief revision and backwards forward induction to information acquisition from multi-agent resources, infinitely epistemic logic, and coherent belief revision in games. Comprised of 23 chapters, this book begins with a review of situation calculus and a solution to the frame problem, along with the use of a regression method for reasoning about the effect of actions. A novel programming language for high-level robotic control is described, along with a knowledge-based framework for belief change. Subsequent chapters deal with consistent belief reasoning in the presence of inconsistency; an epistemic logic of situations; an axiomatic approach to the logical omniscience problem; and an epistemic proof system for parallel processes. Inductive learning, knowledge asymmetries, and convention are also examined. This monograph will be of interest to both students and practitioners in the fields of artificial intelligence and computer science.
  • Gait Analysis

    An Introduction
    • 1st Edition
    • Michael W. Whittle
    • English
    Gait Analysis: An Introduction focuses on the systematic study of human walking and its contributions in the medical management of diseases affecting the locomotor system. The book first covers normal gait and pathological gait. Discussions focus on common pathologies affecting gait, amputee gait, walking aids, particular gait abnormalities, gait in the elderly and the young, moments of force, energy consumption, gait cycle, muscular activity during gait, and optimization of energy usage. The manuscript then elaborates on the methods of gait analysis, including visual gait analysis, general gait parameters, timing the gait cycle, direct motion measurement systems, electrogoniometers, electromyography, accelerometers, gyroscopes, and force platforms. The publication tackles the applications of gait analysis, as well as clinical gait and scientific gait analysis, normal ranges for gait parameters, conversions between measurement units, and computer program for general gait parameters. The manuscript is a valuable source of data for students of physical therapy, bioengineering, orthopedics, rheumatology, neurology, and rehabilitation.
  • Matrix Calculus

    • 3rd Edition
    • E. Bodewig
    • English
    Matrix Calculus, Second Revised and Enlarged Edition focuses on systematic calculation with the building blocks of a matrix and rows and columns, shunning the use of individual elements. The publication first offers information on vectors, matrices, further applications, measures of the magnitude of a matrix, and forms. The text then examines eigenvalues and exact solutions, including the characteristic equation, eigenrows, extremum properties of the eigenvalues, bounds for the eigenvalues, elementary divisors, and bounds for the determinant. The text ponders on approximate solutions, as well as the decomposition of the matrix into two triangular matrices, choice of another pivotal element, Gauss-Doolittle process, Aitken's triple product, neighbor systems, errors and exactness of the solution, and complex systems. The publication also elaborates on the characteristic equation of the iteration processes, type of convergence of the iteration methods, speeding-up convergence by changing matrix, and methods for electronic computers. The determination of eigenvectors, pure methods, progressive algorithms, and deflation are also discussed. The manuscript is a helpful reference for researchers interested in matrix calculus.
  • Data Modelling and Process Modelling using the most popular Methods

    Covering SSADM, Yourdon, Inforem, Bachman, Information Engineering and 'Activity/Object' Diagramming Techniques
    • 1st Edition
    • Rosemary Rock-Evans
    • English
    Computer Weekly Professional Series: Data modeling and Process modeling: Using the Most Popular Methods focuses on the processes, methodologies, and approaches employed in data modeling and process modeling. The book first offers information on data modeling, how to do data modeling, and process modeling. Discussions focus on diagrammatic representation, main concepts of process modeling, merging the models, refining the data model, diagrammatic techniques, fundamental rules of data modeling, and other deliverables of data modeling. The text then examines how to do process modeling and improving a system using analysis deliverables. Topics include problems, causes and effects, events, obligations and objectives, verification methods, and refining the results. The manuscript reviews elementary activities, including structured text and access paths, updating the data model from the access paths and structured English, and other useful detailed deliverables of an elementary activity. The publication is a valuable source of data for researchers interested in data modeling and process modeling.
  • Modern General Topology

    • 2nd Edition
    • Jun-Iti Nagata
    • N. G. De Bruijn + 2 more
    • English
    Bibliotheca Mathematica: A Series of Monographs on Pure and Applied Mathematics, Volume VII: Modern General Topology focuses on the processes, operations, principles, and approaches employed in pure and applied mathematics, including spaces, cardinal and ordinal numbers, and mappings. The publication first elaborates on set, cardinal and ordinal numbers, basic concepts in topological spaces, and various topological spaces. Discussions focus on metric space, axioms of countability, compact space and paracompact space, normal space and fully normal space, subspace, product space, quotient space, and inverse limit space, convergence, mapping, and open basis and neighborhood basis. The book then ponders on compact spaces and related topics, as well as product of compact spaces, compactification, extensions of the concept of compactness, and compact space and the lattice of continuous functions. The manuscript tackles paracompact spaces and related topics, metrizable spaces and related topics, and topics related to mappings. Topics include metric space, paracompact space, and continuous mapping, theory of inverse limit space, theory of selection, mapping space, imbedding, metrizability, uniform space, countably paracompact space, and modifications of the concept of paracompactness. The book is a valuable source of data for mathematicians and researchers interested in modern general topology.
  • A First Course in Stochastic Processes

    • 1st Edition
    • Samuel Karlin
    • English
    A First Course in Stochastic Processes focuses on several principal areas of stochastic processes and the diversity of applications of stochastic processes, including Markov chains, Brownian motion, and Poisson processes. The publication first takes a look at the elements of stochastic processes, Markov chains, and the basic limit theorem of Markov chains and applications. Discussions focus on criteria for recurrence, absorption probabilities, discrete renewal equation, classification of states of a Markov chain, and review of basic terminologies and properties of random variables and distribution functions. The text then examines algebraic methods in Markov chains and ratio theorems of transition probabilities and applications. The manuscript elaborates on the sums of independent random variables as a Markov chain, classical examples of continuous time Markov chains, and continuous time Markov chains. Topics include differentiability properties of transition probabilities, birth and death processes with absorbing states, general pure birth processes and Poisson processes, and recurrence properties of sums of independent random variables. The book then ponders on Brownian motion, compounding stochastic processes, and deterministic and stochastic genetic and ecological processes. The publication is a valuable source of information for readers interested in stochastic processes.
  • Artificial Intelligence and Tutoring Systems

    Computational and Cognitive Approaches to the Communication of Knowledge
    • 1st Edition
    • Etienne Wenger
    • English
    Artificial Intelligence and Tutoring Systems: Computational and Cognitive Approaches to the Communication of Knowledge focuses on the cognitive approaches, methodologies, principles, and concepts involved in the communication of knowledge. The publication first elaborates on knowledge communication systems, basic issues, and tutorial dialogues. Concerns cover natural reasoning and tutorial dialogues, shift from local strategies to multiple mental models, domain knowledge, pedagogical knowledge, implicit versus explicit encoding of knowledge, knowledge communication, and practical and theoretical implications. The text then examines interactive simulations, existing CAI traditions, and learning environments. The manuscript elaborates on knowledge communication, didactics, and diagnosis. Topics include knowledge presentation and communication, pedagogical contexts, target levels of didactic operations, behavioral and epistemic diagnosis, and aspects of diagnostic experience. The publication is a dependable reference for researchers interested in the computational and cognitive approaches to the communication of knowledge.
  • Applied Nonlinear Analysis

    Proceedings of an International Conference on Applied Nonlinear Analysis, Held at the University of Texas at Arlington, Arlington, Texas, April 20–22, 1978
    • 1st Edition
    • V. Lakshmikantham
    • English
    Applied Nonlinear Analysis contains the proceedings of an International Conference on Applied Nonlinear Analysis, held at the University of Texas at Arlington, on April 20-22, 1978. The papers explore advances in applied nonlinear analysis, with emphasis on reaction-diffusion equations; optimization theory; constructive techniques in numerical analysis; and applications to physical and life sciences. In the area of reaction-diffusion equations, the discussions focus on nonlinear oscillations; rotating spiral waves; stability and asymptotic behavior; discrete-time models in population genetics; and predator-prey systems. In optimization theory, the following topics are considered: inverse and ill-posed problems with application to geophysics; conjugate gradients; and quasi-Newton methods with applications to large-scale optimization; sequential conjugate gradient-restoration algorithm for optimal control problems with non-differentiable constraints; differential geometric methods in nonlinear programming; and equilibria in policy formation games with random voting. In the area of constructive techniques in numerical analysis, numerical and approximate solutions of boundary value problems for ordinary and partial differential equations are examined, along with finite element analysis and constructive techniques for accretive and monotone operators. In addition, the book explores turbulent fluid flows; stability problems for Hopf bifurcation; product integral representation of Volterra equations with delay; weak solutions of variational problems, nonlinear integration on measures; and fixed point theory. This monograph will be helpful to students, practitioners, and researchers in the field of mathematics.
  • Linear Algebra

    • 1st Edition
    • R. R. Stoll + 1 more
    • English
    Linear Algebra is intended to be used as a text for a one-semester course in linear algebra at the undergraduate level. The treatment of the subject will be both useful to students of mathematics and those interested primarily in applications of the theory. The major prerequisite for mastering the material is the readiness of the student to reason abstractly. Specifically, this calls for an understanding of the fact that axioms are assumptions and that theorems are logical consequences of one or more axioms. Familiarity with calculus and linear differential equations is required for understanding some of the examples and exercises. This book sets itself apart from other similar textbooks through its dedication to the principle that, whenever possible, definitions and theorems should be stated in a form which is independent of the notion of the dimension of a vector space. A second feature of this book which is worthy of mention is the early introduction of inner product spaces and the associated metric concepts. Students soon feel at ease with this class of spaces because they share so many properties with physical space when equipped with a rectangular coordinate system. Finally, the book includes a chapter concerned with several applications to other fields of the theory that have been developed.