| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Automated Deduction in Geometry: Second International Workshop, ADG'98, Beijing, China, August 1-3, 1998, Proceedings | 978-3-540-66672-1 (3-540-66672-9) | 2008 | Lu Yang · Dongming Wang | |
| Mathematics Mechanization and Applications | 978-0-12-734760-8 (0-12-734760-7) | 2000 | Dongming Wang |