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.

  • Science, Computers, and the Information Onslaught

    A Collection of Essays
    • 1st Edition
    • Donald M. Kerr + 2 more
    • English
    Science, Computers, and the Information Onslaught: A Collection of Essays covers the proceedings of the 1981 meeting on “Science and the Information Onslaught”, held at Los Alamos, New Mexico. This book is organized into five parts encompassing 19 chapters. The first part deals with the problems of measurement and the uses of information in decisions concerning national security. This part also emphasizes the dependence of survival on technological progress. The next part examines the foundations of information theory, the interaction between psychological concepts and the mathematical theories of automata, and the major problems in robotics. These topics are followed by discussions of the efforts to codify languages in formal grammatical systems and the past misuse of irrelevantly detailed information in decision making, specifically the use and misuse of information in government decisions about technological projects. The remaining parts consider the project of enhancing human abilities by the insertion of silicon chips in the body. These parts also assess the implications of a microelectronic technology capable of producing chips bearing millions of logically active circuit elements. Accounts of cryptanalytic successes in World War II are also included. This book will be of value to mathematicians, physicists, linguistics, and computer scientists.
  • Topics in Multivariate Approximation

    • 1st Edition
    • C. K. Chui + 2 more
    • English
    Topics in Multivariate Approximation contains the proceedings of an international workshop on multivariate approximation held at the University of Chile in Santiago, Chile, on December 15-19, 1986. Leading researchers in the field discussed several problem areas related to multivariate approximation and tackled topics ranging from multivariate splines and fitting of scattered data to tensor approximation methods and multivariate polynomial approximation. Numerical grid generation and finite element methods were also explored, along with constrained interpolation and smoothing. Comprised of 22 chapters, this book first describes the application of Boolean methods of approximation in combination with the theory of right invertible operators to bivariate Fourier expansions. The reader is then introduced to ill-posed problems in multivariate approximation; interpolation of scattered data by radial functions; and shape-preserving surface interpolation. Subsequent chapters focus on approximation by harmonic functions; numerical generation of nested series of general triangular grids; triangulation methods; and inequalities arising from best local approximations in rectangles. A bibliography of multivariate approximation concludes the book. This monograph will be of interest to mathematicians.
  • Statistical Decision Theory and Related Topics

    Proceedings of a Symposium Held at Purdue University, May 17-19, 1976
    • 1st Edition
    • Shanti S. Gupta + 1 more
    • English
    Statistical Decision Theory and Related Topics II is a compendium of papers presented at an international symposium on Statistical Decision Theory and Related Topics held at Purdue University in May, 1976. The researchers invited to participate, and to author papers for this volume, are among the leaders in the field of Statistical Decision Theory. This collection features works on general decision theory, multiple decision theory, optimal experimental design, and robustness. Mathematicians and statisticians will find the book highly insightful and informative.
  • Metric Affine Geometry

    • 1st Edition
    • Ernst Snapper + 1 more
    • English
    Metric Affine Geometry focuses on linear algebra, which is the source for the axiom systems of all affine and projective geometries, both metric and nonmetric. This book is organized into three chapters. Chapter 1 discusses nonmetric affine geometry, while Chapter 2 reviews inner products of vector spaces. The metric affine geometry is treated in Chapter 3. This text specifically discusses the concrete model for affine space, dilations in terms of coordinates, parallelograms, and theorem of Desargues. The inner products in terms of coordinates and similarities of affine spaces are also elaborated. The prerequisites for this publication are a course in linear algebra and an elementary course in modern algebra that includes the concepts of group, normal subgroup, and quotient group. This monograph is suitable for students and aspiring geometry high school teachers.
  • Theory of Machines and Computations

    Proceedings of an International Symposium on the Theory of Machines and Computations Held at Technion in Haifa, Israel, on August 16–19, 1971
    • 1st Edition
    • Zvi Kohavi + 1 more
    • English
    Theory of Machines and Computations consists of papers presented at the International Symposium on the Theory of Machines and Computations, held at Technion-Israel Institute of Technology in Haifa, Israel, in August 1971. This book is organized into five main sections—computabili... theory, formal and stochastic languages, finite automata, fault-detection experiments, and switching theory. In these sections, this compilation specifically discusses the computationally complex and pseudo-random zero-one valued functions and rate of convergence of local iterative schemes. The simple syntactic operators on full semiAFLs, whirl decomposition of stochastic systems, and existence of a periodic analogue of a finite automaton are also elaborated. This text likewise covers the theorems on additive automata, fault location in iterative logic arrays, and tree-threshold-synth... of ternary functions. This publication is useful to practitioners and specialists interested in the theory of machines and computations.
  • Mathematical Techniques of Applied Probability

    Discrete Time Models: Basic Theory
    • 1st Edition
    • Jeffrey J. Hunter
    • J. William Schmidt
    • English
    Mathematical Techniques of Applied Probability, Volume 1: Discrete Time Models: Basic Theory provides information pertinent to the basic theory of discrete time models. This book introduces the tools of generating functions and matrix theory to facilitate a detailed study of such models. Organized into five chapters, this volume begins with an overview of the elementary theory of probability for discrete random variables. This text then reviews the concepts of convergence, absolute convergence, uniform convergence, continuity, differentiation, and integration. Other chapters consider the occurrence of general patterns of successes and failures in Bernoulli trials. This book discusses as well the matrix theory, which is used in the study of stochastic processes, particularly in the analysis of the behavior of Markov chains. The final chapter deals with the properties of a special class of discrete time chains. This book is a valuable resource for students and teachers.
  • Elementary Functions and Analytic Geometry

    • 1st Edition
    • Harley Flanders
    • English
    Elementary Functions and Analytic Geometry is an introduction to college mathematics, with emphasis on elementary functions and analytic geometry. It aims to provide a working knowledge of basic functions (polynomial, rational, exponential, logarithmic, and trigonometric); graphing techniques and the numerical aspects and applications of functions; two- and three-dimensional vector methods; and complex numbers, mathematical induction, and the binomial theorem. Comprised of 13 chapters, this book begins with a discussion on functions and graphs, paying particular attention to quantities measured in the real number system. The next chapter deals with linear and quadratic functions as well as some of their applications. Tips on graphing are offered. Subsequent chapters focus on polynomial functions, along with graphs of factored polynomials; rational functions; exponential and logarithm functions; and trigonometric functions. Identities and inverse functions, vectors, and trigonometry are also explored, together with complex numbers and solid analytic geometry. The book concludes by considering mathematical induction, binomial coefficients, and the binomial theorem. This monograph will be a useful resource for undergraduate students of mathematics and algebra.
  • Combinatorics on Words

    Progress and Perspectives
    • 1st Edition
    • Larry J. Cummings
    • English
    Combinatorics on Words: Progress and Perspectives covers the proceedings of an international meeting by the same title, held at the University of Waterloo, Canada on August 16-22, 1982. This meeting highlights the diverse aspects of combinatorics on words, including the Thue systems, topological dynamics, combinatorial group theory, combinatorics, number theory, and computer science. This book is organized into four parts encompassing 19 chapters. The first part describes the Thue systems with the Church-Rosser property. A Thue system will be called “Church-Rosser” if two strings are congruent with respect to that system if and only if they have a common descendant, that is, a string that can be obtained applying only rewriting rules that reduce length. The next part deals with the problems related to the encoding of codes and the overlapping of words in rational languages. This part also explores the features of polynomially bounded DOL systems yield codes. These topics are followed by discussions of some combinatorial properties of metrics over the free monoid and the burnside problem of semigroups of matrices. The last part considers the ambiguity types of formal grammars, finite languages, computational complexity of algebraic structures, and the Bracket-context tree functions. This book will be of value to mathematicians and advance undergraduate and graduate students.
  • Object-Oriented Simulation with Hierarchical, Modular Models

    Intelligent Agents and Endomorphic Systems
    • 1st Edition
    • Bernard P. Zeigler
    • English
    Object-Oriented Simulation with Hierarchical, Modular Models: Intelligent Agents and Endomorphic Systems describes an approach to object-oriented discrete event simulation and the concepts of hierarchical, modular model construction, The implementation of the concepts of multifaceted modeling methodology in the DEVS-Scheme modeling and simulation environment is discussed. The use of the DEVS-Scheme environment in modeling artificial intelligent agents is also considered, along with the concept of endomorphism to characterize the application of self-embedded models, including models of self. Comprised of 15 chapters, this book begins with an overview of the dimensions of knowledge representation in simulation environments, followed by a discussion on object-oriented programming as well as the concepts of modular, hierarchical models and the system entity structure. Subsequent chapters focus on digraph-models and experimental frames; DEVS formalism and DEVS-Scheme simulation environment; a model base for simple multi-computer architectures; and rule-based specification of atomic models. Model bases in endomorphic systems and intelligent agents are also examined. This monograph will be of interest to simulation theorists as well as practitioners and researchers in the fields of artificial intelligence, systems engineering, computer science and engineering, and operations research.
  • Algebra

    • 1st Edition
    • Harley Flanders + 1 more
    • English
    Algebra presents the essentials of algebra with some applications. The emphasis is on practical skills, problem solving, and computational techniques. Topics covered range from equations and inequalities to functions and graphs, polynomial and rational functions, and exponentials and logarithms. Trigonometric functions and complex numbers are also considered, together with exponentials and logarithms. Comprised of eight chapters, this book begins with a discussion on the fundamentals of algebra, each topic explained, illustrated, and accompanied by an ample set of exercises. The proper use of algebraic notation and practical manipulative skills such as factoring, using exponents and radicals, and simplifying rational expressions is highlighted, along with the most common mistakes in algebra. The reader is then introduced to the solution of linear, quadratic, and other types of equations and systems of equations, as well as the solution of inequalities. Subsequent chapters deal with the most basic functions of algebra: polynomial, rational, exponential, and logarithm. The book concludes with a review of sequences, permutations and combinations, and the binomial theorem, as well as summation and mathematical induction. This monograph will be a useful resource for undergraduate students of mathematics and algebra.
  • Large Problems, Small Machines

    Transforming Your Programs with Advanced Algorithms
    • 1st Edition
    • Steve Heller
    • English
    Large Problems, Small Machines: Transforming Your Programs with Advanced Algorithms describes a practical, real-world approach to program optimization based on advanced algorithms. Topics covered range from how to save storage using a restricted character set and how to speed up access to records by employing hash coding (or "scatter storage") and caching. A selective mailing list system is used to illustrate rapid access to and rearrangement of information selected by criteria specified at run-time. Comprised of six chapters, this book begins by discussing factors to consider when deciding whether a program needs optimization. In the next chapter, a supermarket price lookup system is used to illustrate how to save storage by using a restricted character set and how to speed up access to records with the aid of hash coding and caching. Attention is paid to rapid retrieval of prices. A selective mailing list system is then used to illustrate rapid access to and rearrangement of information selected by criteria specified at run-time. The book also considers the Huffman coding and arithmetic coding methods of data compression before concluding with a review of the characteristics of the algorithms encountered in previous chapters, as well as the future of the art of optimization. This monograph will be a useful resource for practicing computer programmers and those who intend to be working programmers.
  • Numerical and Computer Methods in Structural Mechanics

    • 1st Edition
    • Steven J. Fenves + 2 more
    • English
    Numerical and Computer Methods in Structural Mechanics is a compendium of papers that deals with the numerical methods in structural mechanics, computer techniques, and computer capabilities. Some papers discus the analytical basis of the computer technique most widely used in software, that is, the finite element method. This method includes the convergence (in terms of variation principles) isoparametrics, hybrid models, and incompatible displacement models. Other papers explain the storage or retrieval of data, as well as equation-solving algorithms. Other papers describe general-purpose structural mechanics programs, alternatives to, and extension of the usual finite element approaches. Another paper explores nonlinear, dynamic finite element problems, and a direct physical approach to determine finite difference models. Special papers explain structural mechanics used in computing, particularly, those related to integrated data bases, such as in the Structures Oriented Exchange System of the Office of Naval Research and the integrated design of tanker structures. Other papers describe software and hardware capabilities, for example, in ship design, fracture mechanics, biomechanics, and crash safety. The text is suitable for programmers, computer engineers, researchers, and scientists involved in materials and industrial design.
  • Multiple Time Scales

    • 1st Edition
    • Jeremiah U. Brackbill + 1 more
    • English
    Multiple Time Scales presents various numerical methods for solving multiple-time-scale problems. The selection first elaborates on considerations on solving problems with multiple scales; problems with different time scales; and nonlinear normal-mode initialization of numerical weather prediction models. Discussions focus on analysis of observations, nonlinear analysis, systems of ordinary differential equations, and numerical methods for problems with multiple scales. The text then examines the diffusion-synthetic acceleration of transport iterations, with application to a radiation hydrodynamics problem and implicit methods in combustion and chemical kinetics modeling. The publication ponders on molecular dynamics and Monte Carlo simulations of rare events; direct implicit plasma simulation; orbit averaging and subcycling in particle simulation of plasmas; and hybrid and collisional implicit plasma simulation models. Topics include basic moment method, electron subcycling, gyroaveraged particle simulation, and the electromagnetic direct implicit method. The selection is a valuable reference for researchers interested in pursuing further research on the use of numerical methods in solving multiple-time-scale problems.
  • Theoretical Studies in Computer Science

    • 1st Edition
    • Jeffrey D. Ullman
    • English
    Theoretical Studies in Computer Science focuses on the field of theoretical computer science. This book discusses the context-free multi-languages, non-membership in certain families of context-free languages, and single tree grammars. The complexity of structural containment and equivalence, interface between language theory and database theory, and automata theory for database theoreticians are also deliberated. This text likewise covers the datalog linearization of chain queries, expressive power of query languages, and object identity and query equivalences. Other topics include the unified approach to data and meta-data modification for data/knowledge bases, polygon clipping algorithms, and convex polygon generator. This publication is intended for computer scientists and researchers interested in theoretical computer science.
  • Nonlinear Elasticity

    Proceedings of a Symposium Conducted by the Mathematics Research Center, the University of Wisconsin—Madison April 16—18, 1973
    • 1st Edition
    • R. W. Dickey
    • English
    Nonlinear Elasticity presents a description of research and result on various nonlinear problems arising in elasticity. This book covers a variety of topics, including shallow elastic membranes, nonlinear elasticity, finite deformations of elastic solids, and nonlinear thermoelasticity. Organized into 11 chapters, this book begins with an overview of the nonlinear theory of buckling of elastic shells. This text then examines the ways in which the energy criterion supplies a necessary condition for asymptotic stability. Other chapters consider some of the phenomena, both physical and mathematical, that typify the large deformation of a nonlinearly elastic body. This book discusses as well the concepts leading to a criterion for instabilities and discusses how the criterion applies to some well-known ideal materials. The final chapter deals with the structure of strong shocks and studies the evolution of such a shock produced by a suddenly-applied strain. This book is a valuable resource for mathematicians.
  • Combinatorics

    • 1st Edition
    • N. Ya. Vilenkin
    • English
    Combinatorics deals with simple combinatorial problems, recurrence relations, and generating functions, particularly the binomial expansions. The book expounds on the general rules of combinatorics, the rule of sum, the rule of product, samples, permutations, combinations, and arrangements of subjects with various restrictions. The text also explains ordered or unordered partitions of numbers, geometric methods, random walk problems, and variants of the arithmetical triangle. One example of the use of combinatorics is the choice of the number 3 in the genetic code. Another example involves the choice of crew for a spaceship where it is necessary to consider the psychological conditions of the applicants for space travel. The text also investigates the sieve of Erastothenes whose problem concerns finding all the primes in the sequence of natural numbers from 1 to N. The book also tackles the application of power series to proof of identities, the binomial series expansion, decomposition into elementary fractions, and nonlinear recurrence relation. The book can be highly educational and interesting to students or academicians involved in mathematics, algebra, and statistics.
  • Probabilistic Analysis and Related Topics

    Volume 2
    • 1st Edition
    • A. T. Bharucha-Reid
    • English
    Probabilistic Analysis and Related Topics, Volume 2 focuses on the integrability, continuity, and differentiability of random functions, as well as functional analysis, measure theory, operator theory, and numerical analysis. The selection first offers information on the optimal control of stochastic systems and Gleason measures. Discussions focus on convergence of Gleason measures, random Gleason measures, orthogonally scattered Gleason measures, existence of optimal controls without feedback, random necessary conditions, and Gleason measures in tensor products. The text then elaborates on an introduction to nonstandard analysis and hyperfinite probability theory, including applications to stochastic processes, conversion from nonstandard to standard measure spaces, and an introduction to nonstandard analysis. The text examines stochastic matrices, ergodic Markov chains, and measures on semigroups, as well as limit theorems for convolution products of probability measures on completely simple semigroups; ergodicity of Markov chains and probability measures on semigroups; and limits of convolutions in groups and semigroups. The selection is a dependable source of data for mathematicians and researchers interested in the general theory of random functions.
  • Group Analysis of Differential Equations

    • 1st Edition
    • L. V. Ovsiannikov
    • English
    Group Analysis of Differential Equations provides a systematic exposition of the theory of Lie groups and Lie algebras and its application to creating algorithms for solving the problems of the group analysis of differential equations. This text is organized into eight chapters. Chapters I to III describe the one-parameter group with its tangential field of vectors. The nonstandard treatment of the Banach Lie groups is reviewed in Chapter IV, including a discussion of the complete theory of Lie group transformations. Chapters V and VI cover the construction of partial solution classes for the given differential equation with a known admitted group. The theory of differential invariants that is developed on an infinitesimal basis is elaborated in Chapter VII. The last chapter outlines the ways in which the methods of group analysis are used in special issues involving differential equations. This publication is a good source for students and specialists concerned with areas in which ordinary and partial differential equations play an important role.
  • Numerical Methods for Partial Differential Equations

    • 2nd Edition
    • William F. Ames
    • Werner Rheinboldt + 1 more
    • English
    Numerical Methods for Partial Differential Equations, Second Edition deals with the use of numerical methods to solve partial differential equations. In addition to numerical fluid mechanics, hopscotch and other explicit-implicit methods are also considered, along with Monte Carlo techniques, lines, fast Fourier transform, and fractional steps methods. Comprised of six chapters, this volume begins with an introduction to numerical calculation, paying particular attention to the classification of equations and physical problems, asymptotics, discrete methods, and dimensionless forms. Subsequent chapters focus on parabolic and hyperbolic equations, elliptic equations, and special topics ranging from singularities and shocks to Navier-Stokes equations and Monte Carlo methods. The final chapter discuss the general concepts of weighted residuals, with emphasis on orthogonal collocation and the Bubnov-Galerkin method. The latter procedure is used to introduce finite elements. This book should be a valuable resource for students and practitioners in the fields of computer science and applied mathematics.
  • Data Structures

    Theory and Practice
    • 1st Edition
    • A. T. Berztiss
    • Werner Rheinboldt
    • English
    Computer Science and Applied Mathematics: Data Structures: Theory and Practice focuses on the processes, methodologies, principles, and approaches involved in data structures, including algorithms, decision trees, Boolean functions, lattices, and matrices. The book first offers information on set theory, functions, and relations, and graph theory. Discussions focus on linear formulas of digraphs, isomorphism of digraphs, basic definitions in the theory of digraphs, Boolean functions and forms, lattices, indexed sets, algebra of sets, and order pair and related concepts. The text then examines strings, trees, and paths and cycles in digraphs. Topics include algebra of strings, Markov algorithms, algebraic structures, languages and grammars, decision trees and decision tables, trees as grammatic markers, shortest path problems, and representation of prefix formulas. The publication ponders on digraphs of programs, arrays, pushdown stores, lists, and list structures, and organization of files. Concerns include scatter storage techniques, files and secondary storage, representation of digraphs as list structures, storage of arrays, and sparse matrices. The text is a valuable reference for computer science experts, mathematicians, and researchers interested in data structures.
  • Computer Arithmetic and Self-Validating Numerical Methods

    • 1st Edition
    • Christian Ullrich
    • English
    Notes and Reports in Mathematics in Science and Engineering, Volume VII: Computer Arithmetic and Self-Validating Numerical Methods compiles papers presented at the first international conference on “Computer Arithmetic and Self-Validating Numerical Methods,” held in Basel from October 2 to 6, 1989. This book begins by providing a tutorial introduction to computer arithmetic with operations of maximum accuracy, differentiation arithmetic and enclosure methods, and programming languages for self-validating numerical methods. The rest of the chapters discuss the determination of guaranteed bounds for eigenvalues by variational methods and guaranteed inclusion of solutions of differential equations. An appendix covering the IMACS-GAMM resolution on computer arithmetic is provided at the end of this publication. This volume is recommended for researchers and professionals working on computer arithmetic and self-validating numerical methods.
  • The Mathematical Structure of Raster Graphics

    • 1st Edition
    • Eugene L. Fiume
    • English
    The Mathematical Structure of Raster Graphics presents a mathematical characterization of the structure of raster graphics, a popular and diverse form of computer graphics. The semantics and theory of the mathematical structure of raster graphics are discussed. Notations that help to clarify some of the concepts generally considered to be fundamental to computer graphics are included. Comprised of seven chapters, this book begins with a description of a general framework for specifying and manipulating scenes. Basic graphic entities, called primitive graphic objects, are defined using a simple notation over a Euclidean space. The reader is then introduced to a semantics of visibility; a mathematical semantics of rendering, developed using the very basic notion of measure; and a mathematical formalization of bit-mapped graphics. A framework for specifying illumination models is also described, along with the complexity of abstract ray tracing. This monograph will be a useful resource for undergraduate and graduate students, researchers, and practitioners in the fields of mathematics and computer graphics, and to those with some basic computer graphics background.
  • Nonlinear Evolution Equations

    Proceedings of a Symposium Conducted by the Mathematics Research Center, the University of Wisconsin–Madison, October 17–19, 1977
    • 1st Edition
    • Michael G. Crandall
    • English
    Nonlinear Evolution Equation covers the proceedings of the Symposium by the same title, conducted by the Mathematics Research Center at the University of Wisconsin, Madison on October 17-19, 1977. This book is divided into 13 chapters and begins with reviews of the uniqueness of solution to systems of conservation laws and the computational aspects of Glimm’s method. The next chapters examine the theoretical and practical aspects of Boltzmann, Navier-Stokes, and evolution equations. These topics are followed by discussions of the practical applications of Trotter’s product formula for some nonlinear semigroups and the finite time blow-up in nonlinear problems. The closing chapters deal with a Hamiltonian approach to the K-dV and other equations, along with a variational method for finding periodic solutions of differential equations. This book will prove useful to mathematicians and engineers.
  • Algebraic Analysis

    Papers Dedicated to Professor Mikio Sato on the Occasion of His Sixtieth Birthday
    • 1st Edition
    • Masaki Kashiwara + 1 more
    • English
    Algebraic Analysis: Papers Dedicated to Professor Mikio Sato on the Occasion of his 60th Birthday, Volume II is a collection of research papers on algebraic analysis and related topics in honor to Professor Mikio Sato’s 60th birthday. This volume is divided into 29 chapters and starts with research works concerning the fundamentals of KP equations, strings, Schottky problem, and the applications of transformation theory for nonlinear integrable systems to linear prediction problems and isospectral deformations,. The subsequent chapters contain papers on the approach to nonlinear integrable systems, the Hodge numbers, the stochastic different equation for the multi-dimensional weakly stationary process, and a method of harmonic analysis on semisimple symmetric spaces. These topics are followed by studies on the quantization of extended vortices, moduli space for Fuchsian groups, microfunctions for boundary value problems, and the issues of multi-dimensional integrable systems. The remaining chapters explore the practical aspects of pseudodifferential operators in hyperfunction theory, the elliptic solitons, and Carlson’s theorem for holomorphic functions. This book will prove useful to mathematicians and advance mathematics students.
  • Nonlinear Programming 2

    Proceedings of the Special Interest Group on Mathematical Programming Symposium Conducted by the Computer Sciences Department at the University of Wisconsin - Madison, April 15-17, 1974
    • 1st Edition
    • O. L. Mangasarian + 2 more
    • English
    Nonlinear Programming 2 covers the proceedings of the Special Interest Group on Mathematical Programming Symposium conducted by the Computer Sciences Department at the University of Wisconsin, Madison, on April 15-17, 1974. This book is divided into 13 chapters and begins with a survey of the global and superlinear convergence of a class of algorithms obtained by imposing changing bounds on the variables of the problem. The succeeding chapters deal with the convergence of the well-known reduced gradient method under suitable conditions and a superlinearly convergent quasi-Newton method for unconstrained minimization. These topics are followed by discussion of a superlinearly convergent algorithm for linearly constrained optimization problems and the effective methods for constrained optimization, namely the method of augmented Lagrangians. Other chapters explore a method for handling minimization problems with discontinuous derivatives and the advantages of factorizations of updating for Jacobian-related matrices in minimization problems. The last chapters present the Newton-like methods for the solution of nonlinear equations and inequalities, along with the various aspects of integer programming. This book will prove useful to mathematicians and computer scientists.
  • Rewriting Techniques

    Resolution of Equations in Algebraic Structures
    • 1st Edition
    • Hassan Aït-Kaci + 1 more
    • English
    Resolution of Equations in Algebraic Structures: Volume 2, Rewriting Techniques is a collection of papers dealing with the construction of canonical rewrite systems, constraint handling in logic programming, and completion algorithms for conditional rewriting systems. Papers discuss the Knuth-Bendix completion method which constructs a complete system for a given set of equations, including extensions of the method dealing with termination, unfailing completion, and associative-communic... completion. One paper examines the various practical techniques that can be used to extend Prolog as a constraint solver, particularly on techniques that solve boolean equations, imposing inequality, disequality, and finitary domain constraints on variables. Another paper presents a sufficient condition for confluence of conditional rewriting, and a practical unification algorithm modulo conditional rewriting through the notion of conditional narrowing. One paper analyzes the possibility of using completion for inductive proofs in the initial algebra of an equational variety without explicit induction. Another papers discusses solving systems of word equations in the free monoid and the free group, where a solution is defined as a word homomorphism. Programmers, mathematicians, students, and instructors involved in computer science and computer logic will find this collection valuable.
  • Topics in Differential Geometry

    • 1st Edition
    • Hanno Rund + 1 more
    • English
    Topics in Differential Geometry is a collection of papers related to the work of Evan Tom Davies in differential geometry. Some papers discuss projective differential geometry, the neutrino energy-momentum tensor, and the divergence-free third order concomitants of the metric tensor in three dimensions. Other papers explain generalized Clebsch representations on manifolds, locally symmetric vector fields in a Riemannian space, mean curvature of immersed manifolds, and differential geometry of totally real submanifolds. One paper considers the symmetry of the first and second order for a vector field in a Riemannnian space to arrive at conditions the vector field satisfies. Another paper examines the concept of a smooth manifold-tensor and the three types of connections on the tangent bundle TM, their properties, and their inter-relationships. The paper explains some clarification on the relationship between several related known concepts in the differential geometry of TM, such as the system of general paths of Douglas, the nonlinear connections of Barthel, ano and Ishihara, as well as the nonhomogeneous connection of Grifone. The collection is suitable for mathematicians, geometricians, physicists, and academicians interested in differential geometry.
  • Analysis, et Cetera

    Research Papers Published in Honor of Jürgen Moser's 60th Birthday
    • 1st Edition
    • Paul H. Rabinowitz + 1 more
    • English
    Analysis, et cetera: Research Papers Published in Honor of Jürgen Moser's 60th Birthday provides a collection of papers dedicated to Jürgen Moser on the occasion of his 60th birthday. This book covers a variety of topics, including Helmholtz equation, algebraic complex integrability, theory of Lie groups, and trigonometric polynomials. Organized into 31 chapters, this book begins with an overview of some basic consequences of the definition of algebraic complete integrability. This text then derives a representation theorem for solutions of the Helmholtz equation. Other chapters consider the integrable generalizations of the Volterra system and explain the dynamical system in the finite-dimensional case. This book discusses as well the global periodic solutions for the planar triple pendulum. The final chapter deals with the problem of deriving the macroscopic conservation laws, or the Euler equations, in accurate fashion from the microscopic equations of classical mechanics. This book is a valuable resource for mathematicians.
  • Programming in an Object-Oriented Environment

    • 1st Edition
    • Raimund K. Ege
    • English
    Programming in an Object-Oriented Environment provides an in-depth look at the concepts behind the technology of object-oriented programming. This book explains why object-oriented programming has the potential to vastly improve the productivity of programmers and how to apply this technology in a practical environment. Many programming examples are included, focusing on how different programming languages support the core of object-oriented concepts. C++ is used as the main sample language throughout this text. This monograph consists of two major parts. Part I provides an introduction to object-oriented concepts, their rationale and their implementation in programming languages. The object-oriented approach to programming in an object-oriented environment is discussed in Part II. This publication is intended for software professionals who are interested in learning the fundamental concepts of object-oriented programming and how to apply these concepts in a practical computer environment.
  • Analytic Geometry

    • 1st Edition
    • A. C. Burdette
    • English
    Analytic Geometry covers several fundamental aspects of analytic geometry needed for advanced subjects, including calculus. This book is composed of 12 chapters that review the principles, concepts, and analytic proofs of geometric theorems, families of lines, the normal equation of the line, and related matters. Other chapters highlight the application of graphing, foci, directrices, eccentricity, and conic-related topics. The remaining chapters deal with the concept polar and rectangular coordinates, surfaces and curves, and planes. This book will prove useful to undergraduate trigonometric students.
  • Elementary Linear Algebra

    • 1st Edition
    • Richard O. Hill
    • English
    Elementary Linear Algebra reviews the elementary foundations of linear algebra in a student-oriented, highly readable way. The many examples and large number and variety of exercises in each section help the student learn and understand the material. The instructor is also given flexibility by allowing the presentation of a traditional introductory linear algebra course with varying emphasis on applications or numerical considerations. In addition, the instructor can tailor coverage of several topics. Comprised of six chapters, this book first discusses Gaussian elimination and the algebra of matrices. Applications are interspersed throughout, and the problem of solving AX = B, where A is square and invertible, is tackled. The reader is then introduced to vector spaces and subspaces, linear independences, and dimension, along with rank, determinants, and the concept of inner product spaces. The final chapter deals with various topics that highlight the interaction between linear algebra and all the other branches of mathematics, including function theory, analysis, and the singular value decomposition and generalized inverses. This monograph will be a useful resource for practitioners, instructors, and students taking elementary linear algebra.
  • Applied Fuzzy Systems

    • 1st Edition
    • Toshiro Terano + 2 more
    • English
    Applied Fuzzy Systems provides information pertinent to the fundamental aspects of fuzzy systems theory and its application. This book discusses the development of high-level artificial intelligence and information processing systems, as well as the realization of fuzzy computers. Organized into six chapters, this book begins with an overview of the fundamental problems addressed by fuzzy systems. This text then reviews standard computer logic or two-valued Boolean algebra. Other chapters consider bus scheduling, evaluation of structural reliability, applications of schema systems for decision-making, and processing of natural-language information and systems for medical diagnosis as examples of fuzzy expert systems. This book discusses as well a practical fuzzy expert system for durability evaluations of reinforced concrete slabs for bridges, along with an example of application. The final chapter deals with the important parts of the construction of fuzzy computers, their architecture, and the outlook for the future. This book is a valuable resource for engineers, mathematicians, technicians, and research workers.
  • Computer-Assisted Instruction at Stanford, 1966-68

    Data, Models, and Evaluation of the Arithmetic Programs
    • 1st Edition
    • Patrick Suppes + 1 more
    • English
    Computer-Assisted Instruction at Stanford, 1966–68: Data, Models, and Evaluation of the Arithmetic Programs provides an analysis and assessment of the arithmetic programs in computer-assisted instruction at Stanford for the years 1966–68. This book focuses on behavioral data, the application of models to these data, and an assessment of the effectiveness of the programs. Organized into two parts encompassing nine chapters, this book begins with an overview of the drill-and-practice program that was run in a large number of elementary schools in California, Mississippi, and Kentucky. This text then explains the application of models to individual student behavior. Other chapters consider the analysis of student performance in computer-assisted instructions. This book discusses as well the application of automation models to some area of the same data of the drill-and-practice program. The final chapter deals with individual student analyses. This book is a valuable resource for psychologists, sociologists, and research workers.
  • Applied Time Series Analysis

    Proceedings of the First Applied Time Series Symposium Held in Tulsa, Oklahoma, May 14-15, 1976
    • 1st Edition
    • David F. Findley
    • English
    Applied Time Series Analysis contains the proceedings of the First Applied Time Series Symposium held in Tulsa, Oklahoma, on May 14-15, 1976. The symposium provided a forum for reviewing various applications of time series analysis and covered topics ranging from nonlinear time series modeling and G-spectral estimation to multivariate autoregression estimation using residuals. Adaptive processing of seismic data and the application of homomorphic filtering to seismic data processing are also discussed. Comprised of 10 chapters, this book begins by describing the application of parametric models to the analysis and control of time series using some numerical examples. The reader is then introduced to nonlinear time series modeling; two-dimensional recursive filtering in theory and practice; and spectral estimators. Waves propagating in random media as statistical time series are also considered. The book concludes with a chapter that illustrates how the intensity of a Poisson process is estimated, with emphasis on a time series approach to the fixed signal case, invariant testing, and spline estimation. This monograph will be a useful resource for students and practitioners in the fields of mathematics and statistics, electrical engineering, and computer science.
  • Ring Theory

    Proceedings of a Conference on Ring Theory Held in Park City, Utah, March 2–6, 1971
    • 1st Edition
    • Robert Gordon
    • English
    Ring Theory provides information pertinent to the fundamental aspects of ring theory. This book covers a variety of topics related to ring theory, including restricted semi-primary rings, finite free resolutions, generalized rational identities, quotient rings, idealizer rings, identities of Azumaya algebras, endomorphism rings, and some remarks on rings with solvable units. Organized into 24 chapters, this book begins with an overview of the characterization of restricted semi-primary rings. This text then examines the case where K is a Hensel ring and A is a separable algebra. Other chapters consider establishing the basic properties of the four classes of projective modules, with emphasis on the finitely generated case. This book discusses as well the non-finitely generated cases and studies infinitely generated projective modules. The final chapter deals with abelian groups G that are injective when viewed as modules over their endomorphism rings E(G). This book is a valuable resource for mathematicians.
  • Numerical Algebra

    • 1st Edition
    • John Todd
    • Ch. Blanc + 2 more
    • English
    Basic Numerical Mathematics, Volume II: Numerical Algebra focuses on numerical algebra, with emphasis on the ideas of "controlled computational experiments" and "bad examples". The existence of an orthogonal matrix which diagonalizes a real symmetric matrix is highlighted, and partitioned or block matrices are discussed, along with induced norms and inversion problems. Comprised of 12 chapters, this volume begins with an overview of the manipulation of vectors and matrices, followed by an analysis of induced norms. The reader is then introduced to the direct solution of the inversion problem, first in the context of theoretical arithmetic (that is, when round-off is disregarded) and second in the context of practical computation. Various methods of handling the characteristic value problems are also considered, together with several iterative methods for the solution of a system of linear equations. Two applications are described: the solution of a two-point boundary value problem and the solution of least squares curve fitting. The book concludes with an account of the singular value decomposition and pseudo-inverses. This monograph will be of interest to mathematicians and students of mathematics.
  • Introduction to Numerical Computations

    • 2nd Edition
    • James S. Vandergraft
    • Werner Rheinboldt
    • English
    Computer Science and Applied Mathematics: Introduction to Numerical Computations, Second Edition introduces numerical algorithms as they are used in practice. This edition covers the usual topics contained in introductory numerical analysis textbooks that include all of the well-known and most frequently used algorithms for interpolation and approximation, numerical differentiation and integration, solution of linear systems and nonlinear equations, and solving ordinary differential equations. A complete discussion of computer arithmetic, problems that arise in the computer evaluation of functions, and cubic spline interpolation are also provided. This text likewise discusses the Newton formulas for interpolation and adaptive methods for integration. The level of this book is suitable for advanced undergraduate students and readers with elementary mathematical background.
  • Scientific Inference, Data Analysis, and Robustness

    Proceedings of a Conference Conducted by the Mathematics Research Center, the University of Wisconsin—Madison, November 4–6, 1981
    • 1st Edition
    • G. E. P. Box + 2 more
    • English
    Mathematics Research Center Symposium: Scientific Inference, Data Analysis, and Robustness focuses on the philosophy of statistical modeling, including model robust inference and analysis of data sets. The selection first elaborates on pivotal inference and the conditional view of robustness and some philosophies of inference and modeling, including ideas on modeling, significance testing, and scientific discovery. The book then ponders on parametric empirical Bayes confidence intervals, ecumenism in statistics, and frequency properties of Bayes rules. Discussions focus on consistency of Bayes rules, scientific method and the human brain, and statistical estimation and criticism. The book takes a look at the purposes and limitations of data analysis, likelihood, shape, and adaptive inference, statistical inference and measurement of entropy, and the robustness of a hierarchical model for multinomials and contingency tables. Topics include numerical results for contingency tables and robustness, multinomials, flattening constants, and mixed Dirichlet priors, entropy and likelihood, and test as measurement of entropy. The selection is a valuable reference for researchers interested in robust inference and analysis of data sets.
  • Vector and Operator Valued Measures and Applications

    • 1st Edition
    • Don H. Tucker + 1 more
    • English
    Vector and Operator Valued Measures and Applications is a collection of papers presented at the Symposium on Vector and Operator Valued Measures and Applications held in Alta, Utah, on August 7-12, 1972. The symposium provided a forum for discussing vector and operator valued measures and their applications to various areas such as stochastic integration, electrical engineering, control theory, and scattering theory. Comprised of 37 chapters, this volume begins by presenting two remarks related to the result due to Kolmogorov: the first is a theorem holding for nonnegative definite functions from T X T to C (where T is an arbitrary index set), and the second applies to separable Hausdorff spaces T, continuous nonnegative definite functions ? from T X T to C, and separable Hilbert spaces H. The reader is then introduced to the extremal structure of the range of a controlled vector measure ? with values in a Hausdorff locally convex space X over the field of reals; how the theory of vector measures is connected with the theory of compact and weakly compact mappings on certain function spaces; and Daniell and Daniell-Bochner type integrals. Subsequent chapters focus on the disintegration of measures and lifting; products of spectral measures; and mean convergence of martingales of Pettis integrable functions. This book should be of considerable use to workers in the field of mathematics.
  • Neural Networks for Perception

    Human and Machine Perception
    • 1st Edition
    • Harry Wechsler
    • English
    Neural Networks for Perception, Volume 1: Human and Machine Perception focuses on models for understanding human perception in terms of distributed computation and examples of PDP models for machine perception. This book addresses both theoretical and practical issues related to the feasibility of both explaining human perception and implementing machine perception in terms of neural network models. The book is organized into two parts. The first part focuses on human perception. Topics on network model of object recognition in human vision, the self-organization of functional architecture in the cerebral cortex, and the structure and interpretation of neuronal codes in the visual system are detailed under this part. Part two covers the relevance of neural networks for machine perception. Subjects considered under this section include the multi-dimensional linear lattice for Fourier and Gabor transforms, multiple- scale Gaussian filtering, and edge detection; aspects of invariant pattern and object recognition; and neural network for motion processing. Neuroscientists, computer scientists, engineers, and researchers in artificial intelligence will find the book useful.
  • Advanced Calculus of Several Variables

    • 1st Edition
    • C. H. Edwards
    • English
    Advanced Calculus of Several Variables provides a conceptual treatment of multivariable calculus. This book emphasizes the interplay of geometry, analysis through linear algebra, and approximation of nonlinear mappings by linear ones. The classical applications and computational methods that are responsible for much of the interest and importance of calculus are also considered. This text is organized into six chapters. Chapter I deals with linear algebra and geometry of Euclidean n-space Rn. The multivariable differential calculus is treated in Chapters II and III, while multivariable integral calculus is covered in Chapters IV and V. The last chapter is devoted to venerable problems of the calculus of variations. This publication is intended for students who have completed a standard introductory calculus sequence.
  • Precalculus

    Functions & Graphs
    • 1st Edition
    • Bernard Kolman + 1 more
    • English
    Precalculus: Functions & Graphs provides a complete and self-contained presentation of the basic mathematical techniques and ideas required for the successful completion of a calculus course. The book emphasizes the learning and understanding of the concept of a function, using function notation, and being able to sketch graphs of functions with ease. The text employs a number of pedagogic devices that have been proven effective in teaching college mathematics. The mathematical concepts are presented in a style that is informal, supportive, and "user-friendly". Progress checks, warnings, and features are inserted. Every chapter contains a summary, including terms and symbols with appr This textbook is intended for college students.
  • Zero-Symmetric Graphs

    Trivalent Graphical Regular Representations of Groups
    • 1st Edition
    • H. S. M. Coxeter + 2 more
    • English
    Zero-Symmetric Graphs: Trivalent Graphical Regular Representations of Groups describes the zero-symmetric graphs with not more than 120 vertices.The graphs considered in this text are finite, connected, vertex-transitive and trivalent. This book is organized into three parts encompassing 25 chapters. The first part reviews the different classes of zero-symmetric graphs, according to the number of essentially different edges incident at each vertex, namely, the S, T, and Z classes. The remaining two parts discuss the theorem and characteristics of type 1Z and 3Z graphs. These parts explore Cayley graphs of specific groups, including the parameters of Cayley graphs of groups. This book will prove useful to mathematicians, computer scientists, and researchers.
  • Statistical Inference and Related Topics

    Proceedings of the Summer Research Institute on Statistical Inference for Stochastic Processes, Bloomington, Indiana, July 31 – August 9, 1975
    • 1st Edition
    • Madan Lal Puri
    • English
    Statistical Inference and Related Topics, Volume 2 presents the proceedings of the Summer Research Institute on Statistical Inference for Stochastic Processes, held in Bloomingdale, Indiana on July 31 to August 9, 1975. This book focuses on the theory of statistical inference for stochastic processes. Organized into 15 chapters, this volume begins with an overview of the case of continuous distributions with one real parameter. This text then reviews some results for multidimensional empirical processes and Brownian sheets when they are indexed by families of sets. Other chapters consider a class of cubic spline estimators of probability density functions over a finite interval. This book discusses as well the method to construct nonelimination type sequential procedures to select a subset containing all the superior populations. The final chapter deals with Markov sequences, which are among the most interesting available for study with a rich theory and varied applications. This book is a valuable resource for graduate students and research workers.
  • Calculus

    • 2nd Edition
    • Stanley I. Grossman
    • English
    Calculus, Second Edition discusses the techniques and theorems of calculus. This edition introduces the sine and cosine functions, distributes ?-? material over several chapters, and includes a detailed account of analytic geometry and vector analysis. This book also discusses the equation of a straight line, trigonometric limit, derivative of a power function, mean value theorem, and fundamental theorems of calculus. The exponential and logarithmic functions, inverse trigonometric functions, linear and quadratic denominators, and centroid of a plane region are likewise elaborated. Other topics include the sequences of real numbers, dot product, arc length as a parameter, quadric surfaces, higher-order partial derivatives, and Green's theorem in the plane. This publication is a good source for students learning calculus.
  • Probabilistic Analysis and Related Topics

    Volume 1
    • 1st Edition
    • A. T. Bharucha-Reid
    • English
    Probabilistic Analysis and Related Topics, Volume 1 focuses on the continuity, differentiability, and integrability of random functions, including functional analysis, operator theory, measure theory, and numerical analysis. The selection first offers information on stochastic partial differential equations in turbulence related problems and estimation and stochastic control for linear infinite-dimensional systems. Discussions focus on deterministic quadratic cost-control problem; partial differential equations in stochastic wave propagation; and theory of stochastic partial differential equations. The text then examines random integrodifferential equations, including small perturbations, existence and uniqueness of solutions, stochastic properties of solution processes, and vibration string. The manuscript ponders on equivalence and singularity of Gaussian measures and applications and stochastic Riemannian geometry. Concerns include semilocal properties, Brownian motion, reproducing kernel Hilbert spaces and Gaussian processes, equivalence and singularity of Gaussian processes, and general problem of equivalence and singularity. The selection is a vital source of information for mathematicians and researchers interested in the general theory of random functions.
  • Software for Roundoff Analysis of Matrix Algorithms

    • 1st Edition
    • Webb Miller + 1 more
    • English
    Computer Science and Applied Mathematics: A Series of Monographs and Textbooks: Software for Roundoff Analysis of Matrix Algorithms focuses on the presentation of techniques and software tools for analyzing the propagation of rounding error in matrix algorithms. The publication looks into some elements of error analysis, concepts from linear algebra and analysis, and directed graphs. Discussions focus on arithmetic graphs, sums of path products, linear transformations, Minkowski sums and Cartesian products, and elementary concepts from analysis. The text then examines software for roundoff analysis, including rounding and perturbations of the computational problem, comparing rounding errors with problem sensitivity, reverse condition numbers, and comparing two algorithms. The book ponders on case studies, as well as Gaussian elimination with iterative improvement, Cholesky factorization, Gauss-Jordan elimination, variants of the Gram-Schmidt method, and Cholesky factors after rank-one modifications. The text is a valuable reference for researchers interested in the techniques and software tools involved in the analysis of the propagation of rounding error in matrix algorithms.
  • Ordinary Differential Equations

    • 1st Edition
    • Richard K Miller + 1 more
    • English
    Ordinary Differential Equations is an outgrowth of courses taught for a number of years at Iowa State University in the mathematics and the electrical engineering departments. It is intended as a text for a first graduate course in differential equations for students in mathematics, engineering, and the sciences. Although differential equations is an old, traditional, and well-established subject, the diverse backgrounds and interests of the students in a typical modern-day course cause problems in the selection and method of presentation of material. In order to compensate for this diversity, prerequisites have been kept to a minimum and the material is covered in such a way as to be appealing to a wide audience. The book contains eight chapters and begins with an introduction the subject and a discussion of some important examples of differential equations that arise in science and engineering. Separate chapters follow on the fundamental theory of linear and nonlinear differential equations; linear boundary value problems; Lyapunov stability theory; and perturbations of linear systems. Subsequent chapters deal with the Poincare-Bendixson theory and with two-dimensional van der Pol type equations; and periodic solutions of general order systems.
  • Nonlinear Programming 4

    Proceedings of the Nonlinear Programming Symposium 4 Conducted by the Computer Sciences Department at the University of Wisconsin–Madison, July 14-16, 1980
    • 1st Edition
    • Olvi L. Mangasarian + 2 more
    • English
    Nonlinear Programming, 4 focuses on linear, quadratic, and nonlinear programming, unconstrained minimization, nonsmooth and discrete optimization, ellipsoidal methods, linear complementarity problems, and software evaluation. The selection first elaborates on an upper triangular matrix method for quadratic programming, solving quadratic programs by an exact penalty function, and QP-based methods for large-scale nonlinearly constrained optimization. Discussions focus on large-scale linearly constrained optimization, search direction for superbasic variables, finite convergence, basic properties, comparison of three active set methods, and QP-based methods for dense problems. The book then examines an iterative linear programming algorithm based on an augmented Lagrangian and iterative algorithms for singular minimization problems. The publication ponders on the derivation of symmetric positive definite secant updates, preconditioned conjugate gradient methods, and finding the global minimum of a function of one variable using the method of constant signed higher order derivatives. Topics include effects of calculation errors, application to polynomial minimization, using moderate additional storage, updating Cholesky factors, and utilizing sparse second order information. The selection is a valuable source of data for researchers interested in nonlinear programming.
  • Computational Probability

    The Proceedings of the Actuarial Research Conference on Computational Probability Held at Brown University, Providence, Rhode Island, on August 28-30, 1975
    • 1st Edition
    • P. M. Kahn
    • English
    Computational Probability is a collection of papers presented at the Actuarial Research Conference on Computational Probability and related topics, held at Brown University on August 28-30, 1975. This 19-chapter book explores the development of computational techniques in probability and statistics and their application to problems in insurance. It covers six general topics, including computational probability, computational statistics, computational risk theory, analysis of algorithms, numerical methods, and notation and computation. Applications covered both life and nonlife insurance. This book will prove useful to applied mathematicians, statisticians, and computer scientists.