Filter
Chapter in a published conference proceeding

Search results

  • 2024

    A Global Survey of Introductory Programming Courses

    Mason, R., Simon, Becker, B. A., Crick, T. & Davenport, J. H., 20 Mar 2024, SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education. U. S. A.: Association for Computing Machinery, p. 799-805 7 p. (SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education; vol. 1).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
  • 2023

    A Poly-algorithmic Approach to Quantifier Elimination

    Davenport, J. H., Tonks, Z. P. & Uncu, A. K., 11 Sept 2023, (E-pub ahead of print) Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023. Stratulat, S., Marin, M., Negru, V. & Zaharie, D. (eds.). U. S. A.: IEEE, p. 44-51 8 p. (Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • Artificial Conflict Sampling for Real Satisfiability Problems

    Davenport, J. H. & Uncu, A. K., 25 May 2023, 2022 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC). Buchberger, B., Marin, M., Negru, V. & Zaharie, D. (eds.). United States: IEEE, p. 55-58 4 p. (Proceedings of the International Symposium on Symbolic and Numeric Algorithms for Scientific Computing).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • Iterated Resultants in CAD

    Davenport, J. H. & England, M., 15 Aug 2023, Proceedings of the 8th SC-Square Workshop co-located with the 48th International Symposium on Symbolic and Algebraic Computation (ISSAC 2023). Abraham, E. & Sturm, T. (eds.). CEUR Workshop Proceedings, Vol. 3455. p. 54-60 7 p. (CEUR Workshop Proceedings).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    18 Downloads (Pure)
  • Lazard-style CAD and Equational Constraints

    Davenport, J. H., Nair, A. S., Sankaran, G. K. & Uncu, A. K., 24 Jul 2023, ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. Jeronimo, G. (ed.). Association for Computing Machinery, p. 218-226 9 p. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    2 Citations (SciVal)
  • Proving an Execution of an Algorithm Correct?

    Davenport, J. H., 28 Aug 2023, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Proceedings. Dubois, C. & Kerber, M. (eds.). Cham, Switzerland: Springer Science and Business Media Deutschland GmbH, p. 255-269 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14101 LNAI).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    1 Citation (SciVal)
  • So the problem has poor complexity: what next?

    Davenport, J. H., 11 Sept 2023, (E-pub ahead of print) Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023. Stratulat, S., Marin, M., Negru, V. & Zaharie, D. (eds.). U. S. A.: IEEE, p. 5-10 6 p. (Proceedings - 2023 25th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2023).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • Teaching Programming Competencies: A Role for Craft Computing?

    Crick, T., Davenport, J., Hayes, A. & Prickett, T., 25 Sept 2023, UKICER 2023 - Proceedings of the 2023 Conference on United Kingdom and Ireland Computing Education Research: Proceedings of the 2023 Conference on United Kingdom & Ireland Computing Education Research. Astarte, T., Moller, F., Quille, K. & Russell, S. (eds.). New York: Association for Computing Machinery, 27. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    3 Citations (SciVal)
    31 Downloads (Pure)
  • 2022

    A National Mentoring and Buddying Pilot Scheme for UK Early Career CS Academics

    Crick, T., Davenport, J. H., Hayes, A., Irons, A., Prickett, T. & Payne, S., 31 Jul 2022, ITiCSE 2022 - Proceedings of the 27th ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, Vol. 2. p. 630-630 1 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; vol. 2).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
  • Co-Constructing a Community of Practice for Early-Career Computer Science Academics in the UK

    Crick, T., Davenport, J. H., Hanna, P., Hayes, A., Irons, A., Miller, K., Prickett, T., Ward, R., Allen, B., Patil, B. & Payne, S., 6 Jan 2022, Proceedings - 6th Conference on Computing Education Practice, CEP 2022. English, R. & Stewart, C. (eds.). New York, U. S. A.: Association for Computing Machinery, p. 21-24 4 p. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    1 Citation (SciVal)
  • 2021

    Cybersecurity Education and Formal Methods

    Davenport, J. H. & Crick, T., 11 Mar 2021, Formal Methods – Fun for Everybody - First International Workshop, FMFun 2019, Revised Selected Papers. Cerone, A. & Roggenbach, M. (eds.). Cham, Switzerland: Springer, p. 159-172 14 p. (Communications in Computer and Information Science; vol. 1301 CCIS).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    4 Citations (SciVal)
  • Improvements to Quantum Search Techniques for Block-Ciphers, with Applications to AES

    Davenport, J. H. & Pring, B., 31 Dec 2021, Selected Areas in Cryptography - 27th International Conference, 2020, Revised Selected Papers. Dunkelman, O., Jacobson, Jr., M. J. & O’Flynn, C. (eds.). Germany: Springer Science and Business Media Deutschland GmbH, p. 360-384 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12804 LNCS).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    6 Citations (SciVal)
    57 Downloads (Pure)
  • Increasing the Value of Professional Body Computer Science Degree Accreditation

    Irons, A., Crick, T., Davenport, J. H. & Prickett, T., 3 Mar 2021, SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education. March 2021 ed. Association for Computing Machinery, p. 1336-1336 1 p. (SIGCSE 2021 - Proceedings of the 52nd ACM Technical Symposium on Computer Science Education).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    5 Citations (SciVal)
  • On the Implementation of Cylindrical Algebraic Coverings for Satisfiability Modulo Theories Solving

    Kremer, G., Abraham, E., England, M. & Davenport, J. H., 2021, Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021. Schneider, C., Marin, M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 37-39 3 p. (Proceedings - 2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2021).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    3 Citations (SciVal)
  • Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper

    Cerone, A., Roggenbach, M., Davenport, J., Denner, C., Farrell, M., Haveraaen, M., Moller, F., Körner, P., Krings, S., Ölveczky, P. C., Schlingloff, B. H., Shilov, N. & Zhumagambetov, R., 11 Mar 2021, Formal Methods – Fun for Everybody: FMFun 2019. Cerone, A. & Roggenbach, M. (eds.). Cham, Switzerland: Springer, p. 1-26 26 p. (Communications in Computer and Information Science; vol. 1301 CCIS).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    2 Citations (SciVal)
    44 Downloads (Pure)
  • Supporting Early-Career Academics in the UK Computer Science Community.

    Crick, T., Davenport, J., Hayes, A., Irons, A. & Prickett, T., 6 Jan 2021, Proceedings - 5th Conference on Computing Education Practice, CEP 2021. p. 33-36 4 p. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    7 Citations (SciVal)
  • Towards a 21st century personalised learning skills taxonomy

    Ward, R., Phillips, O., Bowers, D., Crick, T., Davenport, J., hannah, P., Hayes, A., Irons, A. & Prickett, T., 20 Apr 2021, Proceedings of the 2021 IEEE Global Engineering Education Conference, EDUCON 2021. Klinger, T., Kollmitzer, C. & Pester, A. (eds.). p. 344-354 11 p. 9453883. (IEEE Global Engineering Education Conference, EDUCON; vol. 2021-April).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    File
    21 Citations (SciVal)
    83 Downloads (Pure)
  • 2020

    Assessing the Value of Professional Body Accreditation of Computer Science Degree Programmes: A UK Case Study

    Crick, T., Prickett, T., Davenport, J. H. & Irons, A., 30 Jun 2020, ITiCSE 2020 - Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 565-565 1 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    4 Citations (SciVal)
  • Computer science degree accreditation in the UK: A post-shadbolt review update

    Crick, T., Davenport, J. H., Hanna, P., Irons, A. & Prickett, T., 9 Jan 2020, Proceedings - 4th Conference on Computing Education Practice, CEP 2020. U. S. A.: Association for Computing Machinery, p. 1-4 6. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    9 Citations (SciVal)
  • Curtains in CAD: Why Are They a Problem and How Do We Fix Them?

    Nair, A., Davenport, J. & Sankaran, G., 8 Jul 2020, Mathematical Software – ICMS 2020 - 7th International Conference, Proceedings. Bigatti, A. M., Carette, J., Davenport, J. H., Joswig, M. & de Wolff, T. (eds.). Singapore: Springer, Singapore, p. 17-26 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12097 LNCS).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    7 Citations (SciVal)
  • The CAD Conundrum: Lex-Least vs Order

    McCallum, S., Nair, A., Davenport, J. & Sankaran, G., Sept 2020, Proceedings - 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020. IEEE, p. 32-35 4 p. 9357114. (Proceedings - 2020 22nd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2020).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    1 Citation (SciVal)
  • The Institute of Coding: A University-Industry Collaboration to Address the UK’s Digital Skills Crisis

    Davenport, J., Crick, T. & Hourizi, R., 25 Jun 2020, Proceedings of the 2020 IEEE Global Engineering Education Conference, EDUCON 2020. Cardoso, A., Alves, G. R. & Restivo, T. (eds.). IEEE, p. 1400-1408 9 p. 9125272. (IEEE Global Engineering Education Conference, EDUCON; vol. 2020-April).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    24 Citations (SciVal)
  • 2019

    A UK Case Study on Cybersecurity Education and Accreditation

    Davenport, J., Crick, T., Irons, A. & Prickett, T., 12 Jul 2019, (Acceptance date) Frontiers in Education 2019. IEEE, (IEEE Frontiers in Education Conference).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
  • Intelligent Geometry Tools

    Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., 26 Aug 2019, Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE). EasyChair Publications, p. 51-52 2 p. (Electronic Proceedings in Theoretical Computer Science; vol. 311).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    1 Citation (SciVal)
    88 Downloads (Pure)
  • On Benefits of Equality Constraints in Lex-Least Invariant CAD (Extended Abstract

    Nair, A. S., Davenport, J. & Sankaran, G., Sept 2019, Proceedings SC2 2019. 8 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    File
    72 Downloads (Pure)
  • Teaching of computing to mathematics students: Programming and discrete mathematics

    Betteridge, J., Davenport, J. H., Freitag, M., Heijtljes, W., Kynaston, S., Sankaran, G. & Traustason, G., 9 Jan 2019, Proceedings of the 3rd Conference on Computing Education Practice, CEP 2019. Association for Computing Machinery, 12

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • The Institute of Coding: Addressing the UK Digital Skills Crisis

    Davenport, J., Hourizi, R., Hayes, A. & Crick, T., 2019, Proceedings - 3rd Conference on Computing Education Practice, CEP 2019. Association for Computing Machinery, 4 p. (ACM International Conference Proceeding Series).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    5 Citations (SciVal)
    111 Downloads (Pure)
  • 2018

    Fast Matrix Operations in Computer Algebra

    Tonks, Z., Sankaran, G. & Davenport, J. H., 12 Nov 2018, Proceedings - 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017. Ida, T., Jebelean, T., Petcu, D., Watt, S. M., Negru, V. & Zaharie, D. (eds.). IEEE, p. 67-70 4 p. 8531267

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • Machine-Assisted Proofs

    Cruz-Filipe, L., Davenport, J., Helfgott, H., Maynard, J., Poonen, B. & Huu Tiep, P., 2018, International Congress of Mathematicians - ICM 2018. World Scientific

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    201 Downloads (Pure)
  • Methodologies of Symbolic Computation

    Davenport, J., Sept 2018, Artificial Intelligence and Symbolic Computation - 13th International Conference, AISC 2018, Proceedings. Wang, D., Fleuriot, J. & Calmet, J. (eds.). Cham: Springer International Publishing, p. 19-33 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11110 LNAI).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • TheoryGuru: A Mathematica Package to Apply Quantifier Elimination Technology to Economics

    Mulligan, C. B., Davenport, J. H. & England, M., 2018, Mathematical Software – ICMS 2018 - 6th International Conference, Proceedings. Davenport, J., Kauers, M., Labahn, G. & Urban, J. (eds.). Cham, Switzerland: Springer International Publishing, p. 369-378 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10931 ).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    12 Citations (SciVal)
    68 Downloads (Pure)
  • The Role of Benchmarking in Symbolic Computation: (Position Paper)

    Davenport, J., 2018, Proceedings of the 20th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2018. IEEE

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    1 Citation (SciVal)
    116 Downloads (Pure)
  • 2017

    A case study on the parametric occurrence of multiple steady states

    Bradford, R., Davenport, J. H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Košta, M., Radulescu, O., Sturm, T. & Weber, A., 23 Jul 2017, ISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation: Part F129312. Association for Computing Machinery, p. 45-52 8 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    23 Citations (SciVal)
  • A Generalised Successive Resultants Algorithm

    Davenport, J. H., Petit, C. & Pring, B., 9 Mar 2017, (E-pub ahead of print) Arithmetic of Finite Fields - 6th International Workshop, WAIFI 2016, Revised Selected Papers. Springer Verlag, Vol. 10064 LNCS. p. 105-124 20 p. (Lectures Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10064 LNCS).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    1 Citation (SciVal)
  • The potential and challenges of CAD with equational constraints for SC-square

    Davenport, J. H. & England, M., 2017, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings. Germany: Springer Verlag, p. 280-285 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10693 ).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    2 Citations (SciVal)
  • Using Machine Learning to Decide When to Precondition Cylindrical Algebraic Decomposition With Groebner Bases

    Huang, Z., England, M., Davenport, J. & Paulson, L., 26 Jan 2017, Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016. Davenport, J. (ed.). IEEE, p. 45-52 7829592

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    16 Citations (SciVal)
    150 Downloads (Pure)
  • 2016

    Innovative Pedagogical Practices in the Craft of Computing

    Davenport, J. H., Hayes, A., Hourizi, R. & Crick, T., Nov 2016, Proceedings of the 2016 International Conference on Learning and Teaching in Computing and Engineering (LaTICE). IEEE, p. 115-119

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    24 Citations (SciVal)
    183 Downloads (Pure)
  • SC2: Satisfiability Checking meets Symbolic Computation (Project Paper)

    Abraham, E., Abbott, J., Becker, B., Bigatti, A. M., Brain, M., Buchberger, B., Cimatti, A., Davenport, J., England, M., Fontaine, P., Forrest, S., Griggio, A., Kroening, D., Seiler, W. & Sturm, T., 12 Jul 2016, Intelligent Computer Mathematics: 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Kohlhase, M., Johansson, M., Miller, B., de Moura, L. & Tompa, F. (eds.). Springer International Publishing, p. 28-43 (Lecture Notes in Artificial Intelligence; no. 9791).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    31 Citations (SciVal)
  • The complexity of cylindrical algebraic decomposition with respect to polynomial degree

    England, M. & Davenport, J. H., 9 Sept 2016, Computer Algebra in Scientific Computing: 18th International Workshop, CASC 2016, Bucharest, Romania, September 19-23, 2016, Proceedings. Gerdt, V. P., Koepf, W., Seiler, W. M. & Vorozhtsov, E. V. (eds.). Springer Verlag, p. 172-192 21 p. (Lecture Notes in Computer Science; vol. 9890).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    18 Citations (SciVal)
    99 Downloads (Pure)
  • 2015

    A comparison of three heuristics to choose the variable ordering for CAD

    Huang, Z., England, M., Wilson, D., Davenport, J. H. & Paulson, L. C., Feb 2015, ACM Communications in Computer Algebra. Zima, E., Caboara, M., Dumas, J-G., Gonzalez-Vega, L., Wester, M. & Zhi, L. (eds.). 3-4 ed. New York, U. S. A.: Association for Computing Machinery, Vol. 48. p. 121-123 3 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    1 Citation (SciVal)
    131 Downloads (Pure)
  • 2014

    Attribute-based signatures with user-controlled linkability

    El Kaafarani, A., Chen, L., Ghadafi, E. & Davenport, J., 2014, Cryptology and Network Security (CANS) 2014: The 13th International Conference on Cryptology and Network Security (CANS 2014) 22-24 October 2014, Heraklion, Crete, Greece. Gritzalis, D., Kiayias, A. & Askoxylakis, I. (eds.). Springer, p. 256-269 14 p. (Lecture Notes in Computer Science ; vol. 8813).

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    File
    14 Citations (SciVal)
    234 Downloads (Pure)
  • Choosing a variable ordering for truth-table invariant cylindrical algebraic decomposition by incremental triangular decomposition

    England, M., Bradford, R. J., Davenport, J. H. & Wilson, D., 2014, Mathematical Software – ICMS 2014: 4th International Congress, Seoul, South Korea, August 5-9, 2014. Proceedings. Springer, Vol. 8592. p. 450-457 8 p.

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    16 Citations (SciVal)
    160 Downloads (Pure)
  • Mathematical Massive Open Online Courses (MOOCs): report of a panel at the 2014 ICM

    Davenport, J., 2014, Proceedings of the International Congress of Mathematicians (ICM), 2014. Jang, S. Y., Kim, Y. R., Lee, D-W. & Yie, I. (eds.). p. 743-754

    Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

  • 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 or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    11 Citations (SciVal)
    176 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 or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    20 Citations (SciVal)
    160 Downloads (Pure)
  • 2013

    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 or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    18 Citations (SciVal)
    182 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 or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    20 Citations (SciVal)
    158 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 or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    35 Citations (SciVal)
    168 Downloads (Pure)
  • The changing relevance of the TLB

    Jones, J., Davenport, J. & Bradford, R., Sept 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 or section in a book/report/conference proceedingChapter in a published conference proceeding

    File
    208 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 or section in a book/report/conference proceedingChapter in a published conference proceeding

    Open Access
    File
    12 Citations (SciVal)
    599 Downloads (Pure)