Lectures related to Ordinary Differential Equations: Definitions and Methods

Covers first-order differential equations, including linear equations and applications in physics.

Explores equilibrium and stability of a vertical metronome system with springs.

Explores the existence and uniqueness of solutions for differential equations through local Lipschitz continuity and the Cauchy-Lipschitz theorem.

Covers second order linear differential equations, focusing on solution construction and the concept of linear independence among solutions.

Explores formal proofs, satisfiability problems, and inductive invariants using SAT queries in sequential circuits.

Explains the Wronskian and its role in determining linear independence of solutions to differential equations.