Search alternatives:
mathematical » mathematics
Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
Table of Contents: “... Authoring -- Session III: Representations -- A Tough Nut for Mathematical Knowledge Management -- Textbook...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Experiments in Mathematics -- Session 5. Invited Talk -- Applications of Automated Reasoning -- Session 6A...”