James H. Davenport

James Harold Davenport

	2011
68		James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe: Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings Springer 2011
67		Changbo Chen, James H. Davenport, Marc Moreno Maza, Bican Xia, Rong Xiao: Computing with semi-algebraic sets represented by triangular decomposition. ISSAC 2011: 75-82
66		Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy: On Kahan's Rules for Determining Branch Cuts. SYNASC 2011: 47-51
65		Frédéric Chyzak, James H. Davenport, Christoph Koutschan, Bruno Salvy: On Kahan's Rules for Determining Branch Cuts CoRR abs/1109.2809: (2011)
64		Saif Al-Kuwari, James H. Davenport, Russell J. Bradford: Cryptographic Hash Functions: Recent Design Trends and Security Notions. IACR Cryptology ePrint Archive 2011: 565 (2011)
	2010
63		James H. Davenport: The Challenges of Multivalued "Functions". AISC/MKM/Calculemus 2010: 1-12
62		Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao: Triangular decomposition of semi-algebraic systems. ISSAC 2010: 187-194
61		Jacques Carette, James H. Davenport: The Power of Vocabulary: The Case of Cyclotomic Polynomials CoRR abs/1002.0012: (2010)
60		Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao: Triangular Decomposition of Semi-algebraic Systems CoRR abs/1002.4784: (2010)
	2009
59		James H. Davenport, Michael Kohlhase: Unifying Math Ontologies: A Tale of Two Standards. Calculemus/MKM 2009: 263-278
58		Russell J. Bradford, James H. Davenport, Christopher J. Sangwin: A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy. Calculemus/MKM 2009: 75-89
57		Dalia Khader, Liqun Chen, James H. Davenport: Certificate-Free Attribute Authentication. IMA Int. Conf. 2009: 301-325
56		James Harold Davenport, Jacques Carette: The Sparsity Challenges. SYNASC 2009: 3-7
	2008
55		James H. Davenport: Effective Set Membership in Computer Algebra and Beyond. AISC/MKM/Calculemus 2008: 266-269
54		Jonathan Stratford, James H. Davenport: Unit Knowledge Management. AISC/MKM/Calculemus 2008: 382-397
53		James H. Davenport: AISC Meets Natural Typography. AISC/MKM/Calculemus 2008: 53-60
52		James H. Davenport, Paul Libbrecht: The Freedom to Extend OpenMath and its Utility. Mathematics in Computer Science 2(2): 379-398 (2008)
	2007
51		James H. Davenport: What Might "Understand a Function" Mean? Calculemus/MKM 2007: 55-65
50		Christopher W. Brown, James H. Davenport: The complexity of quantifier elimination and cylindrical algebraic decomposition. ISSAC 2007: 54-60
49		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
48		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
47		Olga Caprotti, James H. Davenport, Mike Dewar, Julian A. Padget: Mathematics on the (Semantic) NET. ESWS 2004: 213-224
46		James C. Beaumont, Russell J. Bradford, James H. Davenport, Nalina Phisanbut: A poly-algorithmic approach to simplifying elementary functions. ISSAC 2004: 27-34
45		Andrew A. Adams, James H. Davenport: Copyright Issues for MKM. MKM 2004: 1-16
	2003
44		Andrea Asperti, Bruno Buchberger, James H. Davenport: Mathematical Knowledge Management, Second International Conference, MKM 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings Springer 2003
43		James H. Davenport: The Geometry of Cn is Important for the Algebra of Elementary Functions. Algebra, Geometry, and Software Systems 2003: 207-224
42		Andrew J. Holt, James H. Davenport: Resolving Large Prime(s) Variants for Discrete Logarithm Computation. IMA Int. Conf. 2003: 207-222
41		James C. Beaumont, Russell J. Bradford, James H. Davenport: Better simplification of elementary functions through power series. ISSAC 2003: 30-36
40		James H. Davenport: MKM from Book to Computer: A Case Study. MKM 2003: 17-29
	2002
39		Russell J. Bradford, James H. Davenport: Towards better simplification of elementary functions. ISSAC 2002: 16-22
38		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)
37		James H. Davenport: Equality in Computer Algebra and Beyond. J. Symb. Comput. 34(4): 259-270 (2002)
	2001
36		Paul A. Crouch, James H. Davenport: Lattice Attacks on RSA-Encrypted IP and TCP. IMA Int. Conf. 2001: 329-338
	2000
35		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
34		Namhyun Hur, James H. Davenport: A Generic Root Operation for Exact Real Arithmetic. CCA 2000: 82-87
33		Namhyun Hur, James H. Davenport: An exact real algebraic arithmetic with equality determination. ISSAC 2000: 169-174
32		James H. Davenport: Abstract Data Types in Computer Algebra. MFCS 2000: 21-35
	1996
31		Brian J. Dupée, James H. Davenport: An Intelligent Interface to Numerical Routines. DISCO 1996: 252-262
	1993
30		James Harold Davenport, Yvon Siret, Evelyne Tournier: Computer algebra - systems and algorithms for algebraic computation (2. ed.). Academic Press 1993: I-XIX, 1-298
	1992
29		James H. Davenport: Primality Testing Revisited. ISSAC 1992: 123-129
	1991
28		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		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

Coauthor Index

1	J. A. Abbott	[18] [19]
2	Andrew A. Adams	[45]
3	Saif Al-Kuwari	[64]
4	Andrea Asperti	[44]
5	James C. Beaumont	[41] [46] [48] [49]
6	Adrian Bowyer	[20] [24]
7	Russell J. Bradford	[18] [23] [38] [39] [41] [46] [48] [49] [58] [64]
8	Christopher W. Brown	[50]
9	Bruno Buchberger	[44]
10	Olga Caprotti	[47]
11	Jacques Carette	[56] [61]
12	Changbo Chen	[60] [62] [67]
13	Liqun Chen	[57]
14	Frédéric Chyzak	[65] [66]
15	Don Coppersmith	[11]
16	Robert M. Corless	[35] [38]
17	Paul A. Crouch	[36]
18	Mike Dewar	[47]
19	Brian J. Dupée	[31]
20	William M. Farmer	[68]
21	Patrizia M. Gianni	[28]
22	Joos Heintz	[22]
23	Andrew J. Holt	[42]
24	Namhyun Hur	[33] [34]
25	David J. Jeffrey	[35] [38]
26	Richard D. Jenks	[4]
27	Dalia Khader	[57]
28	Michael Kohlhase	[59]
29	Christoph Koutschan	[65] [66]
30	Paul Libbrecht	[52]
31	Gurjeet Litt	[35]
32	R. J. Macmillan	[9]
33	John P. May	[60] [62]
34	Marc Moreno Maza	[60] [62] [67]
35	Philip S. Milne	[20] [24]
36	A. C. Norman	[2]
37	Julian A. Padget	[14] [20] [24] [47]
38	Nalina Phisanbut	[46] [48] [49]
39	Florian Rabe	[68]
40	Bruno Salvy	[65] [66]
41	Christopher J. Sangwin	[58]
42	Michael F. Singer	[13]
43	Yvon Siret	[30]
44	Jonathan Stratford	[54]
45	Evelyne Tournier	[30]
46	Barry M. Trager	[12] [26] [28]
47	Josef Urban	[68]
48	Andrew F. Wallis	[20] [24]
49	Stephen M. Watt	[35] [38]
50	Bican Xia	[60] [62] [67]
51	Rong Xiao	[60] [62] [67]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page