Filter
Conference contribution

Search results

  • 2022

    On complete classes of valuated matroids

    Husic, E., Loho, G., Smith, B. & Vegh, L. A., 5 Jan 2022, (E-pub ahead of print) Proceedings of the 2022 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Society for Industrial and Applied Mathematics, p. 67 - 89

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • 2021

    On The Relationship Between Differential Algebra and Tropical Differential Algebraic Geometry

    Boulier, F., Falkensteiner, S., Noordman, M. P. & Leon Sanchez, O., 12 Jul 2021, (Accepted/In press) Computer Algebra in Scientific Computing 2021.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2019

    Model Theory for Sheaves of Modules

    Prest, M., 5 Feb 2019, Lecture Notes in Computer Science. Springer Nature, Vol. 11600. p. 89-102 Chapter 9. (Logic and Its Applications; vol. 11600).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    215 Downloads (Pure)
  • Multisorted modules and their model theory

    Prest, M., 2019, Contemporary Mathematics: Model Theory of Modules, Algebras and Categories. Vol. 730.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    80 Downloads (Pure)
  • 2018

    Modules as exact functors

    Prest, M., 2018, Contemporary Mathematics: Surveys in Representation Theory of Algebras. Vol. 716.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    File
    87 Downloads (Pure)