Automated Deduction in Geometry: 5th International...

Main
Computers - Computer Science
Automated Deduction in Geometry: 5th...

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004. Revised Papers

Laura I. Meikle, Jacques D. Fleuriot (auth.), Hoon Hong, Dongming Wang (eds.)

0 / 0

0 comments

이 책이 얼마나 마음에 드셨습니까?

파일의 품질이 어떻습니까?

책의 품질을 평가하시려면 책을 다운로드하시기 바랍니다

다운로드된 파일들의 품질이 어떻습니까?

This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004.

The 12 revised full papers presented were carefully selected from the papers accepted for the workshop after careful reviewing. All current issues in the area are addressed - theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.

카테고리:

Computers - Computer Science

년:

2006

판:

출판사:

Springer-Verlag Berlin Heidelberg

언어:

english

페이지:

213

ISBN 10: