Andrea Kohlhase

• Intelligent Computer Mathematics