The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

James H. Davenport: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. James H. Davenport, Joos Heintz
    Real Quantifier Elimination is Doubly Exponential. [Citation Graph (1, 0)][DBLP]
    J. Symb. Comput., 1988, v:5, n:1/2, pp:29-35 [Journal]
  2. James H. Davenport
    Symbolic and Numeric Manipulation of Integrals. [Citation Graph (0, 0)][DBLP]
    Accurate Scientific Computations, 1985, pp:168-180 [Conf]
  3. Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt
    Reasoning about the Elementary Functions of Complex Analysis. [Citation Graph (0, 0)][DBLP]
    AISC, 2000, pp:115-126 [Conf]
  4. Namhyun Hur, James H. Davenport
    A Generic Root Operation for Exact Real Arithmetic. [Citation Graph (0, 0)][DBLP]
    CCA, 2000, pp:82-87 [Conf]
  5. James H. Davenport
    The Geometry of Cn is Important for the Algebra of Elementary Functions. [Citation Graph (0, 0)][DBLP]
    Algebra, Geometry, and Software Systems, 2003, pp:207-224 [Conf]
  6. James H. Davenport
    Current Problems in Computer Algebra Systems Design. [Citation Graph (0, 0)][DBLP]
    DISCO, 1990, pp:1-9 [Conf]
  7. James H. Davenport, Barry M. Trager
    Scratchpad's View of Algebra I: Basic Commutative Algebra. [Citation Graph (0, 0)][DBLP]
    DISCO, 1990, pp:40-54 [Conf]
  8. Brian J. Dupée, James H. Davenport
    An Intelligent Interface to Numerical Routines. [Citation Graph (0, 0)][DBLP]
    DISCO, 1996, pp:252-262 [Conf]
  9. Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget
    Mathematics on the (Semantic) NET. [Citation Graph (0, 0)][DBLP]
    ESWS, 2004, pp:213-224 [Conf]
  10. James H. Davenport
    Integration - What do we want from the theory? [Citation Graph (0, 0)][DBLP]
    EUROCAL, 1983, pp:2-11 [Conf]
  11. James H. Davenport
    The Parallel Risch Algorithm (I). [Citation Graph (0, 0)][DBLP]
    EUROCAM, 1982, pp:144-157 [Conf]
  12. J. A. Abbott, James H. Davenport
    Polynomial factorization: An exploration of Lenstra's algorithm. [Citation Graph (0, 0)][DBLP]
    EUROCAL, 1987, pp:391-402 [Conf]
  13. James H. Davenport
    Factorization of sparse polynominals. [Citation Graph (0, 0)][DBLP]
    EUROCAL, 1983, pp:214-224 [Conf]
  14. James H. Davenport, Julian A. Padget
    HEUGCD: How Elementary Upperbounds Generated Cheaper Data. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:18-28 [Conf]
  15. Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget, Andrew F. Wallis
    Applications of computer algebra in solid modelling. [Citation Graph (0, 0)][DBLP]
    EUROCAL, 1987, pp:244-245 [Conf]
  16. Michael F. Singer, James H. Davenport
    Elementary and Liouvillian Solutions of Linear Differential Equations. [Citation Graph (0, 0)][DBLP]
    European Conference on Computer Algebra (2), 1985, pp:595-596 [Conf]
  17. James H. Davenport
    The computerization of algebraic geometry. [Citation Graph (0, 0)][DBLP]
    EUROSAM, 1979, pp:119-133 [Conf]
  18. James H. Davenport
    Integration of algebraic functions. [Citation Graph (0, 0)][DBLP]
    EUROSAM, 1979, pp:415-425 [Conf]
  19. James H. Davenport
    y'+ fy = g. [Citation Graph (0, 0)][DBLP]
    EUROSAM, 1984, pp:341-350 [Conf]
  20. A. C. Norman, James H. Davenport
    Integration -- the dust settles? (invited). [Citation Graph (0, 0)][DBLP]
    EUROSAM, 1979, pp:398-407 [Conf]
  21. J. A. Abbott, Russell J. Bradford, James H. Davenport
    Factorisation of Polynominals: Old Ideas and Recent Results. [Citation Graph (0, 0)][DBLP]
    Trends in Computer Algebra, 1987, pp:81-91 [Conf]
  22. Andrew F. Wallis, Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget
    The Use of Symbolic Computation in Geometric Modelling. [Citation Graph (0, 0)][DBLP]
    IMA Conference on the Mathematics of Surfaces, 1988, pp:199-206 [Conf]
  23. Andrew J. Holt, James H. Davenport
    Resolving Large Prime(s) Variants for Discrete Logarithm Computation. [Citation Graph (0, 0)][DBLP]
    IMA Int. Conf., 2003, pp:207-222 [Conf]
  24. Paul A. Crouch, James H. Davenport
    Lattice Attacks on RSA-Encrypted IP and TCP. [Citation Graph (0, 0)][DBLP]
    IMA Int. Conf., 2001, pp:329-338 [Conf]
  25. James C. Beaumont, Russell J. Bradford, James H. Davenport
    Better simplification of elementary functions through power series. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2003, pp:30-36 [Conf]
  26. James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
    A poly-algorithmic approach to simplifying elementary functions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2004, pp:27-34 [Conf]
  27. James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut
    Adherence is better than adjacency: computing the Riemann index using CAD. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2005, pp:37-44 [Conf]
  28. Russell J. Bradford, James H. Davenport
    Towards better simplification of elementary functions. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2002, pp:16-22 [Conf]
  29. Russell J. Bradford, James H. Davenport
    Effective Tests for Cyclotonic Polynomials. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1988, pp:244-251 [Conf]
  30. James H. Davenport
    Primality Testing Revisited. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1992, pp:123-129 [Conf]
  31. James H. Davenport, Patrizia M. Gianni, Barry M. Trager
    Scratchpad's View of Algebra II: A Categorical View of Factorization. [Citation Graph (0, 0)][DBLP]
    ISSAC, 1991, pp:32-38 [Conf]
  32. Namhyun Hur, James H. Davenport
    An exact real algebraic arithmetic with equality determination. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2000, pp:169-174 [Conf]
  33. James H. Davenport, Richard D. Jenks
    MODLISP. [Citation Graph (0, 0)][DBLP]
    LISP Conference, 1980, pp:65-74 [Conf]
  34. James H. Davenport
    Abstract Data Types in Computer Algebra. [Citation Graph (0, 0)][DBLP]
    MFCS, 2000, pp:21-35 [Conf]
  35. James H. Davenport
    MKM from Book to Computer: A Case Study. [Citation Graph (0, 0)][DBLP]
    MKM, 2003, pp:17-29 [Conf]
  36. Andrew A. Adams, James H. Davenport
    Copyright Issues for MKM. [Citation Graph (0, 0)][DBLP]
    MKM, 2004, pp:1-16 [Conf]
  37. Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt
    Reasoning about the Elementary Functions of Complex Analysis. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 2002, v:36, n:3, pp:303-318 [Journal]
  38. R. J. Macmillan, James H. Davenport
    Factoring Medium-Sized Integers. [Citation Graph (0, 0)][DBLP]
    Comput. J., 1984, v:27, n:1, pp:84-85 [Journal]
  39. Don Coppersmith, James H. Davenport
    An Application of Factoring. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1985, v:1, n:2, pp:241-243 [Journal]
  40. James H. Davenport
    Equality in Computer Algebra and Beyond. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2002, v:34, n:4, pp:259-270 [Journal]
  41. James H. Davenport
    Elementary and Liouvillian Solutions of Linear Differential Equations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1986, v:2, n:3, pp:237-260 [Journal]
  42. James H. Davenport
    Computer Algebra Applied to Itself. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1988, v:6, n:1, pp:127-132 [Journal]
  43. James H. Davenport
    The Risch Differential Equation Problem. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 1986, v:15, n:4, pp:903-918 [Journal]
  44. James H. Davenport, Barry M. Trager
    On the Parallel Risch Algorithm (II). [Citation Graph (0, 0)][DBLP]
    ACM Trans. Math. Softw., 1985, v:11, n:4, pp:356-362 [Journal]
  45. Christopher W. Brown, James H. Davenport
    The complexity of quantifier elimination and cylindrical algebraic decomposition. [Citation Graph (0, 0)][DBLP]
    ISSAC, 2007, pp:54-60 [Conf]
  46. James H. Davenport
    What Might "Understand a Function" Mean? [Citation Graph (0, 0)][DBLP]
    Calculemus/MKM, 2007, pp:55-65 [Conf]

  47. AISC Meets Natural Typography. [Citation Graph (, )][DBLP]


  48. Effective Set Membership in Computer Algebra and Beyond. [Citation Graph (, )][DBLP]


  49. Unit Knowledge Management. [Citation Graph (, )][DBLP]


  50. The Challenges of Multivalued "Functions". [Citation Graph (, )][DBLP]


  51. Certificate-Free Attribute Authentication. [Citation Graph (, )][DBLP]


  52. A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy. [Citation Graph (, )][DBLP]


  53. Unifying Math Ontologies: A Tale of Two Standards. [Citation Graph (, )][DBLP]


  54. Testing elementary function identities using CAD. [Citation Graph (, )][DBLP]


  55. The Power of Vocabulary: The Case of Cyclotomic Polynomials [Citation Graph (, )][DBLP]


  56. Triangular Decomposition of Semi-algebraic Systems [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.282secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002