Hoon Hong - Böcker
Visar alla böcker från författaren Hoon Hong. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Automated Deduction in Geometry
5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers
Häftad, Engelska, 2006
551 kr
Skickas inom 10-15 vardagar
This book presents the thoroughly refereed post-proceedings of the 5th International Workshop on Automated Deduction in Geometry, ADG 2004, held at Gainesville, FL, USA in September 2004. The 12 revised full papers presented aurvey current issues theoretical and methodological topics as well as applications thereof - in particular automated geometry theorem proving, automated geometry problem solving, problems of dynamic geometry, and an object-oriented language for geometric objects.
Mathematical Software -- ICMS 2014
4th International Conference, Seoul, South Korea, August 5-9, 2014, Proceedings
Häftad, Engelska, 2014
535 kr
Skickas inom 10-15 vardagar
This book constitutes the proceedings of the 4th International Conference on Mathematical Software, ICMS 2014, held in Seoul, South Korea, in August 2014. The 108 papers included in this volume were carefully reviewed and selected from 150 submissions. The papers are organized in topical sections named: invited; exploration; group; coding; topology; algebraic; geometry; surfaces; reasoning; special; Groebner; triangular; parametric; interfaces and general.
Del 5 - Lecture Notes Series on Computing
Parallel Symbolic Computation Pasco '94 - Proceedings Of The First International Symposium
Inbunden, Engelska, 1994
2 500 kr
Tillfälligt slut
These proceedings are devoted to communicating significant developments in all areas pertinent to Parallel Symbolic Computation.The scope includes algorithms, languages, software systems and application in any area of parallel symbolic computation, where parallelism is interpreted broadly to include concurrent, distributive, cooperative schemes, and so forth.