Research

Items by Davenport, Professor James

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Jump to: 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1993 | 1991 | 1990 | 1989 | 1988 | 1987 | 1986 | 1985 | 1983 | 1982 | 1981 | 1979
Number of items: 90.

2014

Wilson, D., Bradford, R., Davenport, J. H. and England, M., 2014. Cylindrical algebraic sub-decompositions. Mathematics in Computer Science, 8 (2), pp. 263-288.

Huang, Z., England, M., Wilson, D., Davenport, J.H. and Paulson, L., 2014. Forthcoming. A comparison of three heuristics to choose the variable ordering for CAD. In: Proc. ISSAC 2014 (Poster Abstract). .

Huang, Z., England, M., Wilson, D., Davenport, J.H., Paulson, L. and Bridge, J., 2014. Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. In: Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. and Urban, J., eds. Intelligent Computer Mathematics. Vol. 8543. Springer Lecture Notes in Artificial Intelligence, pp. 92-107. (Lecture Notes in Artificial Intelligence)

England, M., Bradford, R.J., Davenport, J.H. and Wilson, D., 2014. Forthcoming. Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In: Proc. ICMS 2014. .

Davenport, J. H., Wilson, D., Graham, I., Sankaran, G., Spence, A., Blake, J. and Kynaston, S., 2014. Interdisciplinary teaching of computing to mathematics students : Programming and discrete mathematics. MSOR Connections

England, M., Bradford, R.J., Chen, C., Davenport, J.H., Moreno Maza, M. and Wilson, D., 2014. Problem formulation for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition. In: Watt, S. M., Davenport, J. H., Sexton, A. P., Sojka, P. and Urban, J., eds. Intelligent Computer Mathematics. Vol. 8543. Springer Lecture Notes in Artificial Intelligence, p. 45. (Lecture Notes in Artificial Intelligence)

Bradford, R., Davenport, J.H., England, M., McCallum, S. and Wilson, D., 2014. Truth table invariant cylindrical algebraic decomposition. Unpublished (Submitted)

Bradford, R.J., Chen, C., Davenport, J.H., England, M., Moreno Maza, M. and Wilson, D., 2014. Forthcoming. Truth table invariant cylindrical algebraic decomposition by regular chains.

England, M., Wilson, D., Bradford, R.J. and Davenport, J.H., 2014. Forthcoming. Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting. In: Proc. ICMS 2014. .

2013

Jones, J., Davenport, J. and Bradford, R., 2013. The changing relevance of the TLB. In: 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science (DCABES). Piscataway, NJ: IEEE, pp. 110-114.

Wilson, D., Bradford, R. J., Davenport, J. H. and England, M., 2013. The Piano Mover's Problem Reformulated. Other. Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series; CSBU-2013-03)

Chen, C., Davenport, J. H., May, J. P., Moreno Maza, M., Xia, B. and Xiao, R., 2013. Triangular decomposition of semi-algebraic systems. Journal of Symbolic Computation, 49, pp. 3-26.

Bradford, R., Davenport, J. and Wilson, D., 2013. A repository for CAD Examples. ACM Communications in Computer Algebra, 46 (3), pp. 67-69.

Wilson, D., Davenport, J. H., England, M. and Bradford, R. J., 2013. A "piano movers" problem reformulated. In: Proceedings of SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, pp. 53-60.

England, M., Cheb-Terrab, E., Bradford, R., Davenport, J. and Wilson, D., 2013. Branch Cuts in Maple 17. ACM Communications in Computer Algebra, 48 (1), pp. 24-27.

Bradford, R., Davenport, J. H., England, M., McCallum, S. and Wilson, D., 2013. Cylindrical algebraic decompositions for Boolean combinations. In: ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. New York: ACM, pp. 125-132.

Bradford, R., Davenport, J. H., England, M. and Wilson, D., 2013. Optimising problem formulation for cylindrical algebraic decomposition. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Intelligent Computer Mathematics. Berlin: Springer, pp. 19-34. (Lecture Notes in Computer Science; 7961)

England, M., Bradford, R., Davenport, J. H. and Wilson, D., 2013. Understanding branch cuts of expressions. In: Carette, J., Aspinall, D., Lange, C., Sojka, P. and Windsteiger, W., eds. Intelligent Computer Mathematics. Berlin: Springer, pp. 136-151. (Lecture Notes in Computer Science; 7961)

2012

Davenport, J., 2012. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012-09-25 - 2012-09-28, Timisoara.

Chen, C., Davenport, J.H., Moreno Maza, M., Xia, B. and Xiao, R., 2012. Computing with semi-algebraic sets : Relaxation techniques and effective boundaries. Journal of Symbolic Computation, 52, pp. 72-96.

Davenport, J.H., 2012. Small algorithms for small systems. ACM Communications in Computer Algebra, 46 (1-2), pp. 1-9.

Chyzak, F., Davenport, J. H., Koutschan, C. and Salvy, B., 2012. On Kahan's rules for determining branch cuts. In: Proc. SYNASC '11. IEEE Press.

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition. Working Paper.

Davenport, J., Bradford, R., England, M. and Wilson, D., 2012. Program Verification in the presence of complex numbers, functions with branch cuts etc. In: Proceedings of SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Piscataway: IEEE, pp. 83-88.

Wilson, D. J., Bradford, R. J. and Davenport, J. H., 2012. Speeding up cylindrical algebraic decomposition by Gröebner Bases. In: Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. and Sorge, V., eds. Intelligent Computer Mathematics. Vol. 7362. Heidelberg: , pp. 280-294. (Lecture Notes in Computer Science; 7362)

2011

Chen, C., Davenport, J. H., Lemaire, F., Maza, M. M., Xia, B., Xiao, R. and Xie, Y., 2011. Computing the real solutions of polynomial systems with the RegularChains library in Maple. ACM Communications in Computer Algebra, 45 (3-4), pp. 166-168.

Chen, C., Davenport, J. H., Moreno Maza, M., Xia, B. and Xiao, R., 2011. Computing with semi-algebraic sets represented by triangular decomposition. In: ISSAC '11 Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation. New York: Association for Computing Machinery (ACM), pp. 75-82. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC)

Davenport, J. H., Farmer, W., Rabe, F. and Urban, J., eds., 2011. Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings. Vol. 6824 LNAI. Heidelberg: Springer. (Lecture Notes in Computer Science)

2010

Cliffe, E., Davenport, J., De Vos, M., Parmar, N. R. and Hayes, A., 2010. Using EVS and ResponseWare to Enhance Student Learning and Learning Experience. Submitted to: 11th Annual Conference of Higher Education Academy Subject Centre for Information and Computer Science, 2010-08-24 - 2010-08-26, Durham.

Carette, J. and Davenport, J. H., 2010. Factorization of sparse polynomials or the power of vocabulary. Submitted to: International Symposium on Symbolic and Algebraic Computation 2010 (ISSAC 2010), 2010-07-25 - 2010-07-28, Technische Universität München, München.

Davenport, J., 2010. The Challenges of Multivalued "Functions". Lecture Notes in Computer Science, 6167, pp. 1-12.

Bradford, R., Davenport, J. H. and Sangwin, C., 2010. A comparison of equality in computer algebra and correctness in mathematical pedagogy (II). International Journal for Technology in Mathematics Education, 17 (2), pp. 93-98.

Al-Kuwari, S., Davenport, J. H. and Bradford, R. J., 2010. Cryptographic hash functions: recent design trends and security notions. In: Short Paper Proceedings of 6th China International Conference on Information Security and Cryptology (Inscrypt '10). Science Press of China, pp. 133-150.

Chen, C., Davenport, J. H., May, J. P., Maza, M. M., Xia, B. and Xiao, R., 2010. Triangular decomposition of semi-algebraic systems. In: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation. New York: ACM, pp. 187-194.

2009

Bradford, R., Davenport, J. H. and Sangwin, C. J., 2009. A comparison of equality in computer algebra and correctness in mathematical pedagogy. In: Carette, J., Dixon, L., Sacerdoti Coen, C. and Watt, S. M., eds. Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009 Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings. Berlin: Springer, pp. 75-89. (Lecture Notes in Computer Science; 5625/2)

Carette, J., Davenport, J. and Fitch, J., 2009. Barton and Fitch Revisited. EPRINTS-JOURNAL

Khader, D., Chen, L. Q. and Davenport, J. H., 2009. Certificate-free Attribute Authentication. In: Parker, M. G., ed. Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings. Berlin: Springer, pp. 301-325. (Lecture Notes in Computer Science; 5921)

Davenport, J. H. and Carette, J., 2009. The sparsity challenges. In: 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009). IEEE Press, pp. 3-7.

Davenport, J., Hayes, A. and Parmar, N. R., 2009. The use of an Electronic Voting System to enhance student feedback. In: Plymouth e-Learning Conference, 2009-04-23 - 2009-04-24, Plymouth.

Davenport, J. H. and Kohlhase, M., 2009. Unifying Math Ontologies: A tale of two standards. In: Carette, J., Dixon, L., Sacerdoti Coen, C. and Watt, S. M., eds. Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009. Vol. 5625/2. Berlin: Springer, pp. 263-278.

Chen, C., Davenport, J. H., May, J., Moreno Maza, M., Xia, B., Xiao, R. and Xie, Y., 2009. User interface design for geometrical decomposition algorithms in Maple. In: Mathematical User-Interfaces Workshop 2009, 2009-07-06, Grand Bend, Ontario, Canada.

2008

Davenport, J. H. and Libbrecht, P., 2008. The freedom to extend OpenMath and its utility. Mathematics in Computer Science, 2 (2), pp. 379-398.

Stratford, J. and Davenport, J., 2008. Unit Knowledge Management. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Berlin, Heidelberg: Springer, pp. 382-397. (Lecture Notes in Computer Science; 5144/2)

Davenport, J. H., 2008. AISC Meets Natural Typography. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Vol. 5144. Berlin, Heidelberg: Springer, pp. 53-60. (Lecture Notes in Computer Science)

Bronstein, M., Corless, R. M., Davenport, J. H. and Jeffrey, D. J., 2008. Algebraic properties of the Lambert W Function from a result of Rosenlicht and of Liouville. Integral Transforms and Special Functions, 19 (10), pp. 709-712.

Davenport, J. H., 2008. Effective Set Membership in Computer Algebra and Beyond. In: Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. and Wiedijk, F., eds. Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Vol. 5144. Berlin, Heidelberg: Springer, pp. 266-280. (Lecture Notes in Computer Science)

2007

Beaumont, J. C., Bradford, R. J., Davenport, J. H. and Phisanbut, N., 2007. Testing elementary function identities using CAD. Applicable Algebra in Engineering Communication and Computing, 18 (6), pp. 513-543.

Brown, C. W. and Davenport, J. H., 2007. The complexity of quantifier elimination and cylindrical algebraic decomposition. In: ISSAC '07 Proceedings of the 2007 international symposium on Symbolic and algebraic computation. New York: ACM, pp. 54-60.

Davenport, J., 2007. What might "Understand a Function" mean? In: Kauers, M., Kerber, M., Miner, R. and Windsteiger, W., eds. Towards Mechanized Mathematical Assistants. Vol. 4573. Springer Lecture Notes in Artificial Intelligence, pp. 55-65.

2005

Beaumont, J., Bradford, R., Davenport, J. H. and Phisanbut, N., 2005. Adherence is Better than Adjacency: Computing the Riemann Index using CAD. In: Proceedings of the 2005 international symposium on Symbolic and algebraic computation, 2005-07-01.

2004

Beaumont, J. C., Bradford, R. J., Davenport, J. H. and Phisanbut, N., 2004. A poly-algorithmic approach to simplifying elementary functions. In: Proceedings of the 2004 international symposium on Symbolic and algebraic computation, 2004-01-01, Santander.

Adams, A. A. and Davenport, J. H., 2004. Copyright issues for MKM. In: Mathematical Knowledge Management. Berlin, Germany: Springer, pp. 1-16. (Lecture Notes in Computer Science; 3119)

Caprotti, O., Davenport, J. H., Dewar, M. and Padget, J., 2004. Mathematics on the (semantic) NET. In: Semantic Web: Research and Applications. Vol. 3053. , pp. 213-224. (Lecture Notes in Computer Science)

2003

Beaumont, J. C., Bradford, R. J. and Davenport, J. H., 2003. Better Simplification of Elementary Functions Through Power Series. In: Sendra, J. R., ed. ISSAC 2003, 2003-01-01.

Beaumont, J., Bradford, R. and Davenport, J. H., 2003. Better simplification of elementary functions through power series. In: Proceedings of the 2003 international symposium on Symbolic and algebraic computation, 2003-01-01, Philadelphia, PA.

Davenport, J. H., 2003. MKM from book to computer: A case study. In: Mathematical Knowledge Management, Proceedings. Vol. 2594. , pp. 17-29. (Lecture Notes in Computer Science)

Asperti, A., Buchberger, B. and Davenport, J. H., eds., 2003. Mathematical Knowledge Management : 2nd International Conference, MKM 2003, Bertorino, Italy: Proceedings. Berlin: Springer. (Lecture Notes in Computer Science; 2594)

Holt, A. J. and Davenport, J. H., 2003. Resolving large prime(s) variants for discrete logarithm computation. In: Cryptography and Coding, Proceedings. Vol. 2898. , pp. 207-222. (Lecture Notes in Computer Science)

Davenport, J. H., 2003. The Geometry of C^n is Important for the Algebra of Elementary Function. In: Joswig, M. and Takayama, N., eds. Algebra, Geometry and Software Systems. Berlin, Germany: Springer, pp. 207-225.

2002

Bradford, R., Corless, R. M., Davenport, J. H., Jeffrey, D. J. and Watt, S. M., 2002. Reasoning about the elementary functions of complex analysis. Annals of Mathematics and Artificial Intelligence, 36 (3), pp. 303-318.

Davenport, J. H., 2002. Equality in computer algebra and beyond. Journal of Symbolic Computation, 34 (4), pp. 259-270.

Davenport, J. H., 2002. Table Errata --- Abramowitz & Stegun. Mathematics of Computation (MCOM)

Bradford, R. and Davenport, J. H., 2002. Towards better simplification of elementary functions. In: Proceedings of the 2002 international symposium on Symbolic and algebraic computation, 2002-01-01, Lille.

2001

Crouch, P. A. and Davenport, J. H., 2001. Lattice Attacks on RSA-Encrypted IP and TCP. In: Honary, B., ed. Proceedings 8th. IMA Conf. Cryptography and Coding, 2001-12-01.

Hur, N. and Davenport, J. H., 2001. A Generic Root Operation for Exact Real Arithmetic. In: Blanck, J., Brattka, V. and Hertling, P., eds. Computability and Complexity in Analysis, 2001-01-01, Berlin-Heidelberg-New York.

Corless, R. M., Davenport, J. H., Jeffrey, D. J., Litt, G. and Watt, S. M., 2001. Reasoning about the elementary functions of complex analysis. In: Artificial Intelligence and Symbolic Computation. Vol. 1930. , pp. 115-126. (Lecture Notes in Artificial Intelligence)

Corless, R.M., Davenport, J.H., Jeffrey, D.J., Litt, G. and Watt, S.M., 2001. Reasoning about the elementary functions of complex analysis. In: Campbell, J. A. and Roanes-Lozano, E., eds. Artificial Intelligence and Symbolic Computation. Berlin, Germany: Springer, pp. 115-126. (Lecture Notes in Artificial Intelligence; 1930)

2000

Corless, R. M., Davenport, J.H., Jeffrey, D. J. and Watt, S. M., 2000. "According to Abramowitz and Stegun", or arcoth needn't be uncouth. SIGSAM Bulletin, 34, pp. 58-65.

1993

Cohen, A. M., Davenport, J.H. and Heck, A.J.P., 1993. An overview of computer algebra. In: Cohen, A. M., ed. Computer Algebra in Industry. Chichester, UK: John Wiley, pp. 1-52.

1991

Bennett, J.P., Davenport, J.H., Dewar, M.C., Fisher, D.L., Grinfeld, M. and Sauro, H., 1991. Computer algebra approaches to enzyme kinetics. In: Jacob, G. and Lamnabhi-Lagarrigue, F., eds. Algebraic Computing in Control. Berlin, Germany: Springer, pp. 23-30. (Lecture Notes in Control and Information Sciences; 165)

Coppersmith, D. and Davenport, J.H., 1991. Polynomials whose powers are sparse. Acta Arithmetica, 58 (1), pp. 79-87.

Davenport, J. H., Gianni, P. and Trager, B. M., 1991. Scratchpad's view of algebra II : A categorical view of factorization. In: ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation. New York: ACM, pp. 32-38.

1990

Davenport, J. H. and Trager, B. M., 1990. Scratchpad's view of algebra I: Basic commutative algebra. In: Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Berlin: Springer, pp. 40-54. (Lecture Notes in Computer Science; 429/1990)

1989

Bowyer, A., Davenport, J.H., Milne, P.S., Padget, J.A. and Wallis, A.F., 1989. A geometric algebra system. In: Woodwark, J.R., ed. Geometric Reasoning. Oxford, UK: Clarendon Press, pp. 1-30.

Bowyer, A., Davenport, J.H., Milne, P.S., Padget, J. and Wallis, A.F., 1989. Applications of computer algebra in solid modelling. In: Eurocal '87. Berlin: Springer, pp. 244-245. (Lecture Notes in Computer Science; 378)

Bradford, R.J. and Davenport, J.H., 1989. Effective tests for cyclotomic polynomials. In: Gianni, P., ed. Symbolic and Algebraic Computation. Berlin, Germany: Springer, pp. 244-251. (Lecture Notes in Computer Science; 358)

1988

Abbott, J. A. and Davenport, J., 1988. A remark on a paper by Wang : another surprising property of 42. Mathematics of Computation, 51 (184), pp. 837-839.

Abbott, J. A., Bradford, R. J. and Davenport, J., 1988. Factorisation of polynomials : old ideas and recent results. In: Rainer, J., ed. Proceedings of the International Symposium on Trends in Computer Algebra. London, UK: Springer, pp. 81-91.

Bennett, J.P., Davenport, J.H. and Sauro, H.M., 1988. Solution of Some Equations in Biochemistry. Other. Bath, UK: University of Bath.

1987

Abbott, J. A. and Davenport, J., 1987. Polynomial factorization. In: Davenport, J., ed. EUROCAL '87. New York, USA: Springer, pp. 391-402. (Lecture Notes in Computer Science; 378)

1986

Abbott, J. A., Bradford, R. J. and Davenport, J., 1986. The Bath algebraic number package. In: Char, B. W., ed. SYMSAC 86. New York, USA: Association for Computing Machinery (ACM), pp. 250-253.

1985

Abbott, J. A., Bradford, R. J. and Davenport, J., 1985. A remark on factorisation. SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation), 19 (2), pp. 31-33.

Coppersmith, D. and Davenport, J.H., 1985. An application of factoring. Journal of Symbolic Computation, 1, pp. 241-243.

1983

Davenport, J.H., 1983. Integration - what do we want from the theory? In: Hultzen, J. A. v., ed. Computer Algebra. Berlin, Germany: Springer, pp. 2-11. (Lecture Notes in Computer Science; 162)

1982

Davenport, J.H., 1982. The Parallel Risch Algorithm (I). In: Calmet, J., ed. Computer algebra. Berlin, Germany: Springer, pp. 144-157. (Lecture Notes in Computer Science; 144)

1981

Davenport, J.H., 1981. Effective mathematics : the computer algebra viewpoint. In: Richman, F., ed. Constructive Mathematics. Berlin, Germany: Springer, pp. 31-43. (Springer Lecture Notes in Mathematics; 873)

Davenport, J.H., 1981. On the Integration of Algebraic Functions. Berlin, Germany: Springer. (Lecture Notes in Computer Science; 102)

1979

Davenport, J.H., 1979. Algorithms for the integration of algebraic functions. In: Ng, E.W., ed. Symbolic and Algebraic Computation. Berlin, Germany: Springer, pp. 415-425. (Lecture Notes in Computer Science; 72)

Davenport, J.H., 1979. Anatomy of an integral. SIGSAM Bulletin, 13 (4), pp. 16-18.

Davenport, J.H., 1979. The computerisation of algebraic geometry. In: Ng, E.W., ed. Symbolic and Algebraic Computation. Berlin, Germany: Springer, pp. 119-133. (Lecture Notes in Computer Science; 72)

This list was generated on Tue Jul 29 12:04:41 2014 IST.