Login to filter by course Login to filter by course Reset
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Origin of the NuclidesDelves into the origin of chemical elements in the universe through nuclear astrophysics, exploring processes like Big Bang nucleosynthesis and stellar evolution.
Thermal history of the UniverseExplores the evolution of the Universe, from its early stages to the present, covering topics such as astroparticle physics and the thermal history.
Intrinsic Stellar VariabilityExplores intrinsic stellar variability, focusing on expulsions from stars and phenomena observed in BE stars, UV setting stars, and Betelgeuse.