Personensuche
X
?
Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs ,
5
Formal proofs of transcendence for e and pi as an applicati..:
, In:
?
6
Intelligent computer mathematics
10th international conference, AISC 2010, 17th symposium, C...
Lecture notes in computer science ; 6167, Lecture notes in artificial intelligence