Trains and Trees of Thoughts: Towards the Representation of Structural Semantics (invited talk Semiomath workshop, Zurich, 2. 3. 2018)

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F18%3A00102366" target="_blank" >RIV/00216224:14330/18:00102366 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.hpm.ethz.ch/news-and-events/news-hpm/2018/02/semiomaths-workshop-eth-zurich-march-2-3-2018.html" target="_blank" >http://www.hpm.ethz.ch/news-and-events/news-hpm/2018/02/semiomaths-workshop-eth-zurich-march-2-3-2018.html</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Trains and Trees of Thoughts: Towards the Representation of Structural Semantics (invited talk Semiomath workshop, Zurich, 2. 3. 2018)

Popis výsledku v původním jazyce

The talk discusses views on semiotics of mathematics and mathematics that could be used to compute the representations of mathematical texts.

Název v anglickém jazyce

Trains and Trees of Thoughts: Towards the Representation of Structural Semantics (invited talk Semiomath workshop, Zurich, 2. 3. 2018)

Popis výsledku anglicky

The talk discusses views on semiotics of mathematics and mathematics that could be used to compute the representations of mathematical texts.

Druh

O - Ostatní výsledky

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů