Skip to main content
Elsevier

Elsevier Science

  • Lincos

    Design of a Language for Cosmic Intercourse
    • 1st Edition
    • Volume 28
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 34
    • Lev D. Beklemishev
    • English
    The book consists of a selection of the forms of the axiom of choice which appeared in the literature together with additional forms which were obtained in the process of writing the book. Forms which were either used often in practice, unusual, relatively unknown, or particularly weak or strong were chosen for inclusion. The book assumes a knowledge of logic and elementary set theory (von Neumann-Bemays-Godel set theory), but does include a list of definitions of set theoretical symbols and terms in the section entitled "Preliminary Definitions and Theorems".

  • Stability of Motion by A M Liapunov

    • 1st Edition
    • Volume 30
    • A. M. Liapunov
    • English
    In this book, we study theoretical and practical aspects of computing methods for mathematical modelling of nonlinear systems. A number of computing techniques are considered, such as methods of operator approximation with any given accuracy; operator interpolation techniques including a non-Lagrange interpolation; methods of system representation subject to constraints associated with concepts of causality, memory and stationarity; methods of system representation with an accuracy that is the best within a given class of models; methods of covariance matrix estimation;methods for low-rank matrix approximations; hybrid methods based on a combination of iterative procedures and best operator approximation; andmethods for information compression and filtering under condition that a filter model should satisfy restrictions associated with causality and different types of memory.As a result, the book represents a blend of new methods in general computational analysis,and specific, but also generic, techniques for study of systems theory ant its particularbranches, such as optimal filtering and information compression.

  • Word Problems

    • 1st Edition
    • Volume 71
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 4
    • Lev D. Beklemishev
    • English

  • Palygorskite-Sepiolite

    Occurrences, Genesis and Uses
    • 1st Edition
    • Volume 37
    • A. Singer + 1 more
    • English

  • Constructible Sets with Applications

    • 1st Edition
    • Volume 57
    • Lev D. Beklemishev
    • English

  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 7
    • Lev D. Beklemishev
    • English

  • Analysis of Neuropeptides by Liquid Chromatography and Mass Spectrometry

    • 1st Edition
    • Volume 6
    • D.M. Desiderio
    • English

  • Algebra of Proofs

    • 1st Edition
    • Volume 88
    • Lev D. Beklemishev
    • English

Browse by Publisher