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.

Augmented Lagrangian Methods
Applications to the Numerical Solution of Boundary-Value Problems
1st Edition
Volume 15
M. Fortin + 1 more
English
The purpose of this volume is to present the principles of the Augmented Lagrangian Method, together with numerous applications of this method to the numerical solution of boundary-value problems for partial differential equations or inequalities arising in Mathematical Physics, in the Mechanics of Continuous Media and in the Engineering Sciences.
Large Infinitary Languages
1st Edition
Volume 83
Lev D. Beklemishev
English
A Deductive Theory of Space and Time
1st Edition
Volume 45
Lev D. Beklemishev
English
Computational Techniques for Differential Equations
1st Edition
Volume 83
J. Noye
English
Logic, Methodology and Philosophy of Science III
1st Edition
Volume 52
Lev D. Beklemishev
English
New Generalized Functions and Multiplication of Distributions
1st Edition
Volume 84
J.F. Colombeau
English
This volume presents a new mathematical theory of generalized functions, more general than Distribution Theory, giving a rigorous mathematical sense to any product of a finite number of distributions and to heuristic computations of Quantum Field Theory. Although the physical motivations are emphasized, the book is also addressed to mathematicians with no knowledge of physics. This work opens a new domain of research in both pure and applied mathematics.
Non-Classical Logics, Model Theory, And Computability
1st Edition
Volume 89
Lev D. Beklemishev
English
Sentences Undecidable in Formalized Arithmetic
1st Edition
Volume 10
Lev D. Beklemishev
English
Logic Colloquium '87
1st Edition
Volume 129
H.-D. Ebbinghaus + 4 more
English
Fourteen papers presented at the 1987 European Summer Meeting of the Association for Symbolic Logic are collected in this volume.The main areas covered by the conference were Logic, Set Theory, Recursion Theory, Model Theory, Logic for Computer Science and Semantics of Natural Languages.
Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968
1st Edition
Volume 60
Lev D. Beklemishev
English

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Books in Mathematics

Augmented Lagrangian Methods

Large Infinitary Languages

A Deductive Theory of Space and Time

Computational Techniques for Differential Equations

Logic, Methodology and Philosophy of Science III

New Generalized Functions and Multiplication of Distributions

Non-Classical Logics, Model Theory, And Computability

Sentences Undecidable in Formalized Arithmetic

Logic Colloquium '87

Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968

Related subjects