Advances In Neural Network Research
Ijcnn »

Symbolic Computation And Education
Symbolic Computation And Education »

Solution Chemistry
Minerals and Reagents »

Automated Deduction In Geometry
International Workshop On Automated Deduction In Geometry, Toulouse, France, September 27-29, 1996 »

Sounding Spokane
Perspectives On The Built Environment Of A Regional City »

Elimination Methods
 »

Elimination Practice
Software Tools And Applications »

Symbolic-Numeric Computation
Symbolic-Numeric Computation »

Automated Deduction In Geometry
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... »