Axioms and Hulls

Axioms and Hulls

Author: Donald E. Knuth

Publisher: Springer

ISBN: 3540556117

Category: Computers

Page: 114

View: 205

Download BOOK ยป

One way to advance the science of computational geometry is to make a comprehensive study of fundamental operations that are used in many different algorithms. This monograph attempts such an investigation in the case of two basic predicates: the counterclockwise relation pqr, which states that the circle through points (p, q, r) is traversed counterclockwise when we encounter the points in cyclic order p, q, r, p,...; and the incircle relation pqrs, which states that s lies inside that circle if pqr is true, or outside that circle if pqr is false. The author, Donald Knuth, is one of the greatest computer scientists of our time. A few years ago, he and some of his students were looking at amap that pinpointed the locations of about 100 cities. They asked, "Which ofthese cities are neighbors of each other?" They knew intuitively that some pairs of cities were neighbors and some were not; they wanted to find a formal mathematical characterization that would match their intuition.This monograph is the result.
Axioms and Hulls
Language: en
Pages: 114
Authors: Donald E. Knuth
Categories: Computers
Type: BOOK - Published: 1992-06-10 - Publisher: Springer

One way to advance the science of computational geometry is to make a comprehensive study of fundamental operations that are used in many different algorithms. This monograph attempts such an investigation in the case of two basic predicates: the counterclockwise relation pqr, which states that the circle through points (p,
Axioms and Hulls
Language: en
Pages: 109
Authors: Donald Ervin Knuth
Categories: Mathematics
Type: BOOK - Published: 1992 - Publisher: Springer Verlag

"One way to advance the science of computational geometry is to make a comprehensive study of fundamental operations that are used in many different algorithms. This monograph attempts such an investigation in the case of two basic predicates: the counterclockwise relation pqr, which states that the circle through points (p,
Automated Deduction in Geometry
Language: en
Pages: 211
Authors: Hoon Hong
Categories: Computers
Type: BOOK - Published: 2006-01-25 - Publisher: Springer Science & Business Media

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
Correct Hardware Design and Verification Methods
Language: en
Pages:
Authors: Hoon Hong
Categories: Computer software
Type: BOOK - Published: 1993 - Publisher:

Books about Correct Hardware Design and Verification Methods
Graph Drawing and Network Visualization
Language: en
Pages: 666
Authors: Therese Biedl, Andreas Kerren
Categories: Computers
Type: BOOK - Published: 2018-12-17 - Publisher: Springer

This book constitutes the refereed proceedings of the 26th International Symposium on Graph Drawing and Network Visualization, GD 2018, held in Barcelona, Spain, in September 2018. The 41 full papers presented in this volume were carefully reviewed and selected from 85 submissions. They were organized in topical sections named: planarity