-20%
Exploring Formalisation
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.
After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers.
This primer on mathematics formalisation provides a rapid, hands-on introduction to proof verification in Lean.
After a quick introduction to Lean, the basic techniques of human-readable formalisation are introduced, illustrated by simple examples on maps, induction and real numbers.
Additional information
| Book Format | Hardcover, Softcover |
|---|
Be the first to review “Exploring Formalisation”
Book information
Edition
1st Edition
ISBN [Softcover]
9783031146480
Publisher
Springer
Year
2022
Pages
VI, 147 p.
Series Title
Surveys and Tutorials in the Applied Mathematical Sciences
Language
English
Related Products
-20%
(Mostly) Commutative Algebra
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
Offers a unified presentation of stability results for dynamical systems using Lyapunov-like characterizations Provides derivation of strong/weak complete instability results for systems in terms of Lyapunov-like and comparison functions Discusses combined stability and avoidance problem for control systems from the perspective of Lyapunov functions
-20%
(Mostly) Commutative Algebra
Original price was: ₹5,511.00.₹4,410.00Current price is: ₹4,410.00.
Offers a unified presentation of stability results for dynamical systems using Lyapunov-like characterizations Provides derivation of strong/weak complete instability results for systems in terms of Lyapunov-like and comparison functions Discusses combined stability and avoidance problem for control systems from the perspective of Lyapunov functions
-20%
A Concise Course on Stochastic Partial Differential Equations
Original price was: ₹4,260.00.₹3,409.00Current price is: ₹3,409.00.
This second edition presents a collection of exercises on the theory of analytic functions, including completed and detailed solutions.
-20%
A Concise Course on Stochastic Partial Differential Equations
Original price was: ₹4,260.00.₹3,409.00Current price is: ₹3,409.00.
This second edition presents a collection of exercises on the theory of analytic functions, including completed and detailed solutions.
-20%
A Course on Topological Vector Spaces
Original price was: ₹4,260.00.₹3,409.00Current price is: ₹3,409.00.
Includes a streamlined introduction to the duality theory of locally convex spaces, culminating in the Mackey-Arens theorem Treats various important topics concerning the weak topology of Banach spaces Discusses examples of function spaces which occur in applications to differential operators and measure theory Provides as a highlight the treatment of weak compactness in L_1-spaces
-20%
A Course on Topological Vector Spaces
Original price was: ₹4,260.00.₹3,409.00Current price is: ₹3,409.00.
Includes a streamlined introduction to the duality theory of locally convex spaces, culminating in the Mackey-Arens theorem Treats various important topics concerning the weak topology of Banach spaces Discusses examples of function spaces which occur in applications to differential operators and measure theory Provides as a highlight the treatment of weak compactness in L_1-spaces
-20%
(In-)Stability of Differential Inclusions
Original price was: ₹6,554.00.₹5,244.00Current price is: ₹5,244.00.
Lyapunov methods have been and are still one of the main tools to analyze the stability properties of dynamical systems. In this monograph, Lyapunov results characterizing the stability and stability of the origin of differential inclusions are reviewed. To characterize instability and destabilizability, Lyapunov-like functions, called Chetaev and control Chetaev functions in the monograph, are introduced. Based on their definition and by mirroring existing results on stability, analogue results for instability are derived. Moreover, by looking at the dynamics of a differential inclusion in backward time, similarities and differences between stability of the origin in forward time and instability in backward time, and vice versa, are discussed. Similarly, the invariance of the stability and instability properties of the equilibria of differential equations with respect to scaling are summarized. As a final result, ideas combining control Lyapunov and control Chetaev functions to simultaneously guarantee stability, i.e., convergence, and instability, i.e., avoidance, are outlined. The work is addressed at researchers working in control as well as graduate students in control engineering and applied mathematics.
-20%
(In-)Stability of Differential Inclusions
Original price was: ₹6,554.00.₹5,244.00Current price is: ₹5,244.00.
Lyapunov methods have been and are still one of the main tools to analyze the stability properties of dynamical systems. In this monograph, Lyapunov results characterizing the stability and stability of the origin of differential inclusions are reviewed. To characterize instability and destabilizability, Lyapunov-like functions, called Chetaev and control Chetaev functions in the monograph, are introduced. Based on their definition and by mirroring existing results on stability, analogue results for instability are derived. Moreover, by looking at the dynamics of a differential inclusion in backward time, similarities and differences between stability of the origin in forward time and instability in backward time, and vice versa, are discussed. Similarly, the invariance of the stability and instability properties of the equilibria of differential equations with respect to scaling are summarized. As a final result, ideas combining control Lyapunov and control Chetaev functions to simultaneously guarantee stability, i.e., convergence, and instability, i.e., avoidance, are outlined. The work is addressed at researchers working in control as well as graduate students in control engineering and applied mathematics.
Reviews
There are no reviews yet.