-
2
-
-
0003313986
-
Real algebraic geometry
-
Springer, 105
-
J. Bochnak, M. Coste, M.-F. Roy. Real Algebraic Geometry. Serie of Modern Surveys in Mathematics, Vol. 36, Springer, 1998. 105
-
(1998)
Serie of Modern Surveys in Mathematics
, vol.36
-
-
Bochnak, J.1
Coste, M.2
Roy, M.-F.3
-
4
-
-
9444292955
-
Solution d'une question particulière du calcul des inégalités
-
Paris, 107
-
J. B. J. Fourier. Solution d'une question particulière du calcul des inégalités. Oeuvre II, Paris, pp. 317-328, 1826. 107
-
(1826)
Oeuvre II
, pp. 317-328
-
-
Fourier, J.B.J.1
-
5
-
-
85025493187
-
Solving systems of polynomial inequalities in subexponential time
-
100, 107
-
D. Grigor'ev, N. Vorobjov. Solving systems of polynomial inequalities in subexponential time. J. Symbolic Comput., Vol. 5, pp. 37-64, 1988. 100, 107
-
(1988)
J. Symbolic Comput.
, vol.5
, pp. 37-64
-
-
Grigor'ev, D.1
Vorobjov, N.2
-
6
-
-
0003610914
-
-
Chelsea, New York, 100, 101
-
F. Haudorff. Set Theory. Chelsea, New York, 1962. 100, 101
-
(1962)
Set Theory
-
-
Haudorff, F.1
-
7
-
-
0003447191
-
-
Dover Publications Inc., New York, 100
-
J. G. Hocking and G. S. Young Topology. Dover Publications Inc., New York, 1988. 100
-
(1988)
Topology
-
-
Hocking, J.G.1
Young, G.S.2
-
8
-
-
0000455681
-
Solvability and consistency for linear equations and inequalities
-
107
-
H. W. Kuhn. Solvability and consistency for linear equations and inequalities. Amer. Math. Monthly, Vol. 63, pp 217-232, 1956. 107
-
(1956)
Amer. Math. Monthly
, vol.63
, pp. 217-232
-
-
Kuhn, H.W.1
-
10
-
-
0003043273
-
Enumerable sets are diophantine
-
Y. Matiiassevitch. Enumerable sets are diophantine. Doklady Akad.Nauk SSSR, Vol. 191, pp 279-282, 1970
-
(1970)
Doklady Akad.Nauk SSSR
, vol.191
, pp. 279-282
-
-
Matiiassevitch, Y.1
-
11
-
-
84884666924
-
-
106, 107
-
(English translation: Soviet Math. Doklady, pp 354-357, 1970). 106, 107
-
(1970)
Soviet Math. Doklady
, pp. 354-357
-
-
-
13
-
-
0034207550
-
Discretization in hausdorff space
-
99, 100, 101
-
C. Ronse and M. Tajine. Discretization in Hausdorff Space. Journal of Mathematical Imaging & Vision, Vol. 12, no 3, pp. 219-242, 2000. 99, 100, 101
-
(2000)
Journal of Mathematical Imaging & Vision
, vol.12
, Issue.3
, pp. 219-242
-
-
Ronse, C.1
Tajine, M.2
-
15
-
-
0001096069
-
A new decision method for elementary algebra
-
99, 105
-
A. Seidenberg. A new decision method for elementary algebra. Ann. of Math., Vol. 60, pp 365-374, 1954. 99, 105
-
(1954)
Ann. of Math.
, vol.60
, pp. 365-374
-
-
Seidenberg, A.1
-
16
-
-
0343119166
-
-
Submitted, 99, 100, 101, 103
-
M. Tajine and C. Ronse. Preservation of topology by Hausdorff discretization and comparison to other discretization schemes. Submitted, 1999. 99, 100, 101, 103
-
(1999)
Preservation of Topology by Hausdorff Discretization and Comparison to Other Discretization Schemes
-
-
Tajine, M.1
Ronse, C.2
-
19
-
-
84958754801
-
Hausdorff discretization and its comparison with other discretization schemes
-
Paris, LNCS Springer-Verlag, 99
-
M. Tajine, D. Wagner and C. Ronse. Hausdorff discretization and its comparison with other discretization schemes. DGCI'99, Paris, LNCS Springer-Verlag, Vol. 1568, pp. 399-410, 1999. 99
-
(1999)
DGCI'99
, vol.1568
, pp. 399-410
-
-
Tajine, M.1
Wagner, D.2
Ronse, C.3
-
20
-
-
0009207917
-
Sur les ensembles définissables de nombres réels
-
99, 105
-
A. Tarski. Sur les ensembles définissables de nombres réels. Fund. Math., Vol. 17, pp. 210-239, 1931. 99, 105
-
(1931)
Fund. Math.
, vol.17
, pp. 210-239
-
-
Tarski, A.1
-
21
-
-
0003431753
-
A decision method for elementary algebra and geometry
-
Berkeley and Los Angeles, 99, 105
-
A. Tarski. A decision method for elementary algebra and geometry. Tech. Rep., University of California Press, Berkeley and Los Angeles, 1951. 99, 105
-
(1951)
Tech. Rep., University of California Press
-
-
Tarski, A.1
-
22
-
-
0004028258
-
-
Mémoire de D. E. A. (M.Sc. Dissertation), Université Louis Pasteur, Strasbourg (France), 99, 100, 101
-
D. Wagner. Distance de Hausdorff et problème discret-continu. Mémoire de D. E. A. (M.Sc. Dissertation), Université Louis Pasteur, Strasbourg (France). 1997. 99, 100, 101
-
(1997)
Distance de Hausdorff et Problème Discret-continu
-
-
Wagner, D.1
-
23
-
-
0002253829
-
An approach to discretization based on the Hausdorff metric
-
Kluwer Academic Publishers. 99, 100, 101
-
D. Wagner, M. Tajine and C. Ronse. An approach to discretization based on the Hausdorff metric.ISMM'1998. Kluwer Academic Publishers. pp. 67-74, 1998. 99, 100, 101
-
(1998)
ISMM'1998
, pp. 67-74
-
-
Wagner, D.1
Tajine, M.2
Ronse, C.3
|