хранилище/kolxo3/issue5─6/DVD12/_Papers/Computer_algebra/Determining zero/
01 010455 Burnikel et al. A strong computable separation bound for arithmetic expressions with radicals (Algorithmica 2000)(13s).pdf [request] 02-09-2013:02-44

02 010456 Chow. What is a closed-form number(11s).ps.gz [request] 02-09-2013:02-44

03 010457 Hur, Davenport. Exact zero determination for algebraic numbers(T)(6s).djvu [request] 02-09-2013:02-44

04 010458 Johnson S.C. Problem of recognizing zero (JACM 18, 559) (1971)(T)(7s).djvu [request] 02-09-2013:02-44

05 010459 Johnson S.C. Problem of recognizing zero (preprint)(T)(4s).djvu [request] 02-09-2013:02-44

06 010460 Langley, Richardson. What can we do with a solution (cca2002)(14s).ps.gz [request] 02-09-2013:02-44

07 010461 Richardson D. Simplified method for recognizing zero in constants (ISSAC95)(T)(6s).djvu [request] 02-09-2013:02-44

08 010462 Richardson, El-Sonbaty. Zero recognition of polynomial terms(11s).ps.gz [request] 02-09-2013:02-44

09 010463 Richardson, Fitch. Identity of elementary functions and constants (ISSAC94)(T)(6s).djvu [request] 02-09-2013:02-44

10 010464 Richardson, Langley. Some obervations about familiar numbers (2002)(14s).ps.gz [request] 02-09-2013:02-44

11 010465 Richardson. How to recognize zero (JSC24, 1997)(T)(19s).djvu [request] 02-09-2013:02-44

12 010466 Richardson. Recognizing zero(23s).ps.gz [request] 02-09-2013:02-44

13 010467 Richardson. Testing the uniformity conjecture(23s).ps.gz [request] 02-09-2013:02-44

14 010468 Richardson. Testing the uniformity conjecture.dvi.gz [request] 02-09-2013:02-44

15 010469 Richardson. The elementary constant problem (ISSAC92)(T)(9s).djvu [request] 02-09-2013:02-44

16 010470 Richardson. The uniformity conjecture(21s).ps.gz [request] 02-09-2013:02-44

17 010471 Richardson. The uniformity conjecture.dvi.gz [request] 02-09-2013:02-44

18 010472 Shackell, Van der Hoeven. Complexity bounds for zero-testing of polynomials(15s).ps.gz [request] 02-09-2013:02-44

19 010473 Van der Hoeven. Automatic numerical expansions 1994(14s).ps.gz [request] 02-09-2013:02-44

20 010474 Van der Hoeven. Complexity bounds for zero-test algorithms(14s).ps.gz [request] 02-09-2013:02-44

21 010475 Van der Hoeven. Witness for zero-testing(12s).ps.gz [request] 02-09-2013:02-44

22 010476 Van der Hoeven. Zero-test algorithms for functions(14s).ps.gz [request] 02-09-2013:02-44

23 010477 Wang. Undecidability of zeros of elementary functions(T)(4s).djvu [request] 02-09-2013:02-44