|
|
我的文章请点击：
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
请看外国专家的意见：
Paper Info
----------
Paper ID : 14
Paper Title : The technique for conjugate ratio for geometric theorem proving
Evaluation
----------
Use the following scheme:
Y = Yes, acceptable
N = No, not acceptable.
Scope : Y
Originality : Y
Presentation : Y
Overall : Y
Comments to the author
=================================================
Paper Info
----------
Paper ID: 14
Paper Title: The Technique of Conjugate Ratio for Geometric Theorem Proving
Evaluation
----------
Use the following scheme:
Y = Yes, acceptable
N = No, not acceptable.
Scope: Y
Originality: Y
Presentation: Y
Overall: Y
Comments to the author
----------------------
This is an interesting approach to GTP based on complex numbers. The description of the technique is clear and readable, with plenty of worked-out examples. It would be nice if the author could give an idea of the number of examples that have been proved with this approach along with timings (to enable us to gauge its efficiency, for instance). Also, there should be some (more detailed) comparison of the relative merits of this method with respect to other approaches, especially those that can produce readable proofs of similar results. The longer term plans for this project, if any, should be outlined.
======================================================
Paper Info
----------
Paper ID : 14
Paper Title : The Technique of Conjugate Ratio
for Geometric Theorem Proving
Evaluation
----------
Use the following scheme:
Y = Yes, acceptable
N = No, not acceptable.
Scope : Y-
Originality : Y-
Presentation : Y
Overall : Y
Comments to the author
----------------------
The proposed talk will demonstrate how to exploit the use of complex
numbers in automatic theorem proving. For this the author first sets up
several geometric primitive operations, like angle measurement, co-linearity, co-circularity, etc. and expresses these primitives as relations between
suitably chosen complex parameters. Here in particular the use of complex
conjugates is important to derive as relatively simple ratio formulas.
Later in the extended abstract it is shown how these complex expressions
can be used to derive relatively simple proofs of planar geometric theorems
involving circles, points and lines.
For me it is not clear how the proposed formulas can be used to automatically
deduce proofs for geometric theorems, since the author does not provide any
algorithmic methods how the primitive formulae are combined. Still he presents
a few nice examples where with his parameterizations nice proofs for geometric
theorems can be written. It is not clear, wheter these proves were found by hand
or automatically. One of the examples makes use of Mathematica, but there only
the "Solve" and "Simplify" routines were used.
Still I recommend the paper for presentation at the ADG, since at least nice
algebraic approaches are presented. It would be nice to see how these approaches
can be used in an automatic deduction system.
=========================================================
Paper Info
----------
Paper ID :
Paper Title : Technique of Conjugate Ratio for Geometric Theorem Proving
Evaluation
----------
Use the following scheme:
Y = Yes, acceptable
N = No, not acceptable.
Scope : Y
Originality : Y
Presentation : Y
Overall : marginal
Comments to the author
----------------------
The paper discusses the use of vector ration and conjugate
ratio for geometry theorem proving.
I liked the content of the paper very much.
I would have liked to see the comparison of the proposed
approach with the vector method, area method and other related method.
The abstract claims that the method generates readable proofs. I did not
see any evidence of that in the paper. Perhaps the presentation can focus
on that issue.
根据外国专家的评论，中国科学院一位研究员提出意见：
离开会还有较长时间，请对您的工作的“机器实现算法“，和与其他可读证明算法的比较，进行完善（如没有则努力完成之）。
我没有选择审理您的报告（需要避嫌）。从三位审理意见，您的工作得到很好的评价。
只有在以上两个问题上有清楚的工作，您的贡献才能被正确评价。
另：他们询问你的通信地址，请及时告知。如你有财力困难，可以向他们申请免除注册费。
请到五楼查看文章地址。
会议八月召开，请求高手们指导算法，非常感谢！
|
|
IP卡
狗仔卡
发表于 2006-6-25 18:58
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
显身卡
楼主