Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
Automated Deduction In Geometry
Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998, Proceedings »
Second International Workshop, ADG '98, Beijing, China, August 1-3, 1998, Proceedings »
Mathematics Mechanization and Applications
This is a uniform presentation of major developments, carried out mostly in Chinese research groups, on algorithms and software tools for mechanizing algebra... »
This is a uniform presentation of major developments, carried out mostly in Chinese research groups, on algorithms and software tools for mechanizing algebra... »
Idea box
