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

Research Output 1979 2020

2014
15 Citations (Scopus)
239 Downloads (Pure)

Truth table invariant cylindrical algebraic decomposition by regular chains

Bradford, R., Chen, C., Davenport, J. H., England, M., Moreno Maza, M. & Wilson, D., 2014, Computer Algebra in Scientific Computing: Proceedings of the16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer, Vol. 8660. p. 44-58 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Decomposition
Invariance
Charge coupled devices
Polynomials
7 Citations (Scopus)
93 Downloads (Pure)

Using the distribution of cells by dimension in a cylindrical algebraic decomposition

Wilson, D., England, M., Bradford, R. J. & Davenport, J. H., 2014, Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2014 16th International Symposium on. IEEE, p. 53-60 8 p.

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

Open Access
File
Decompose
Cell
Algebraic number
Decomposition Algorithm
Heuristics
15 Citations (Scopus)
88 Downloads (Pure)

Using the regular chains library to build cylindrical algebraic decompositions by projecting and lifting

England, M., Wilson, D., Bradford, R. & Davenport, J. H., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Hong, H. & Yap, C. (eds.). Springer, p. 458-465 8 p. (Lecture Notes in Computer Science; vol. 8592).

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

Open Access
File
Decomposition
Refining
Computer aided design
2013
14 Citations (Scopus)
48 Downloads (Pure)

A "piano movers" problem reformulated

Wilson, D., Davenport, J. H., England, M. & Bradford, R. J., 2013, Proceedings of SYNASC 2013: 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. IEEE, p. 53-60 8 p.

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

Open Access
File
Decompose
Formulation
Geometric Analysis
Path
Motion Planning
10 Citations (Scopus)
58 Downloads (Pure)

A repository for CAD Examples

Bradford, R., Davenport, J. & Wilson, D., Jan 2013, In : ACM Communications in Computer Algebra. 46, 3, p. 67-69 2 p.

Research output: Contribution to journalArticle

Open Access
File
Quantifier Elimination
Repository
Computer aided design
Projection Operator
Maple
3 Citations (Scopus)
67 Downloads (Pure)

Branch Cuts in Maple 17

England, M., Cheb-Terrab, E., Bradford, R., Davenport, J. & Wilson, D., 2013, In : ACM Communications in Computer Algebra. 48, 1, p. 24-27 4 p.

Research output: Contribution to journalArticle

Open Access
File
Maple
Branch
Multivalued Functions
Square root
Logarithm
10 Citations (Scopus)
80 Downloads (Pure)

Cylindrical algebraic decompositions for Boolean combinations

Bradford, R., Davenport, J. H., England, M., McCallum, S. & Wilson, D., 2013, ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. New York: Association for Computing Machinery, p. 125-132

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

Open Access
File
Truth table
Decompose
Polynomial
Invariant
Maple
25 Citations (Scopus)
89 Downloads (Pure)

Optimising problem formulation for cylindrical algebraic decomposition

Bradford, R., Davenport, J. H., England, M. & Wilson, D., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 19-34 15 p. (Lecture Notes in Computer Science; vol. 7961).

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

Open Access
File
Truth table
Decompose
Formulation
Real Algebraic Geometry
Groebner Basis
71 Downloads (Pure)

The changing relevance of the TLB

Jones, J., Davenport, J. & Bradford, R., Sep 2013, 2013 12th International Symposium on Distributed Computing and Applications to Business, Engineering & Science (DCABES). Piscataway, NJ: IEEE, p. 110-114 6 p.

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

File
Tuning
20 Downloads (Pure)

The Piano Mover's Problem Reformulated

Wilson, D., Bradford, R. J., Davenport, J. H. & England, M., Jun 2013, Bath, U. K.: Department of Computer Science, University of Bath. (Department of Computer Science Technical Report Series ; no. CSBU-2013-03)

Research output: Book/ReportOther report

Open Access
File
Ladders
Decomposition
Computer aided design
Polynomials
Hardware
26 Citations (Scopus)

Triangular decomposition of semi-algebraic systems

Chen, C., Davenport, J. H., May, J. P., Moreno Maza, M., Xia, B. & Xiao, R., Feb 2013, In : Journal of Symbolic Computation. 49, p. 3-26 24 p.

Research output: Contribution to journalArticle

Triangular
Decomposition
Decompose
Polynomial Systems
Exponential time
10 Citations (Scopus)
278 Downloads (Pure)

Understanding branch cuts of expressions

England, M., Bradford, R., Davenport, J. H. & Wilson, D., 2013, Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Carette, J., Aspinall, D., Lange, C., Sojka, P. & Windsteiger, W. (eds.). Berlin: Springer, p. 136-151 16 p. (Lecture Notes in Computer Science; vol. 7961).

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

Open Access
File
algebra
trigonometric functions
classifying
coding
2012
5 Citations (Scopus)

Computing with semi-algebraic sets: Relaxation techniques and effective boundaries

Chen, C., Davenport, J. H., Moreno Maza, M., Xia, B. & Xiao, R., May 2012, In : Journal of Symbolic Computation. 52, p. 72-96 25 p.

Research output: Contribution to journalArticle

Semi-algebraic Sets
Decomposition
Decompose
Real Roots
Computing
68 Downloads (Pure)

On Kahan's rules for determining branch cuts

Chyzak, F., Davenport, J. H., Koutschan, C. & Salvy, B., 2012, Proc. SYNASC '11. IEEE, 5 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Branch
Differential equation
Computer Algebra
Concepts
24 Downloads (Pure)

Order-Invariance of Cylindrical Algebraic Decomposition via Triangular Decomposition

Davenport, J., Bradford, R., England, M. & Wilson, D., 2012, (In preparation).

Research output: Working paper

File
Group
23 Citations (Scopus)
78 Downloads (Pure)

Program Verification in the presence of complex numbers, functions with branch cuts etc

Davenport, J., Bradford, R., England, M. & Wilson, D., 2012, Proceedings of SYNASC 2012: 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing. Piscataway: IEEE, p. 83-88 6 p.

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

Open Access
File
Program Verification
Complex number
Branch
Inverse function
Complex Functions
23 Citations (Scopus)
64 Downloads (Pure)

Program Verification in the presence of complex numbers, functions with branch cuts etc

Davenport, J., 26 Sep 2012.

Research output: Contribution to conferencePaper

Open Access
File
Semantics
86 Downloads (Pure)

Small algorithms for small systems

Davenport, J. H., Mar 2012, In : ACM Communications in Computer Algebra. 46, 1-2, p. 1-9 9 p.

Research output: Contribution to journalArticle

Open Access
File
9 Citations (Scopus)
65 Downloads (Pure)

Speeding up cylindrical algebraic decomposition by Gröebner Bases

Wilson, D. J., Bradford, R. J. & Davenport, J. H., 2012, Intelligent Computer Mathematics. Jeuring, J., Campbell, J. A., Carette, J., Dos Reis, G., Sojka, P., Wenzel, M. & Sorge, V. (eds.). Heidelberg, Vol. 7362. p. 280-294 15 p. (Lecture Notes in Computer Science; vol. 7362).

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

Open Access
File
Equality
Decompose
Precondition
Preconditioning
System of equations
2011
6 Citations (Scopus)

Computing the real solutions of polynomial systems with the RegularChains library in Maple

Chen, C., Davenport, J. H., Lemaire, F., Maza, M. M., Xia, B., Xiao, R. & Xie, Y., Sep 2011, In : ACM Communications in Computer Algebra. 45, 3-4, p. 166-168 3 p.

Research output: Contribution to journalArticle

10 Citations (Scopus)
89 Downloads (Pure)

Computing with semi-algebraic sets represented by triangular decomposition

Chen, C., Davenport, J. H., Moreno Maza, M., Xia, B. & Xiao, R., 2011, ISSAC '11 Proceedings of the 36th International Symposium on Symbolic and Algebraic Computation. New York: Association for Computing Machinery, p. 75-82 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

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

Open Access
File
Semi-algebraic Sets
Triangular
Decompose
Computing
Decomposition Algorithm

Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011 and 10th International Conference, MKM 2011, Proceedings

Davenport, J. H. (ed.), Farmer, W. (ed.), Urban, J. (ed.) & Rabe, F. (ed.), 2011, Heidelberg: Springer. (Lecture Notes in Computer Science)

Research output: Book/ReportBook

mathematics
artificial intelligence
knowledge management
deduction
event
2010
34 Downloads (Pure)
File
Algebra
equality
Linear algebra
equivalence
speaking
82 Downloads (Pure)

Cryptographic hash functions: recent design trends and security notions

Al-Kuwari, S., Davenport, J. H. & Bradford, R. J., 2010, Short Paper Proceedings of 6th China International Conference on Information Security and Cryptology (Inscrypt '10). Science Press of China, p. 133-150 18 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

File
Hash functions

Factorization of sparse polynomials or the power of vocabulary

Carette, J. & Davenport, J. H., Jul 2010, (In preparation).

Research output: Contribution to conferencePaper

6 Citations (Scopus)
94 Downloads (Pure)

The Challenges of Multivalued "Functions"

Davenport, J., Jul 2010, In : Lecture Notes in Computer Science. 6167, p. 1-12 12 p.

Research output: Contribution to journalArticle

File
Multivalued Functions
Inverse function
Single valued
Symbolic Computation
Convert
20 Citations (Scopus)

Triangular decomposition of semi-algebraic systems

Chen, C., Davenport, J. H., May, J. P., Maza, M. M., Xia, B. & Xiao, R., 2010, ISSAC '10 Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation , 2010. New York, U. S. A.: Association for Computing Machinery, p. 187-194 8 p.

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

Decomposition
Polynomials
Specifications
34 Downloads (Pure)

Using EVS and ResponseWare to Enhance Student Learning and Learning Experience

Cliffe, E., Davenport, J., De Vos, M., Parmar, N. R. & Hayes, A., Aug 2010, (In preparation). 5 p.

Research output: Contribution to conferencePaper

File
voting
electronics
learning
experience
student
2009
6 Citations (Scopus)
82 Downloads (Pure)

A comparison of equality in computer algebra and correctness in mathematical pedagogy

Bradford, R., Davenport, J. H. & Sangwin, C. J., 2009, 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. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, S. M. (eds.). Berlin: Springer, p. 75-89 15 p. (Lecture Notes in Computer Science; vol. 5625, no. 2).

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

File
Correctness
Equality
Pedagogy
Algebra
Congruence

Barton and Fitch Revisited

Carette, J., Davenport, J. & Fitch, J., 2009, (Unpublished) In : EPRINTS-JOURNAL.

Research output: Contribution to journalArticle

Computer Algebra
Hardware
Software
7 Citations (Scopus)

Certificate-free Attribute Authentication

Khader, D., Chen, L. Q. & Davenport, J. H., 2009, Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009. Proceedings. Parker, M. G. (ed.). Berlin: Springer, p. 301-325 25 p. (Lecture Notes in Computer Science; vol. 5921).

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

Authentication
Concretes
4 Citations (Scopus)

The sparsity challenges

Davenport, J. H. & Carette, J., 2009, 2009 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2009). IEEE, p. 3-7 5 p.

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

Polynomials
Algebra
41 Downloads (Pure)

The use of an Electronic Voting System to enhance student feedback

Davenport, J., Hayes, A. & Parmar, N. R., 2009. 18 p.

Research output: Contribution to conferencePaper

File
4 Citations (Scopus)
85 Downloads (Pure)

Unifying Math Ontologies: A tale of two standards

Davenport, J. H. & Kohlhase, M., 2009, Intelligent Computer Mathematics: 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009. Carette, J., Dixon, L., Sacerdoti Coen, C. & Watt, S. M. (eds.). Berlin: Springer, Vol. 5625/2. p. 263-278 16 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

File
knowledge management
syntax
ontology
fragmentation
mathematics

User interface design for geometrical decomposition algorithms in Maple

Chen, C., Davenport, J. H., May, J., Moreno Maza, M., Xia, B., Xiao, R. & Xie, Y., 2009. 12 p.

Research output: Contribution to conferencePaper

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)
110 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)
102 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)
79 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
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

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

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
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