Covers the fundamental theorem of calculus, immediate integration, and properties of derivatives, with examples of integration by substitution.
Covers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.
Explores abstract interpretation in Stainless, demonstrating its application in program verification and discussing future directions for the project.
Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Introduces limits, continuity, and infinite limits in mathematics, emphasizing their significance in mathematical analysis.
