|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
Alefeld, G and j. Herzberger, Introduction to Interval Computation, translated by Jon Rokne, Academic Press, N.Y. 1983
|
| |
3
|
Ax, J., Schanuel's Conjecture, Ann Math 93 (1971), 252-68
|
| |
4
|
Baker, A., Transcendental Number Theory, Cambridge University Press, 1975
|
| |
5
|
A. Gabrielov, Multiplicities of pfaffian intersections, and the Lojasiewicz inequality, Selecta Mathematica, vol 1, no 1, p 113-127, 1995
|
| |
6
|
Gabrielov, A. and N. Vorobjov, Complexity of stratifications of semi-pfaffian sets, Discrete and Computational Geometry, to appear.
|
| |
7
|
Gonzalez-Vega, L., and G. Trujillo, Topological degree methods determining the existence of a real solution for a polynomial system of equations, preprint, 1995. email: gvega~matsunl.unican.es
|
| |
8
|
Kang,J., Wu stratification and retract decomposition, preprint, Bath University, submitted to MEGA 1996
|
| |
9
|
Lenstra, A. K., H. W. Lenstra, L. Lovasz, Factoring Polynomials with rational coefficients. Math Ann 261, pp 513-534
|
| |
10
|
Lloyd, N.G., Degree Theory, Cambridge University Press, 1978
|
| |
11
|
Macintyre, A.J. and A. J. Wilkie, On the decidability of the real exponential field, to appear
|
| |
12
|
Rabinowitz, P., (Ed), Numerical Methods for Nonhnear Algebraic Equations, Gordon and Breach, 1970
|
| |
13
|
Richardson, D., Finding roots of equations involving solutions of first order algebraic differential equations, pp 427-440 in Effective Methods in Algebraic Geometry, (Teo Mora and Carlo Traverso Eds), Birkhauser 1991
|
 |
14
|
|
| |
15
|
|
| |
16
|
Rosenlicht, M., On Liouville's Theory of Elementary Functions, Pacific Journal of Mathematics, vol 65, no 2, 1976, pp 485-492
|
| |
17
|
|
| |
18
|
Wilkie, A.J., On the theory of the real exponential field, Illinois J. of Math, 33, No 3, pp 384-408
|
| |
19
|
Wilkie, A.J., Model completeness results for expansions of the real field, I: restricted Pfaffian functions, and II: the exponential function, to appear in Journal of the American Math. Soc.
|
| |
20
|
Chou, S.C., W. F. Schelter, and J. G. Yang, Characteristic Sets and Grobner Bases in Geometry Theorem Proving, Draft, Institute for Computing Science, The University of Texas, Austin, TX 78712
|
| |
21
|
Wu, W.T., Basic Principles of Mechanical Theorem Proving in Elementary Geometries, J. Sys. Sci. and Math. Scis, f(3), 1984, 207-235
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
F.2