Filter
Chapter in a published conference proceeding

Search results

  • 2023

    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
    3 Citations (SciVal)
  • 2020

    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

    8 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)
  • 2019

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

  • 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