If you made any changes in Pure these will be visible here soon.

Research Output 1979 2020

1979

Algorithms for the integration of algebraic functions

Davenport, J. H., 1979, Symbolic and Algebraic Computation: Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979. Ng, E. W. (ed.). Berlin, Germany: Springer, p. 415-425 11 p. (Lecture Notes in Computer Science; vol. 72).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Anatomy of an integral

Davenport, J. H., 1979, In : SIGSAM Bulletin. 13, 4, p. 16-18 3 p.

Research output: Contribution to journalArticle

The computerisation of algebraic geometry

Davenport, J. H., 1979, Symbolic and Algebraic Computation : Eurosam '79, An International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979. Ng, E. W. (ed.). Berlin, Germany: Springer, p. 119-133 15 p. (Lecture Notes in Computer Science; vol. 72).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1981

Effective mathematics: the computer algebra viewpoint

Davenport, J. H., 1981, Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980. Richman, F. (ed.). Berlin, Germany: Springer, p. 31-43 13 p. (Springer Lecture Notes in Mathematics; vol. 873).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

On the Integration of Algebraic Functions

Davenport, J. H., 1981, Berlin, Germany: Springer. (Lecture Notes in Computer Science; vol. 102)

Research output: Book/ReportBook

1982

The Parallel Risch Algorithm (I)

Davenport, J. H., 1982, Computer algebra: EUROCAM '82, European Computer Algebra Conference, Marseille, France 5-7 April 1982. Calmet, J. (ed.). Berlin, Germany: Springer, p. 144-157 14 p. (Lecture Notes in Computer Science; vol. 144).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1983

Integration - what do we want from the theory?

Davenport, J. H., 1983, Computer Algebra: EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983: Proceedings. Hultzen, J. A. V. (ed.). Berlin, Germany: Springer, p. 2-11 10 p. (Lecture Notes in Computer Science; vol. 162).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1985

An application of factoring

Coppersmith, D. & Davenport, J. H., 1985, In : Journal of Symbolic Computation. 1, p. 241-243 3 p.

Research output: Contribution to journalArticle

A remark on factorisation

Abbott, J. A., Bradford, R. J. & Davenport, J., May 1985, In : SIGSAM Bulletin (ACM Special Interest Group on Symbolic and Algebraic Manipulation). 19, 2, p. 31-33

Research output: Contribution to journalArticle

HEUGCD- How elementary upperbounds generate cheaper data

Davenport, J. & Padget, J., 1 Apr 1985, EUROCAL '85: European Conference on Computer Algebra Linz, Austria, April 1–3 1985 Proceedings Vol. 2: Research Contributions. Caviness, B. F. (ed.). Berlin, Germany: Springer Verlag, p. 18-28 11 p. (Lecture Notes in Computer Science; vol. 204).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1986

On numbers and polynomials

Davenport, J. & Padget, J., 1986, Computers and Computing: Proceedings of the International Conference, Future Trends of Computing dedicated to N. Gastinel, grenoble, 2-6 December 1985. Chenin, P., Crescenzo, C. D. & Robert, F. (eds.). Chichester, U. K.: Wiley Masson, p. 49-53 5 p. (Études et recherches en informatique).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The Bath algebraic number package

Abbott, J. A., Bradford, R. J. & Davenport, J., 1986, SYMSAC 86: Symposium on Symbolic and Algebraic Computation: papers. Char, B. W. (ed.). New York, USA: Association for Computing Machinery, p. 250-253

Research output: Chapter in Book/Report/Conference proceedingChapter

1987

Polynomial factorization

Abbott, J. A. & Davenport, J., Jun 1987, EUROCAL '87: Proceedings of the European Conference on Computer Algebra. Davenport, J. (ed.). New York, USA: Springer, p. 391-402 (Lecture Notes in Computer Science; vol. 378).

Research output: Chapter in Book/Report/Conference proceedingChapter

1988

A remark on a paper by Wang: another surprising property of 42

Abbott, J. A. & Davenport, J., Oct 1988, In : Mathematics of Computation. 51, 184, p. 837-839

Research output: Contribution to journalArticle

Factorisation of polynomials: old ideas and recent results

Abbott, J. A., Bradford, R. J. & Davenport, J., 1988, Proceedings of the International Symposium on Trends in Computer Algebra . Rainer, J. (ed.). London, UK: Springer, p. 81-91

Research output: Chapter in Book/Report/Conference proceedingChapter

Solution of Some Equations in Biochemistry

Bennett, J. P., Davenport, J. H. & Sauro, H. M., 1988, Bath, UK: University of Bath.

Research output: Book/ReportOther report

1989

A geometric algebra system

Bowyer, A., Davenport, J. H., Milne, P. S., Padget, J. A. & Wallis, A. F., 1989, Geometric Reasoning. Woodwark, J. R. (ed.). Oxford, UK: Clarendon Press, p. 1-30 30 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Applications of computer algebra in solid modelling

Bowyer, A., Davenport, J. H., Milne, P. S., Padget, J. & Wallis, A. F., 1989, Eurocal '87: European Conference on Computer Algebra Leipzig, GDR, June 2–5, 1987: Proceedings. Berlin: Springer, p. 244-245 2 p. (Lecture Notes in Computer Science; vol. 378).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Effective tests for cyclotomic polynomials

Bradford, R. J. & Davenport, J. H., 1989, Symbolic and Algebraic Computation: International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988: Proceedings. Gianni, P. (ed.). Berlin, Germany: Springer, p. 244-251 8 p. (Lecture Notes in Computer Science; vol. 358).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

The use of symbolic computation in geometric modelling

Wallis, A. F., Bowyer, A., Davenport, J. H., Milne, P. S. & Padget, J. A., 1 Sep 1989, Proceedings of the 3rd IMA Conference on the Mathematics of Surfaces (IMA),1988. Handscomb, D. C. (ed.). New York, U. S. A.: Clarendon Press, p. 199-206 8 p. (Mathematics of Surfaces).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1990
91 Downloads (Pure)

Scratchpad's view of algebra I: Basic commutative algebra

Davenport, J. H. & Trager, B. M., 1990, Design and Implementation of Symbolic Computation Systems: International Symposium DISCO '90 Capri, Italy, April 10–12, 1990 Proceedings. Berlin: Springer, p. 40-54 (Lecture Notes in Computer Science; vol. 429/1990).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Basic Algebra
Commutative Algebra
Algebra
Computer algebra system
Polynomial function
1991

Computer algebra approaches to enzyme kinetics

Bennett, J. P., Davenport, J. H., Dewar, M. C., Fisher, D. L., Grinfeld, M. & Sauro, H., 1991, Algebraic Computing in Control: Proceedings of the First European Conference Paris, March 13–15, 1991. Jacob, G. & Lamnabhi-Lagarrigue, F. (eds.). Berlin, Germany: Springer, p. 23-30 8 p. (Lecture Notes in Control and Information Sciences; vol. 165).

Research output: Chapter in Book/Report/Conference proceedingChapter

Polynomials whose powers are sparse

Coppersmith, D. & Davenport, J. H., 1991, In : Acta Arithmetica. 58, 1, p. 79-87 9 p.

Research output: Contribution to journalArticle

54 Downloads (Pure)

Scratchpad's view of algebra II: A categorical view of factorization

Davenport, J. H., Gianni, P. & Trager, B. M., 1991, ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation. New York: Association for Computing Machinery, p. 32-38

Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

Open Access
File
1993

An overview of computer algebra

Cohen, A. M., Davenport, J. H. & Heck, A. J. P., 1993, Computer Algebra in Industry: Problem Solving in Practice: Proceedings of the 1991 SCAFI Seminar at CWI, Amsterdam. Cohen, A. M. (ed.). Chichester, UK: John Wiley, p. 1-52 52 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2000

"According to Abramowitz and Stegun", or arcoth needn't be uncouth

Corless, R. M., Davenport, J. H., Jeffrey, D. J. & Watt, S. M., 2000, In : SIGSAM Bulletin. 34, p. 58-65 8 p.

Research output: Contribution to journalArticle

2001

A Generic Root Operation for Exact Real Arithmetic

Hur, N., Davenport, J. H., Blanck, J. (ed.), Brattka, V. (ed.) & Hertling, P. (ed.), 2001, p. 82--87. 6 p.

Research output: Contribution to conferencePaper

1 Citation (Scopus)

Lattice Attacks on RSA-Encrypted IP and TCP

Crouch, P. A., Davenport, J. H. & Honary, B. (ed.), Dec 2001, p. 329--338. 10 p.

Research output: Contribution to conferencePaper

7 Citations (Scopus)

Reasoning about the elementary functions of complex analysis

Corless, R. M., Davenport, J. H., Jeffrey, D. J., Litt, G. & Watt, S. M., 2001, Artificial Intelligence and Symbolic Computation: Revised Papers. Campbell, J. A. & Roanes-Lozano, E. (eds.). Berlin, Germany: Springer, p. 115-126 12 p. (Lecture Notes in Artificial Intelligence; vol. 1930).

Research output: Chapter in Book/Report/Conference proceedingChapter

Elementary Functions
Complex Analysis
Reasoning
Simplification
Theorem Proving
2002
8 Citations (Scopus)

Equality in computer algebra and beyond

Davenport, J. H., 2002, In : Journal of Symbolic Computation. 34, 4, p. 259-270 12 p.

Research output: Contribution to journalArticle

Computer Algebra
Algebra
Equality
Mathematical reasoning
Computer algebra system
15 Citations (Scopus)

Reasoning about the elementary functions of complex analysis

Bradford, R., Corless, R. M., Davenport, J. H., Jeffrey, D. J. & Watt, S. M., 1 Nov 2002, In : Annals of Mathematics and Artificial Intelligence. 36, 3, p. 303-318 16 p.

Research output: Contribution to journalArticle

Theorem proving
Elementary Functions
Complex Analysis
Artificial intelligence
Reasoning

Table Errata --- Abramowitz & Stegun

Davenport, J. H., 2002, In : Mathematics of Computation (MCOM). p. 1801 1 p.

Research output: Contribution to journalArticle

19 Citations (Scopus)

Towards better simplification of elementary functions

Bradford, R. & Davenport, J. H., 2002.

Research output: Contribution to conferencePaper

2003
6 Citations (Scopus)

Better simplification of elementary functions through power series

Beaumont, J., Bradford, R. & Davenport, J. H., 2003, ISSAC '03 Proceedings of the International Symposium on Symbolic and Algebraic Computation, 2003 . New York, U. S. A.: Association for Computing Machinery, p. 30-36 7 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Mathematical Knowledge Management: 2nd International Conference, MKM 2003, Bertorino, Italy: Proceedings

Asperti, A. (ed.), Buchberger, B. (ed.) & Davenport, J. H. (ed.), 2003, Berlin: Springer. (Lecture Notes in Computer Science; vol. 2594)

Research output: Book/ReportBook

6 Citations (Scopus)

MKM from book to computer: A case study

Davenport, J. H., 2003, Mathematical Knowledge Management, Proceedings. Vol. 2594. p. 17-29 13 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Repository
Readership
Transcendental Functions
Data Base

Resolving large prime(s) variants for discrete logarithm computation

Holt, A. J. & Davenport, J. H., 2003, Cryptography and Coding, Proceedings. Vol. 2898. p. 207-222 16 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Discrete Logarithm
Factoring
Resolve
Calculus
Analogue

The Geometry of C^n is Important for the Algebra of Elementary Function

Davenport, J. H., 2003, Algebra, Geometry and Software Systems. Joswig, M. & Takayama, N. (eds.). Berlin, Germany: Springer, p. 207-225 19 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2004
5 Citations (Scopus)

A poly-algorithmic approach to simplifying elementary functions

Beaumont, J. C., Bradford, R. J., Davenport, J. H. & Phisanbut, N., 2004.

Research output: Contribution to conferencePaper

Copyright issues for MKM

Adams, A. A. & Davenport, J. H., 2004, Mathematical Knowledge Management: 3rd International Conference, MKM 2004: Proceedings. Berlin, Germany: Springer, p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 3119).

Research output: Chapter in Book/Report/Conference proceedingChapter

knowledge management
Law
economics
12 Citations (Scopus)

Mathematics on the (semantic) NET

Caprotti, O., Davenport, J. H., Dewar, M. & Padget, J., 2004, Semantic Web: Research and Applications. Vol. 3053. p. 213-224 12 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Web services
WSDL
Semantics
Information services
Electric grounding
2005
5 Citations (Scopus)

Adherence is Better than Adjacency: Computing the Riemann Index using CAD

Beaumont, J., Bradford, R., Davenport, J. H. & Phisanbut, N., Jul 2005, p. 37--44. 8 p.

Research output: Contribution to conferencePaper

2007
5 Citations (Scopus)

Testing elementary function identities using CAD

Beaumont, J. C., Bradford, R. J., Davenport, J. H. & Phisanbut, N., 1 Dec 2007, In : Applicable Algebra in Engineering Communication and Computing. 18, 6, p. 513-543 31 p.

Research output: Contribution to journalArticle

Elementary Functions
Computer aided design
Single valued
Argand diagram
Testing
59 Citations (Scopus)

The complexity of quantifier elimination and cylindrical algebraic decomposition

Brown, C. W. & Davenport, J. H., 2007, ISSAC '07 Proceedings of the 2007 international symposium on Symbolic and algebraic computation . New York: Association for Computing Machinery, p. 54-60 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

What might "Understand a Function" mean?

Davenport, J., 2007, Towards Mechanized Mathematical Assistants. Kauers, M., Kerber, M., Miner, R. & Windsteiger, W. (eds.). Springer, Vol. 4573. p. 55-65 11 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

2008

AISC Meets Natural Typography

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

Research output: Chapter in Book/Report/Conference proceedingChapter

Artificial intelligence
6 Citations (Scopus)
114 Downloads (Pure)

Algebraic properties of the Lambert W Function from a result of Rosenlicht and of Liouville

Bronstein, M., Corless, R. M., Davenport, J. H. & Jeffrey, D. J., 2008, In : Integral Transforms and Special Functions. 19, 10, p. 709-712 4 p.

Research output: Contribution to journalArticle

Open Access
File
Elementary Functions
Theorem

Effective Set Membership in Computer Algebra and Beyond

Davenport, J. H., 2008, Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. & Wiedijk, F. (eds.). Berlin, Heidelberg: Springer, Vol. 5144. p. 266-280 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Computer Algebra
Integral Means
Computer algebra system
Gröbner Basis
Calculus
3 Citations (Scopus)
103 Downloads (Pure)

The freedom to extend OpenMath and its utility

Davenport, J. H. & Libbrecht, P., Dec 2008, In : Mathematics in Computer Science. 2, 2, p. 379-398 20 p.

Research output: Contribution to journalArticle

File
Glossaries
Semantics
Maximise
Presentation
Object
8 Citations (Scopus)
80 Downloads (Pure)

Unit Knowledge Management

Stratford, J. & Davenport, J., 30 May 2008, Intelligent Computer Mathematics: Proc. AISC/Calculemus/MKM 2008. Autexier, S., Campbell, J., Rubio, J., Sorge, V., Suzuki, M. & Wiedijk, F. (eds.). Berlin, Heidelberg: Springer, p. 382-397 16 p. (Lecture Notes in Computer Science; vol. 5144, no. 2).

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Knowledge management
Linguistics