Masarykova univerzita

Výpis publikací

česky | in English

Filtrování publikací

    2014

    1. MathCanEval 1.0 (software)
      SZALAI, Dominik, Robert ŠIŠKA, David FORMÁNEK, Jakub ADLER a Michal RŮŽIČKA. MathCanEval 1.0. 2014.
    2. FORMÁNEK, David, Robert ŠIŠKA, Dominik SZALAI, Jakub ADLER, Michal RŮŽIČKA, Martin LÍŠKA a Petr SOJKA. MathML Canonicalizer 1.0.0. 2014.
Zobrazit podrobně
Zobrazeno: 19. 4. 2024 23:03