-
2
-
-
0030676674
-
Classic computational geometry with GeomNet
-
G. Barequet, S. S. Bridgeman, C. A. Duncan, M. T. Goodrich, and R. Tamassia. Classic computational geometry with GeomNet. In Proc. ACM Symp. Computational Geometry, 1997.
-
(1997)
Proc. ACM Symp. Computational Geometry
-
-
Barequet, G.1
Bridgeman, S.S.2
Duncan, C.A.3
Goodrich, M.T.4
Tamassia, R.5
-
3
-
-
0018515704
-
Algorithms for reporting and counting geometric intersections
-
J. L. Bentley and T. A. Ottmann. Algorithms for reporting and counting geometric intersections. IEEE Trans. Comput., C-28:643-647, 1979.
-
(1979)
IEEE Trans. Comput
, vol.C-28
, pp. 643-647
-
-
Bentley, J.L.1
Ottmann, T.A.2
-
4
-
-
0029214558
-
Designing programs that check their work
-
Jan
-
M. Blum and S, Katman. Designing programs that check their work. J. ACM, 42(1):269-291, Jan. 1995.
-
(1995)
J. ACM
, vol.42
, Issue.1
, pp. 269-291
-
-
Blum, M.1
Katman, S.2
-
6
-
-
51249179364
-
Triangulating a simple polygon in linear time
-
B. Chazelle. Triangulating a simple polygon in linear time. Discrete Comput. Geom., 6:485-524, 1991.
-
(1991)
Discrete Comput. Geom
, vol.6
, pp. 485-524
-
-
Chazelle, B.1
-
8
-
-
0347551138
-
-
Technical Report CS-95-26, Dept. Computer Science, Brown Univ
-
G. Di Battista, R. Tamassia, and L. Vismara. On-line convex planarity testing. Technical Report CS-95-26, Dept. Computer Science, Brown Univ., 1995. ftp://ftp.cs.brown.βdu/pub/techrβports/95/cs95-26.ps.Z.
-
(1995)
On-line convex planarity testing
-
-
Di Battista, G.1
Tamassia, R.2
Vismara, L.3
-
9
-
-
0030375767
-
Angles of planar triangular graphs
-
G. Di Battista and L. Vismara. Angles of planar triangular graphs. SIAM J. Discrete Math., 9(3):349-359, 1996.
-
(1996)
SIAM J. Discrete Math
, vol.9
, Issue.3
, pp. 349-359
-
-
Di Battista, G.1
Vismara, L.2
-
10
-
-
0001567493
-
On straight lines representation of planar graphs
-
I. Fary. On straight lines representation of planar graphs. Acta Sci. Math. Szeged., 11:229-233, 1948.
-
(1948)
Acta Sci. Math. Szeged
, vol.11
, pp. 229-233
-
-
Fary, I.1
-
11
-
-
77954536020
-
OBB-tree: A hierarchical structure for rapid interference detection
-
Proc. SIGGRAPH’96
-
S. Gottschalk, M. C. Lin, and D. Manocha. OBB-tree: A hierarchical structure for rapid interference detection. Comput. Graph., 1996. Proc. SIGGRAPH’96.
-
(1996)
Comput. Graph
-
-
Gottschalk, S.1
Lin, M.C.2
Manocha, D.3
-
12
-
-
0003780715
-
-
Addison-Wesley, Reading, MA
-
F. Harary. Graph Theory. Addison-Wesley, Reading, MA, 1972.
-
(1972)
Graph Theory
-
-
Harary, F.1
-
13
-
-
0016117886
-
Efficient planarity testing
-
J. Hopcroft and R. E. Tarjan. Efficient planarity testing. J. ACM, 21(4):549-568, 1974.
-
(1974)
J. ACM
, vol.21
, Issue.4
, pp. 549-568
-
-
Hopcroft, J.1
Tarjan, R.E.2
-
14
-
-
0346920004
-
Establishing order in planar subdivisions
-
D. G. Kirkpatrick. Establishing order in planar subdivisions. Discrete Comput. Geom., 3:267-280, 1988.
-
(1988)
Discrete Comput. Geom
, vol.3
, pp. 267-280
-
-
Kirkpatrick, D.G.1
-
15
-
-
0023209499
-
On approximation behavior of the greedy triangulation for convex polygons
-
C. Levcopoulos and A. Lingas. On approximation behavior of the greedy triangulation for convex polygons. Algorithmica, 2:175-193, 1987.
-
(1987)
Algorithmica
, vol.2
, pp. 175-193
-
-
Levcopoulos, C.1
Lingas, A.2
-
16
-
-
0032257723
-
Robust proximity queries: An illustration of degree-driven algorithm design
-
to appear
-
G. Liotta, F. P. Preparata, and R. Tamassia. Robust proximity queries: an illustration of degree-driven algorithm design. SIAM J. Computing, to appear.
-
SIAM J. Computing
-
-
Liotta, G.1
Preparata, F.P.2
Tamassia, R.3
-
19
-
-
0029719691
-
Checking geometric programs or verification of geometric structures
-
K. Mehlhorn, S. Näher, T. Sehilz, S. Schirra, M. Seel, R. Seidel, and C. Uhrig. Checking geometric programs or verification of geometric structures. In Proc. 12th Annu. ACM Sympos. Comput. Geom., pages 159-165, 1996.
-
(1996)
Proc. 12th Annu. ACM Sympos. Comput. Geom
, pp. 159-165
-
-
Mehlhorn, K.1
Näher, S.2
Sehilz, T.3
Schirra, S.4
Seel, M.5
Seidel, R.6
Uhrig, C.7
-
20
-
-
0346920010
-
-
Manuscript
-
K. Mehlhorn, S. Näher, T. Sehilz, S. Schirra, M. Seel, R. Seidel, and C. Uhrig. Checking geometric programs or verification of geometric structures. Manuscript, 1997.
-
(1997)
Checking geometric programs or verification of geometric structures
-
-
Mehlhorn, K.1
Näher, S.2
Sehilz, T.3
Schirra, S.4
Seel, M.5
Seidel, R.6
Uhrig, C.7
-
21
-
-
0029344123
-
Certification of computational results
-
G. F. Sullivan, D. S. Wilson, and G. M. Masson. Certification of computational results. IEEE Transactions on Computers, 44(7):833-847, 1995.
-
(1995)
IEEE Transactions on Computers
, vol.44
, Issue.7
, pp. 833-847
-
-
Sullivan, G.F.1
Wilson, D.S.2
Masson, G.M.3
|