Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F14%3A00225197" target="_blank" >RIV/68407700:21230/14:00225197 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description

Popis výsledku v původním jazyce

The goal of this project1 is to (i) accumulate annotated informal/ formal mathematical corpora suitable for training semi-automated translation between informal and formal mathematics by statistical machine-translation methods, (ii) to develop such methods oriented at the formalization task, and in particular (iii) to combine such methods with learning-assisted automated reasoning that will serve as a strong semantic component. We describe these ideas, the initial set of corpora, and some initial experiments done over them.

Název v anglickém jazyce

Developing Corpus-Based Translation Methods between Informal and Formal Mathematics: Project Description

Popis výsledku anglicky

The goal of this project1 is to (i) accumulate annotated informal/ formal mathematical corpora suitable for training semi-automated translation between informal and formal mathematics by statistical machine-translation methods, (ii) to develop such methods oriented at the formalization task, and in particular (iii) to combine such methods with learning-assisted automated reasoning that will serve as a strong semantic component. We describe these ideas, the initial set of corpora, and some initial experiments done over them.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP103%2F12%2F1994" target="_blank" >GAP103/12/1994: Adaptivní algoritmy pro rozvrhování a optimalizaci distribuovaných vestavěných real-time systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2014

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ů

Název statě ve sborníku

Intelligent Computer Mathematics

ISBN

978-3-319-08433-6

ISSN

0302-9743

e-ISSN

—

Počet stran výsledku

5

Strana od-do

435-439

Název nakladatele

Springer

Místo vydání

Heidelberg

Místo konání akce

Coimbra

Datum konání akce

7. 7. 2014

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—