¤ Courses and lecturers

• Proof analysis, Thierry Coquand, Goteborg
• Computer algebra, Erich Kaltofen, NCSU
• Constructive commutative algebra, Henri Lombardi, Besancon
• History of algorithmic real algebra , Marie-Francoise Roy, Rennes
• Constructive homological algebra, Francis Sergeraert, Grenoble
• Constructive analysis, Helmut Schwichtenberg, Munich

¤ Notes

• Proof analysis: slides of lecture 1, lecture 2, all lectures,
• Computer algebra: slides of part 1, part 2, part 3, part 4 part 5,
• Constructive commutative algebra: slides of lecture 1, lecture 2, lecture 4
• Constructive analysis: slides of all lectures
• Constructive homological algebra: notes of all lectures
• History of real algebraic geometry: notes of all lectures in pdf form or TeXmacs form