点击查看论文:
http://preprint.nstl.gov.cn/newprint/search/result.jsp?d=fileinfo&flag=sear&r=1142671836850
已经获准参加国际会议
Dear ADG contributor: it is my pleasure to inform you that the PC
Committee has decided to accept your contribution. Attached please
find the referees' reports.
As described in the call for papers (see
http://webs.uvigo.es/adg2006/cfp.html ), all accepted contributions
will be published as an internal working document that will be handled
to the participants at the meeting.
For this purpose we urge you to
-revise your contribution according to the referees' suggestions
-follow strictly the guidelines for publication as established in
http://webs.uvigo.es/adg2006/cfp.html , ie. follow the standard
Springer Proceedings format (llncs2e.cls, etc.).
This is crucial for the coherence of the internal working document
(page numbers, author index, style, etc). we have referred to.
NO Word files, etc., please.
-send your revised and formatted file (SOURCE file and EPS of figures)
to adg2006#@uvigo.es before JUNE 30.
Do not forget to register in ADG and to take care of your hotel
reservation (as soon as possible: there is a deadline for a number of
rooms pre-reserved for the ADG), see
http://webs.uvigo.es/adg2006/index.html
Thanks again.
See you in Pontevedra.
Tomas Recio
中国科学院研究员的意见
离开会还有较长时间,请对您的工作的“机器实现算法”,和与其他可读证明算法的比较,进行完善(如没有则努力完成之)。
我没有选择审理您的报告(需要避嫌)。从三位审理意见,您的工作得到很好的评价。
只有在以上两个问题上有清楚的工作,您的贡献才能被正确评价。
另:他们询问你的通信地址,请及时告知。如你有财力困难,可以向他们申请免除注册费。
请求高手们指导应该如何写出下面问题的算法?已经编写出Mathematica程序,为什么还要写算法?证明思路就应该是算法吗?
EB、EC分别交圆O于AD,AC、BD交于G,AD、BC交于F,求证:OG垂直EF。
思路:任意选定圆上四点A,B,C,D,用交点公式表示出E,F,G,按照条件证明即可
证明:设原点通过圆心,圆O是单位圆,可以写出Mathematica程序:
高手们:距离开会只有约两个月时间,还有许多工作要做,恳求帮忙!非常感谢!
更多问题证明的Mathematica程序请参考:
http://www.channelwest.com/bbs/showtopic.asp?TOPIC_ID=8234&Forum_ID=10
[此贴子已经被作者于2006-6-22 19:44:21编辑过]