Explore les langues d'Isar, de ML et de Scala, couvrant les systèmes de preuve, les règles de déduction naturelle, les définitions inductives et l'approche LCF.
Explore la distribution de Wishart, les propriétés des matrices de Wishart, et la distribution de T2 de Hotelling, y compris la statistique T2 de deux exemples Hotelling.
Explore linduction forte comme une méthode de preuve puissante avec des avantages sur linduction mathématique, démontrée par un théorème sur lexpression des entiers comme des sommes de puissances de deux.