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