Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
Explores fracture mechanics, crack growth, and the weakest link theory, emphasizing the statistical distribution of crack sizes and the significance of the largest crack in material failure.
Explores rigorous upper and lower bounds for isotropic phase composites and their microstructure arrangement, focusing on laminated plates and stress-strain relationships.
