Explore les systèmes de raisonnement automatisés pratiques comme TPTP, TSTP et CASC, en soulignant l'importance de la cohérence et des développements futurs.
Couvre l'application des équations de Cauchy et de la décomposition intégrale, en abordant les questions liées aux fonctions holomorphes et aux matrices jacobines.
