Author of the publication

Checking Geometric Programs or Verification of Geometric Structures.

, , , , , , and . Symposium on Computational Geometry, page 159-165. ACM, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

On the Zone Theorem for Hyperplane Arrangements., , and . SIAM J. Comput., 22 (2): 418-429 (1993)Counting and Cutting Cycles of Lines and Rods in Space., , , , , , and . Comput. Geom., (1991)Computing Convolutions by Reciprocal Search., and . SCG, page 90-99. ACM, (1986)Better Lower Bounds on Detecting Affine and Spherical Degeneracies, and . FOCS, page 528-536. IEEE Computer Society, (1993)Constructing Arrangements of Lines and Hyperplanes with Applications, , and . FOCS, page 83-91. IEEE Computer Society, (1983)Counting and cutting cycles of lines and rods in space, , , , , , and . Computational Geometry: Theory and Applications, 1 (6): 305―323 (1992)Constructing Arrangements of Lines and Hyperplanes with Applications., , and . SIAM J. Comput., 15 (2): 341-363 (1986)Efficiently Computing And Representing Aspect Graphs Of Polyhedral Objects., , and . ICCV, page 30-39. IEEE, (1988)Arrangements of Curves in the Plane - Topology, Combinatorics, and Algorithms., , , , , and . ICALP, volume 317 of Lecture Notes in Computer Science, page 214-229. Springer, (1988)A New Method for Solving Constraint Satisfaction Problems.. IJCAI, page 338-342. William Kaufmann, (1981)