Skip to main content

Elsevier Science

  • Introduction to Global Variational Geometry

    • 1st Edition
    • Volume 182
    • Demeter Krupka
    • English
    This book provides a comprehensive introduction to modern global variational theory on fibred spaces. It is based on differentiation and integration theory of differential forms on smooth manifolds, and on the concepts of global analysis and geometry such as jet prolongations of manifolds, mappings, and Lie groups. The book will be invaluable for researchers and PhD students in differential geometry, global analysis, differential equations on manifolds, and mathematical physics, and for the readers who wish to undertake further rigorous study in this broad interdisciplinary field. Featured topics- Analysis on manifolds- Differential forms on jet spaces - Global variational functionals- Euler-Lagrange mapping - Helmholtz form and the inverse problem- Symmetries and the Noether’s theory of conservation laws- Regularity and the Hamilton theory- Variational sequences - Differential invariants and natural variational principles
  • The Problem of Inductive Logic

    • 1st Edition
    • Volume 51
    • Lev D. Beklemishev
    • English
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 19
    • Lev D. Beklemishev
    • English
  • Photogenerated Reagents in Biochemistry and Molecular Biology

    • 1st Edition
    • Volume 12
    • H. Bayley
    • English
    This volume is an extended account of a group of techniques that have seen their importance realized in almost all areas of biochemistry. The book provides detailed description of the properties and syntheses of the most useful photoactivatable reagents as well as comprehensive and critical descriptions of the major experiments that can be performed with photochemical reagents, affinity labelling, cross-linking of macromolecules and topographical analyses of membrane proteins.
  • The Axiom of Choice

    • 1st Edition
    • Volume 75
    • Lev D. Beklemishev
    • English
  • Quaternary Dating Methods

    • 1st Edition
    • Volume 7
    • W.C. Mahaney
    • English
  • Formal Systems and Recursive Functions

    • 1st Edition
    • Volume 40
    • Lev D. Beklemishev
    • English
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 31
    • Lev D. Beklemishev
    • English
  • Provability, Computability and Reflection

    • 1st Edition
    • Volume 32
    • Lev D. Beklemishev
    • English
  • Proceedings of the Second Scandinavian Logic Symposium

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