期刊全稱 | Automated Deduction in Geometry | 期刊簡(jiǎn)稱 | 8th International Wo | 影響因子2023 | Pascal Schreck,Julien Narboux,Jürgen Richter-Geber | 視頻video | http://file.papertrans.cn/167/166254/166254.mp4 | 發(fā)行地址 | High quality selected papers.Unique visibility.State of the art reserach | 學(xué)科分類 | Lecture Notes in Computer Science | 圖書封面 |  | 影響因子 | .This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. .The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.. | Pindex | Conference proceedings 2011 |
The information of publication is updating
|
|