Explores rigorous upper and lower bounds for isotropic phase composites and their microstructure arrangement, focusing on laminated plates and stress-strain relationships.
Covers corrected exercises from the 2020 exam in the field of robotics, including topics such as accuracy, speed, DC motors, optimal gear ratio, dynamics of robot arms, encoders, and kinematics.
Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.
