Mathematical Knowledge Management (vol. # 3863)
Publication year: 2006
: 978-3-540-31431-8
This volume contains the proceedings of the Fourth International Conference on Mathematical Knowledge Management MKM 2005 held July 15–17, 2005 at - ternational University Bremen, Germany.
: Computer Science, Algebra, automated theorem proving, e-learning, equation, formal logic, formal mathematics, interactive algebra, knowledge management, latex, learning, mathematical encoding, mathematical knowledge management, proof, proving, theorem
