The SCEAS System
| |||||||

## Search the dblp DataBase
James H. Davenport:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - James H. Davenport
**Symbolic and Numeric Manipulation of Integrals.**[Citation Graph (0, 0)][DBLP] Accurate Scientific Computations, 1985, pp:168-180 [Conf] - 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] - Namhyun Hur, James H. Davenport
**A Generic Root Operation for Exact Real Arithmetic.**[Citation Graph (0, 0)][DBLP] CCA, 2000, pp:82-87 [Conf] - James H. Davenport
**The Geometry of C**[Citation Graph (0, 0)][DBLP]^{n}is Important for the Algebra of Elementary Functions. Algebra, Geometry, and Software Systems, 2003, pp:207-224 [Conf] - James H. Davenport
**Current Problems in Computer Algebra Systems Design.**[Citation Graph (0, 0)][DBLP] DISCO, 1990, pp:1-9 [Conf] - 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] - Brian J. Dupée, James H. Davenport
**An Intelligent Interface to Numerical Routines.**[Citation Graph (0, 0)][DBLP] DISCO, 1996, pp:252-262 [Conf] - 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] - James H. Davenport
**Integration - What do we want from the theory?**[Citation Graph (0, 0)][DBLP] EUROCAL, 1983, pp:2-11 [Conf] - James H. Davenport
**The Parallel Risch Algorithm (I).**[Citation Graph (0, 0)][DBLP] EUROCAM, 1982, pp:144-157 [Conf] - 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] - James H. Davenport
**Factorization of sparse polynominals.**[Citation Graph (0, 0)][DBLP] EUROCAL, 1983, pp:214-224 [Conf] - 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] - 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] - 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] - James H. Davenport
**The computerization of algebraic geometry.**[Citation Graph (0, 0)][DBLP] EUROSAM, 1979, pp:119-133 [Conf] - James H. Davenport
**Integration of algebraic functions.**[Citation Graph (0, 0)][DBLP] EUROSAM, 1979, pp:415-425 [Conf] - James H. Davenport
**y'+ fy = g.**[Citation Graph (0, 0)][DBLP] EUROSAM, 1984, pp:341-350 [Conf] - A. C. Norman, James H. Davenport
**Integration -- the dust settles? (invited).**[Citation Graph (0, 0)][DBLP] EUROSAM, 1979, pp:398-407 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - Russell J. Bradford, James H. Davenport
**Towards better simplification of elementary functions.**[Citation Graph (0, 0)][DBLP] ISSAC, 2002, pp:16-22 [Conf] - Russell J. Bradford, James H. Davenport
**Effective Tests for Cyclotonic Polynomials.**[Citation Graph (0, 0)][DBLP] ISSAC, 1988, pp:244-251 [Conf] - James H. Davenport
**Primality Testing Revisited.**[Citation Graph (0, 0)][DBLP] ISSAC, 1992, pp:123-129 [Conf] - 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] - Namhyun Hur, James H. Davenport
**An exact real algebraic arithmetic with equality determination.**[Citation Graph (0, 0)][DBLP] ISSAC, 2000, pp:169-174 [Conf] - James H. Davenport, Richard D. Jenks
**MODLISP.**[Citation Graph (0, 0)][DBLP] LISP Conference, 1980, pp:65-74 [Conf] - James H. Davenport
**Abstract Data Types in Computer Algebra.**[Citation Graph (0, 0)][DBLP] MFCS, 2000, pp:21-35 [Conf] - James H. Davenport
**MKM from Book to Computer: A Case Study.**[Citation Graph (0, 0)][DBLP] MKM, 2003, pp:17-29 [Conf] - Andrew A. Adams, James H. Davenport
**Copyright Issues for MKM.**[Citation Graph (0, 0)][DBLP] MKM, 2004, pp:1-16 [Conf] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - 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] - James H. Davenport
**What Might "Understand a Function" Mean?**[Citation Graph (0, 0)][DBLP] Calculemus/MKM, 2007, pp:55-65 [Conf] **AISC Meets Natural Typography.**[Citation Graph (, )][DBLP]**Effective Set Membership in Computer Algebra and Beyond.**[Citation Graph (, )][DBLP]**Unit Knowledge Management.**[Citation Graph (, )][DBLP]**The Challenges of Multivalued "Functions".**[Citation Graph (, )][DBLP]**Certificate-Free Attribute Authentication.**[Citation Graph (, )][DBLP]**A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy.**[Citation Graph (, )][DBLP]**Unifying Math Ontologies: A Tale of Two Standards.**[Citation Graph (, )][DBLP]**Testing elementary function identities using CAD.**[Citation Graph (, )][DBLP]**The Power of Vocabulary: The Case of Cyclotomic Polynomials**[Citation Graph (, )][DBLP]**Triangular Decomposition of Semi-algebraic Systems**[Citation Graph (, )][DBLP]
Search in 0.066secs, Finished in 0.068secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |