Chair of Algorithmic Algebra

Filter
Conference contribution

Search results

  • 2018

    Moduli spaces of local G-shtukas

    Viehmann, E., 2018, Invited Lectures. Sirakov, B., de Souza, P. N. & Viana, M. (eds.). World Scientific Publishing Co. Pte Ltd, p. 1443-1464 22 p. (Proceedings of the International Congress of Mathematicians, ICM 2018; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 2015

    Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable

    Seidl, H., Maneth, S. & Kemper, G., 11 Dec 2015, Proceedings - 2015 IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015. IEEE Computer Society, p. 943-962 20 p. 7354436. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2015-December).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    15 Scopus citations
  • 2012

    Invariant theory: Applications and computations

    Kemper, G., 2012, Computer Algebra in Scientific Computing - 14th InternationalWorkshop, CASC 2012, Proceedings. Gerdt, V. P., Koepf, W., Mayr, E. W. & Vorozhtsov, E. V. (eds.). Springer Verlag, p. 185 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7442 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 2008

    Algorithmic invariant theory

    Kemper, G., 2008, ISSAC'08: Proceedings of the 21st International Symposium on Symbolic and Algebraic Computation 2008. p. 335-336 2 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review