-
1
-
-
46749096293
-
-
L. Alberti, G. Comte, and B. Mourrain. Meshing implicit algebraic surfaces: the smooth case. In L.L. Schumaker M. Maehlen, K. Morken, editor, Mathematical Methods for Curves and Surfaces: Tromso'04, pages 11-26. Nashboro, 2005.
-
L. Alberti, G. Comte, and B. Mourrain. Meshing implicit algebraic surfaces: the smooth case. In L.L. Schumaker M. Maehlen, K. Morken, editor, Mathematical Methods for Curves and Surfaces: Tromso'04, pages 11-26. Nashboro, 2005.
-
-
-
-
2
-
-
17144371251
-
Computing the topology of real algebraic space curves
-
J. Gerardo Alcázar and J. Rafael Sendra. Computing the topology of real algebraic space curves. J. Symbolic Comput., 39:719-744, 2005.
-
(2005)
J. Symbolic Comput
, vol.39
, pp. 719-744
-
-
Gerardo Alcázar, J.1
Rafael Sendra, J.2
-
4
-
-
33646122694
-
Determining the topology of real algebraic surfaces
-
Mathematics of Surfaces, number in, Springer-Verlag
-
J.-S. Cheng, X.-S. Gao, and M. Li. Determining the topology of real algebraic surfaces. In Mathematics of Surfaces, number 3604 in LNCS, pages 121-146. Springer-Verlag, 2005.
-
(2005)
LNCS
, vol.3604
, pp. 121-146
-
-
Cheng, J.-S.1
Gao, X.-S.2
Li, M.3
-
5
-
-
85029837057
-
Quantifier elimination for real closed fields by cylindrical algebraic decomposition
-
Proc. 2nd GI Conference on Automata Theory and Formal Languages, of, SpringerVerlag
-
G. E. Collins. Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In Proc. 2nd GI Conference on Automata Theory and Formal Languages, volume 33 of Lecture Notes Comput. Sci., pages 134-183. SpringerVerlag, 1975.
-
(1975)
Lecture Notes Comput. Sci
, vol.33
, pp. 134-183
-
-
Collins, G.E.1
-
6
-
-
46749106288
-
-
A. Dickenstein, M.J. Rojas, Rusekz K., Shihx, and J. Extremal real algebraic geometry and adiscriminants. Preprint, 2007.
-
A. Dickenstein, M.J. Rojas, Rusekz K., Shihx, and J. Extremal real algebraic geometry and adiscriminants. Preprint, 2007.
-
-
-
-
7
-
-
33748959696
-
Almost tight recursion tree bounds for the descartes method
-
ACM Press. New York, NY, USA
-
A. Eigenwillig, V. Sharma, and C. K. Yap. Almost tight recursion tree bounds for the descartes method. In ISSAC '06: Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation, pages 71-78. ACM Press. New York, NY, USA, 2006.
-
(2006)
ISSAC '06: Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation
, pp. 71-78
-
-
Eigenwillig, A.1
Sharma, V.2
Yap, C.K.3
-
9
-
-
46749147512
-
Real algebraic numbers: Complexity analysis and experimentations
-
Reliable Implementation of Real Number Algorithms: Theory and Practice, Springer-Verlag, To appear also available at
-
I. Z. Emiris, B. Mourrain, and E. P. Tsigaridas. Real algebraic numbers: Complexity analysis and experimentations. In Reliable Implementation of Real Number Algorithms: Theory and Practice, LNCS. Springer-Verlag, 2007. To appear (also available at http://hal.inria.fr/inria-00071370).
-
(2007)
LNCS
-
-
Emiris, I.Z.1
Mourrain, B.2
Tsigaridas, E.P.3
-
11
-
-
33646164583
-
Computing the topology of 3dimensional algebraic curves
-
Springer-Verlag
-
G. Gatellier, A. Labrouzy, B. Mourrain, and J.-P. Técourt. Computing the topology of 3dimensional algebraic curves. In Computational Methods for Algebraic Spline Surfaces, pages 27-44. Springer-Verlag, 2005.
-
(2005)
Computational Methods for Algebraic Spline Surfaces
, pp. 27-44
-
-
Gatellier, G.1
Labrouzy, A.2
Mourrain, B.3
Técourt, J.-P.4
-
12
-
-
0036895253
-
Efficient topology determination of implicitly defined algebraic plane curves
-
L. González-Vega and I. Necula. Efficient topology determination of implicitly defined algebraic plane curves. Comput. Aided Geom. Design, 19(9):719-743, 2002.
-
(2002)
Comput. Aided Geom. Design
, vol.19
, Issue.9
, pp. 719-743
-
-
González-Vega, L.1
Necula, I.2
-
14
-
-
34249907012
-
Guaranteed Consistency of Surface Intersections and Trimmed Surfaces Using a Coupled Topology Resolution and Domain Decomposition Scheme
-
To appear
-
J. Hass, R. T. Farouki, C. Y. Han, X. Song, and T. W. Sederberg. Guaranteed Consistency of Surface Intersections and Trimmed Surfaces Using a Coupled Topology Resolution and Domain Decomposition Scheme. Advances in Computational Mathematics, 2007. To appear.
-
(2007)
Advances in Computational Mathematics
-
-
Hass, J.1
Farouki, R.T.2
Han, C.Y.3
Song, X.4
Sederberg, T.W.5
-
15
-
-
84972536245
-
On the number of branches of a plane curve germ
-
T. Fukuda et W. Z. Sun K. Aoki. On the number of branches of a plane curve germ. Kodai Math. Journal, 9:179-187, 1986.
-
(1986)
Kodai Math. Journal
, vol.9
, pp. 179-187
-
-
Fukuda, T.1
Sun, W.Z.2
Aoki, K.3
-
16
-
-
0033701512
-
Efficient and exact manipulation of algebraic points and curves
-
J. Keyser, T. Culver, D. Manocha, and S. Krishnan. Efficient and exact manipulation of algebraic points and curves. Computer-Aided Design, 32(11):649-662, 2000.
-
(2000)
Computer-Aided Design
, vol.32
, Issue.11
, pp. 649-662
-
-
Keyser, J.1
Culver, T.2
Manocha, D.3
Krishnan, S.4
-
19
-
-
0003210780
-
Degree theory
-
Cambridge University Press, Cambridge
-
N. G. Lloyd. Degree theory. Cambridge University Press, Cambridge, 1978. Cambridge Tracts in Mathematics, No. 73.
-
(1978)
Cambridge Tracts in Mathematics
, vol.73
-
-
Lloyd, N.G.1
-
20
-
-
0023381475
-
Marching cubes: A high resolution 3d surface construction algor ithm
-
W. Lorensen and H. Cline. Marching cubes: a high resolution 3d surface construction algor ithm. Comput. Graph., 21(4):163-170, 1987.
-
(1987)
Comput. Graph
, vol.21
, Issue.4
, pp. 163-170
-
-
Lorensen, W.1
Cline, H.2
-
21
-
-
33748062712
-
Subdivision methods for solving polynomial equations
-
Technical Report 5658, INRIA Sophia-Antipolis
-
B. Mourrain and J.-P. Pavone. Subdivision methods for solving polynomial equations. Technical Report 5658, INRIA Sophia-Antipolis, 2005.
-
(2005)
-
-
Mourrain, B.1
Pavone, J.-P.2
-
23
-
-
38049004351
-
Isotopic meshing of a real algebraic surface
-
Technical Report 5508, INRIA Sophia-Antipolis
-
B. Mourrain and J.P. Técourt. Isotopic meshing of a real algebraic surface. Technical Report 5508, INRIA Sophia-Antipolis, 2005.
-
(2005)
-
-
Mourrain, B.1
Técourt, J.P.2
-
24
-
-
0036289713
-
On the complexity of isolating real roots and computing with certainty the topological degree
-
B. Mourrain, M. Vrahatis, and J. Yakoubsohn. On the complexity of isolating real roots and computing with certainty the topological degree. Journal of Complexity, 18:612-640, 2002.
-
(2002)
Journal of Complexity
, vol.18
, pp. 612-640
-
-
Mourrain, B.1
Vrahatis, M.2
Yakoubsohn, J.3
-
25
-
-
33746887868
-
Scci-hybrid methods for 2d curve tracing
-
Helmut Ratschek and Jon G. Rokne. Scci-hybrid methods for 2d curve tracing. Int. J. Image Graphics, 5(3):447-480, 2005.
-
(2005)
Int. J. Image Graphics
, vol.5
, Issue.3
, pp. 447-480
-
-
Ratschek, H.1
Rokne, J.G.2
-
26
-
-
46749098928
-
Interactive visualization of implicit surfaces with singularities
-
Angela Rösch, Matthias Ruhl, and Dietmar Saupe. Interactive visualization of implicit surfaces with singularities. In Implicit Surfaces, pages 73-87, 1996.
-
(1996)
Implicit Surfaces
, pp. 73-87
-
-
Rösch, A.1
Ruhl, M.2
Saupe, D.3
-
27
-
-
38249026736
-
Algorithm for algebraic curve intersection
-
T. Sederberg. Algorithm for algebraic curve intersection. Computer Aided Design, 21:547-554, 1989.
-
(1989)
Computer Aided Design
, vol.21
, pp. 547-554
-
-
Sederberg, T.1
-
28
-
-
33846075622
-
Contouring 1- and 2-Manifolds in Arbitrary Dimensions
-
J.-K. Seong, G. Elber, and M.-S. Kim. Contouring 1- and 2-Manifolds in Arbitrary Dimensions. In SMI'05, pages 218-227, 2005.
-
(2005)
SMI'05
, pp. 218-227
-
-
Seong, J.-K.1
Elber, G.2
Kim, M.-S.3
-
29
-
-
0027684098
-
Computation of the solutions of nonlinear polynomial systems
-
E. C. Sherbrooke and N. M. Patrikalakis. Computation of the solutions of nonlinear polynomial systems. Comput. Aided Geom. Design, 10(5):379-405, 1993.
-
(1993)
Comput. Aided Geom. Design
, vol.10
, Issue.5
, pp. 379-405
-
-
Sherbrooke, E.C.1
Patrikalakis, N.M.2
-
31
-
-
0001912148
-
On the number of branches of a 1-dimensional semianalytic set
-
Z. Szafraniec. On the number of branches of a 1-dimensional semianalytic set. Kodai Math. J., 11(1):78-85, 1988.
-
(1988)
Kodai Math. J
, vol.11
, Issue.1
, pp. 78-85
-
-
Szafraniec, Z.1
|