Mathematical Foundations of Computation

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 proceeding › Chapter in a published conference proceeding

    Open Access
    2 Citations (SciVal)

  • A Poly-algorithmic Approach to Quantifier Elimination

    Davenport, J. H., Tonks, Z. P. & Uncu, A. K., 10 May 2024, 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 proceeding › Chapter in a published conference proceeding

  • Embedding Technical, Personal and Professional Competencies in Computing Degree Programmes

    Prickett, T., Crick, T., Davenport, J. H., Bowers, D. S., Hayes, A. & Irons, A., 3 Jul 2024, ITiCSE 2024 - Proceedings of the 2024 Conference Innovation and Technology in Computer Science Education. U. S. A.: Association for Computing Machinery, p. 346-352 7 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; vol. 1).

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

  • Exploring Alternative Machine Learning Models for Variable Ordering in Cylindrical Algebraic Decomposition

    John, R. & Davenport, J., 17 Jul 2024, Mathematical Software – ICMS 2024 - 8th International Conference, Proceedings. Buzzard, K., Dickenstein, A., Eick, B., Leykin, A. & Ren, Y. (eds.). Cham, Switzerland: Springer, Cham, p. 176-185 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14749 LNCS).

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

  • Factorial Basis Method for q-Series Applications: To the memory of an inspirational mathematician, Marko Petkovšek

    Jiménez-Pastor, A. & Uncu, A. K., 16 Jul 2024, ISSAC 2024 - Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. Chen, S. (ed.). New York, U. S. A: Association for Computing Machinery, p. 382-390 9 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

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

    Open Access

  • So the problem has poor complexity: what next?

    Davenport, J. H., 10 May 2024, 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 proceeding › Chapter in a published conference proceeding

  • The Relational Machine Calculus

    Barrett, C., Castle, D. & Heijltjes, W. B., 8 Jul 2024, Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science. U. S. A.: IEEE, 15 p. 9. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
  • 2023

    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 proceeding › Chapter in a published conference proceeding

  • A Unified Approach to Unimodality of Gaussian Polynomials

    Wong, E., Uncu, A. K. & Koutschan, C., 27 Jul 2023, ISSAC 2023 - Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. Jeronimo, G. (ed.). U. S. A.: Association for Computing Machinery, p. 434-442 9 p. (ACM International Conference Proceeding Series).

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

  • Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism

    Laird, J., 28 Jun 2023, 8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023. Gaboardi, M. & van Raamsdonk, F. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 33. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 260).

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

    Open Access

  • 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 proceeding › Chapter in a published conference proceeding

    Open Access
    File
    38 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 proceeding › Chapter in a published conference proceeding

    Open Access
    3 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 proceeding › Chapter in a published conference proceeding

    1 Citation (SciVal)

  • 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 proceeding › Chapter in a published conference proceeding

    Open Access
    File
    3 Citations (SciVal)
    155 Downloads (Pure)

  • The Functional Machine Calculus

    Heijltjes, W., 22 Feb 2023, Proceedings of MFPS XXXVIII. 2023 ed. Episciences, Vol. 1. 24 p. (Electronic Notes in Theoretical Informatics and Computer Science).

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

    Open Access
    55 Downloads (Pure)
  • 2022

    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 proceeding › Chapter in a published conference proceeding

    1 Citation (SciVal)

  • Normalization Without Syntax

    Heijltjes, W., Hughes, D. & Strassburger, L., 28 Jun 2022, 7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022: FSCD 2022. Felty, A. P. (ed.). 2022 ed. Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 228. p. 19:1-19:19 19 p. 19. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 228).

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

    Open Access
    File
    36 Downloads (Pure)
  • 2021

    A Compositional Cost Model for the λ-calculus

    Laird, J., 29 Jun 2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021. IEEE, Vol. 2021-June. p. 1-13 9470567. (Proceedings - Symposium on Logic in Computer Science; vol. 2021-June).

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

    Open Access
    File
    1 Citation (SciVal)
    192 Downloads (Pure)

  • A deep quantitative type system

    Guerrieri, G., Heijltjes, W. & Paulus, J., 13 Jan 2021, 29th EACSL Annual Conference on Computer Science Logic, CSL 2021: CSL 2021. Baier, C. & Goubault-Larrecq, J. (eds.). 2021 ed. Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 183. p. 24:1-24:24 24 p. 24. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 183).

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

    Open Access
    File
    2 Citations (SciVal)
    92 Downloads (Pure)

  • 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 proceeding › Chapter in a published conference proceeding

    Open Access
    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 proceeding › Chapter in a published conference proceeding

    Open Access
    File
    8 Citations (SciVal)
    94 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 proceeding › Chapter in a published conference proceeding

    6 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 proceeding › Chapter 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 proceeding › Chapter in a published conference proceeding

    Open Access
    File
    4 Citations (SciVal)
    84 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 proceeding › Chapter 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 proceeding › Chapter in a published conference proceeding

    Open Access
    File
    26 Citations (SciVal)
    128 Downloads (Pure)
  • 2020

    A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λμ-Calculus

    Laird, J., 2020, Foundations of Software Science and Computation Structures- 23rd International Conference, FOSSACS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Goubault-Larrecq, J. & König, B. (eds.). Cham, Switzerland: Springer, p. 422-441 20 p. (Lecture Notes in Computer Science ; vol. 12077).

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

    Open Access
    File
    58 Downloads (Pure)

  • 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 proceeding › Chapter 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 proceeding › Chapter 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 proceeding › Chapter in a published conference proceeding

    7 Citations (SciVal)

  • Decomposing probabilistic lambda-calculi

    Dal Lago, U., Guerrieri, G. & Heijltjes, W., 17 Apr 2020, Foundations of Software Science and Computation Structures: 23rd International Conference, FOSSACS 2020 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 Dublin, Ireland, April 25–30, 2020, Proceedings. Jean, G.-L. & König, B. (eds.). Cham: Springer, Vol. 12077. p. 136-156 21 p. (Lecture Notes in Computer Science; vol. 12077).

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

    Open Access
    9 Citations (SciVal)

  • On the computational content of Zorn's lemma

    Powell, T., 8 Jul 2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2020. U. S. A.: Association for Computing Machinery, p. 768-781 14 p. 3394745. (ACM International Conference Proceeding Series).

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

    4 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 proceeding › Chapter 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 proceeding › Chapter in a published conference proceeding

    25 Citations (SciVal)
  • 2019

    An algorithmic approach to the existence of ideal objects in commutative algebra

    Powell, T., Schuster, P. & Wiesnet, F., 2019, Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. p. 533-549 (Lecture Notes in Computer Science; vol. 11541).

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

    7 Citations (SciVal)

  • 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 proceeding › Chapter 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 proceeding › Chapter in a published conference proceeding

    Open Access
    File
    1 Citation (SciVal)
    99 Downloads (Pure)

  • Intuitionistic proofs without syntax

    Heijltjes, W., Hughes, D. & Strassburger, L., 6 Aug 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. IEEE, p. 1-13 13 p. (Annual Symposium on Logic in Computer Science; vol. 2019-June).

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

    Open Access
    File
    7 Citations (SciVal)
    85 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 proceeding › Chapter in a published conference proceeding

    File
    65 Downloads (Pure)

  • Proof nets for first-order additive linear logic

    Heijltjes, W., Hughes, D. & Strassburger, L., 18 Jun 2019, Fourth International Conference on Formal Structures for Computation and Deduction (FSCD 2019). Geuvers, H. & Geuvers, H. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 131. p. 22:1-22:22 22 p. 22. (Leibnitz International Proceedings in Informatics; vol. 2019).

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

    Open Access
    File
    69 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 proceeding › Chapter 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 proceeding › Chapter in a published conference proceeding

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

    A fully abstract game semantics for countable nondeterminism

    Gowers, W. J. & Laird, J. D., 1 Aug 2018, Computer Science Logic 2018, CSL 2018. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 119. 24

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

    Open Access
    1 Citation (SciVal)

  • A functional interpretation with state

    Powell, T., 9 Jul 2018, LICS ’18: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science. Association for Computing Machinery, p. 839-848 10 p.

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

    6 Citations (SciVal)

  • A Natural Proof System for Herbrand's Theorem

    Ralph, B., 2018, Logical Foundations of Computer Science - International Symposium, LFCS 2018, Proceedings. Nerode, A. & Artemov, S. (eds.). Springer, p. 289-308 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10703).

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

    2 Citations (SciVal)

  • Extensional and intensional semantic universes: A denotational model of dependent types

    Blot, V. & Laird, J., 31 Jul 2018, Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018. IEEE, Vol. Part F138033. p. 95-104 10 p. (Proceedings - Symposium on Logic in Computer Science).

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

    Open Access
    1 Citation (SciVal)
    12 Downloads (Pure)

  • 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 proceeding › Chapter 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 proceeding › Chapter in a published conference proceeding

    Open Access
    File
    231 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 proceeding › Chapter in a published conference proceeding

  • On Compositionality of Dinatural Transformations

    McCusker, G. & Santamaria, A., 31 Dec 2018, 27th EACSL Annual Conference on Computer Science Logic (CSL 2018). Ghica, D. & Jung, A. (eds.). Dagstuhl, Germany: Leibniz International Proceedings in Informatics, Vol. 119. p. 33:1-33:22 22 p. 33. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 119).

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

    Open Access
    3 Citations (SciVal)