OPENDREAMKIT (partner)

Project: Standard

  • 6 Article
  • 4 Conference contribution
  • 4 Poster
Filter
Conference contribution

Search results

  • 2024

    Power quotients of plactic-like monoids

    Abram, A., Hivert, F., Mitchell, J. D., Novelli, J.-C. & Tsalakou, M., 24 Jun 2024, Proceedings of the 13th edition of the Conference on random generation of combinatorial structures. Polyominoes and tilings: Bordeaux, France, 24-28th June 2024. Brlek, S. & Ferrari, L. (eds.). Open Publishing Association, p. 12–17 (Electronic proceedings in theoretical computer science; vol. 403).

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

    Open Access
    File
  • 2018

    Francy - an interactive discrete mathematics framework for GAP

    Martins, M. M. & Pfeiffer, M. J., 2018, Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings. Davenport, J. H., Kauers, M., Labahn, G. & Urban, J. (eds.). Cham: Springer, p. 352-358 (Lecture Notes in Computer Science (Theoretical Computer Science and General Issues); vol. 10931).

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

    Open Access
    File
  • 2017

    Knowledge-based interoperability for mathematical software systems

    Kohlhase, M., De Feo, L., Müller, D., Pfeiffer, M. J., Rabe, F., Thiéry, N., Vasilyev, V. & Wiesing, T., 2017, Mathematical Aspects of Computer and Information Sciences: 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Blömer, J., Kotsireas, I., Kutsia, T. & Simos, D. E. (eds.). Cham: Springer, p. 195-210 (Lecture Notes in Computer Science (Theoretical Computer Science and General Issues); vol. 10693).

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

    Open Access
    File
  • 2016

    Interoperability in the OpenDreamKit project: the Math-in-the-Middle approach

    Dehaye, P.-O., Iancu, M., Kohlhase, M., Konovalov, A., Lelièvre, S., Müller, D., Pfeiffer, M., Rabe, F., Thiéry, N. M. & Wiesling, T., 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.). Cham: Springer, p. 117-131 15 p. (Lecture Notes in Computer Science; vol. 9791).

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

    Open Access
    File