Real Geometry and Connectedness via Triangular Description
This major research grant is held by Professor James Harold Davenport and
Dr Russell Bradford.
University announcement.
It is funded by the Engineering and Physical Sciences Research Council:
see
announcement letter.
The original application is
here.
There is a research student starting on 1 October
2011: David Wilson and a research
officer starting on 16 April
2012: Matthew England. Matthew's
project website is here,
with many useful links.
Events
2011 Diary.
2012
Semester 1 Diary.
2012 Semester 2 Diary.
2013
Semester 1 Diary.
CICM 2012,
9-14 July 2012, in Bremen. We have
had a paper accepted (Calculemus
track),and JHD is also on the Doctoral Programme.
ISSAC 2012, 22-25 July
2012, in Grenoble. Deadline for Abstract 9 January, Papers 16 January. We
submitted a poster abstract, which was rejected, but published anyway in ACM
Communications in Computer Algebra.
ISSAC 2013, 26-29 June
2013, in Boston (Mass). We have one paper accepted.
CICM 2013 will be in Bath 8--12 July: we have two papers accepted.
This project is pursuing questions in motion planning, as relevant to
Robotics and Autonomous
Systems.
Project Publications
-
[EBDW13]
M. England, R. Bradford, J.H. Davenport and D. Wilson
Understanding Branch Cuts of Expressions
In Press (Proceedings of CICM 2013 - MKM).
Preprint: arXiv:1304.7223 or University repository.
-
[BDEW13]
R. Bradford, M. England, J.H. Davenport and D. Wilson
Optimising Problem Formulations for Cylindrical Algebraic Decomposition
In Press (Proceedings of CICM 2013 - Calculemus).
Preprint: arXiv:1304.7222 or University repository.
-
[BDEMW13]
R. Bradford, J.H. Davenport, M. England, S. McCallum and D. Wilson
Cylindrical Algebraic Decompositions for Boolean Combinations
In Press (Proceedings of ISSAC 2013).
Preprint: arXiv:1304.7603 or University repository.
-
[England13]
M. England
An Implementation of CAD in Maple Utilising McCallum Projection.
University of Bath, Dept. Computer Science Technical Report Series 2013-02, 9 pages, 2013.
Report website (University Repository).
Preprint: arXiv:1302.6401.
-
[DBEW12]
J.H. Davenport, R. Bradford, M. England and D. Wilson
Program Verification in the presence of complex numbers, functions with branch cuts etc.
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012), pp 83--88, IEEE, (2012).
Journal website.
Preprint: arXiv:1212.5417 or University repository.
-
[WBD12b]
D. J. Wilson, R. J. Bradford and J. H. Davenport
Speeding Up Cylindrical Algebraic Decomposition by Gröbner Bases
Lecture Notes in Computer Science 7362 (Proceedings of CICM 2012), pp. 280-294, Springer, (2012).
Journal Website.
Preprint: arXiv:1205.6285 or University repository.
-
[WBD12a]
D. J. Wilson, R. J. Bradford and J. H. Davenport
A repository for CAD examples
ACM Communications in Computer Algebra 46 (3), pp 67-69, ACM, (2012).
Journal Website.
Preprint: University Repository.
The underlying data are permanently at the example bank.