Publication year: 2006
ISBN: 978-3-540-31431-8
Internet Resource: Please Login to download book
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.
Subject: 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