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
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... »
Differential Equations with Symbolic Computations
Differential Equations with Symbolic Computation »
Differential Equations with Symbolic Computation »
Automated Deduction In Geometry
International Workshop On Automated Deduction In Geometry, Toulouse, France, September 27-29, 1996 »
International Workshop On Automated Deduction In Geometry, Toulouse, France, September 27-29, 1996 »
Idea box
