Automated Deduction in Geometry 4th International Workshop
ADG 20022004 年出版234 页ISBN:3540209271
Automated Deduction in Geometry 6th International Workshop
ADG 20062007 年出版213 页ISBN:9783540773559
Automated Deduction in Geometry 5th International Workshop
ADG 20042006 年出版216 页ISBN:354031332X
geometry and quantum field theory : proceedings of the 2002 Oxford symposium in the honour of the 60th birthday of Graeme Segal2004 年出版577 页ISBN:0521540496