Отправляет email-рассылки с помощью сервиса Sendsay
  Все выпуски  

Система компьютерной алгебры GAP: AUTOMATED DEDUCTION IN GEOMETRY



CALL FOR PARTICIPATION

AUTOMATED DEDUCTION IN GEOMETRY
ADG Workshop 2010
July 22-24 2010

ADG is a gathering of researchers who are particularly interested in
automatizing proofs in geometry, but are also interested in geometric
constraints satisfaction, algebra or computer aided proofs.
(See https://lsiit.u-strasbg.fr/adg2010/index.php/Main_Page for more
information)
Each two years, ADG organizes a workshop to exchange views and ideas in
these domains. The 2010 edition will be held in Munich.
If you are interested by ADG and/or by Munich (:-))
you are cordially invited to inscribe you at the following URL
https://lsiit.u-strasbg.fr/adg2010/index.php/Registration

Sincerely yours

Pascal Schreck
Chair of ADG 2010

В избранное