Verwandte Artikel zu Automated Deduction in Geometry: International Workshop...

Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers ... Notes in Computer Science, 1360, Band 1360) - Softcover

 
9783540642978: Automated Deduction in Geometry: International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers ... Notes in Computer Science, 1360, Band 1360)
Softcover
ISBN 10: 3540642978 ISBN 13: 9783540642978
Verlag: Springer, 2008

Inhaltsangabe

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Xiaohu You received the B.S., M.S. and Ph.D. degrees in electrical engineering from Nanjing Institute of Technology, Nanjing, China, in 1982, 1985, and 1989, respectively. From 1987 to 1989, he was with Nanjing Institute of Technology as a Lecturer. From 1990 to the present time, he has been with Southeast University, first as an Associate Professor and later as a Professor. His research interests include mobile communications, adaptive signal processing, and artificial neural networks with applications to communications and biomedical engineering. He is the Chief of the Technical Group of China 3G/B3G Mobile Communication R & D Project. Dr. You received the excellent paper prize from the China Institute of Communications in 1987 and the Elite Outstanding Young Teacher Awards from Southeast University in 1990, 1991, and 1993. He was also a recipient of the 1989 Young Teacher Award of Fok Ying Tung Education Foundation, State Education Commission of China. Dongming Wangreceived the B.S. degree from Chongqing University of Posts and Telecommunications in 1999, the M.S. degree from Nanjing University of Posts and Telecommunications in 2002, and the Ph. D. degree from Southeast University in 2006. He joined the National Mobile Communications Research Laboratory at Southeast University, China, in 2006, where he is currently a Professor. His research interests include signal processing for wireless communications, large-scale distributed MIMO systems (cell-free massive MIMO).Jiangzhou Wang is currently a Professor and the former Head of the School of Engineering and Digital Arts at the University of Kent, U.K. He has published over 300 papers in international journals and conferences and four books in the areas of wireless mobile communications. Professor Wang is a Fellow of the Royal Academy of Engineering, U.K., and a Fellow of the IEEE. He was a recipient of the Best Paper Award from the IEEE GLOBECOM2012. He was an IEEE Distinguished Lecturer from 2013 to 2014. He was the Technical Program Chair of the 2019 IEEE International Conference on Communications (ICC2019), Shanghai, the Executive Chair of the IEEE ICC2015, London, and the Technical Program Chair of the IEEE WCNC2013. He has served as an Editor for a number of international journals, including IEEE Transactions on Communications from 1998 to 2013.

Von der hinteren Coverseite

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540642978
ISBN 13 
9783540642978
Einband
Taschenbuch
Anzahl der Seiten
247
Herausgeber
Wang Dongming
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland