%0 Conference Paper %1 conf/adg/YangHX98 %A Yang, Lu %A Hou, Xiaorong %A Xia, Bican %B Automated Deduction in Geometry %D 1998 %E Gao, Xiao-Shan %E Wang, Dongming %E Yang, Lu %I Springer %K dblp %P 30-46 %T Automated Discovering and Proving for Geometric Inequalities. %U http://dblp.uni-trier.de/db/conf/adg/adg1998.html#YangHX98 %V 1669 %@ 3-540-66672-9

@inproceedings{conf/adg/YangHX98, added-at = {2017-05-24T00:00:00.000+0200}, author = {Yang, Lu and Hou, Xiaorong and Xia, Bican}, biburl = {https://www.bibsonomy.org/bibtex/2d103478c81c71a05aa2583cd1078a546/dblp}, booktitle = {Automated Deduction in Geometry}, crossref = {conf/adg/1998}, editor = {Gao, Xiao-Shan and Wang, Dongming and Yang, Lu}, ee = {https://doi.org/10.1007/3-540-47997-X_3}, interhash = {2e0072e06555a352036ec4812602142a}, intrahash = {d103478c81c71a05aa2583cd1078a546}, isbn = {3-540-66672-9}, keywords = {dblp}, pages = {30-46}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-11-20T11:40:27.000+0100}, title = {Automated Discovering and Proving for Geometric Inequalities.}, url = {http://dblp.uni-trier.de/db/conf/adg/adg1998.html#YangHX98}, volume = 1669, year = 1998 }