An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving

Magdalena Wolska; Bao Quoc Vo; Dimitra Tsovaltzi; Ivana Kruijff-Korbayová; Elena Karagjosova; Helmut Horacek; Armin Fiedler; Christoph Benzmüller

An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving

Magdalena Wolska, Bao Quoc Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, Christoph Benzmüller

Correct Metadata for

Important: The Anthology treat PDFs as authoritative. Please use this form only to correct data that is out of line with the PDF. See our corrections guidelines if you need to change the PDF.

Title Adjust the title. Retain tags such as <fixed-case>.

Authors Adjust author names and order to match the PDF.

Abstract Correct abstract if needed. Retain XML formatting tags such as <tex-math>.

Verification against PDF Ensure that the new title/authors match the snapshot below. (If there is no snapshot or it is too small, consult the PDF.)

Authors concatenated from the text boxes above:

ALL author names match the snapshot above—including middle initials, hyphens, and accents.

Anthology ID:: L04-1427
Volume:: Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04)
Month:: May
Year:: 2004
Address:: Lisbon, Portugal
Editors:: Maria Teresa Lino, Maria Francisca Xavier, Fátima Ferreira, Rute Costa, Raquel Silva
Venue:: LREC
SIG:
Publisher:: European Language Resources Association (ELRA)
Note:
Pages:
Language:
URL:: http://www.lrec-conf.org/proceedings/lrec2004/pdf/669.pdf
DOI:
Bibkey:
Cite (ACL):: Magdalena Wolska, Bao Quoc Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, and Christoph Benzmüller. 2004. An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. In Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04), Lisbon, Portugal. European Language Resources Association (ELRA).
Cite (Informal):: An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving (Wolska et al., LREC 2004)
Copy Citation:
PDF:: http://www.lrec-conf.org/proceedings/lrec2004/pdf/669.pdf

PDF Cite Search Fix data

Export citation

BibTeX
MODS XML
Endnote
Preformatted

@inproceedings{wolska-etal-2004-annotated,
    title = "An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving",
    author = {Wolska, Magdalena  and
      Vo, Bao Quoc  and
      Tsovaltzi, Dimitra  and
      Kruijff-Korbayov{\'a}, Ivana  and
      Karagjosova, Elena  and
      Horacek, Helmut  and
      Fiedler, Armin  and
      Benzm{\"u}ller, Christoph},
    editor = "Lino, Maria Teresa  and
      Xavier, Maria Francisca  and
      Ferreira, F{\'a}tima  and
      Costa, Rute  and
      Silva, Raquel",
    booktitle = "Proceedings of the Fourth International Conference on Language Resources and Evaluation ({LREC}{'}04)",
    month = may,
    year = "2004",
    address = "Lisbon, Portugal",
    publisher = "European Language Resources Association (ELRA)",
    url = "https://aclanthology.org/L04-1427/"
}

Download as File

<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="wolska-etal-2004-annotated">
    <titleInfo>
        <title>An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Magdalena</namePart>
        <namePart type="family">Wolska</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Bao</namePart>
        <namePart type="given">Quoc</namePart>
        <namePart type="family">Vo</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Dimitra</namePart>
        <namePart type="family">Tsovaltzi</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Ivana</namePart>
        <namePart type="family">Kruijff-Korbayová</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Elena</namePart>
        <namePart type="family">Karagjosova</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Helmut</namePart>
        <namePart type="family">Horacek</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Armin</namePart>
        <namePart type="family">Fiedler</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Christoph</namePart>
        <namePart type="family">Benzmüller</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2004-05</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04)</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Maria</namePart>
            <namePart type="given">Teresa</namePart>
            <namePart type="family">Lino</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Maria</namePart>
            <namePart type="given">Francisca</namePart>
            <namePart type="family">Xavier</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Fátima</namePart>
            <namePart type="family">Ferreira</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Rute</namePart>
            <namePart type="family">Costa</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Raquel</namePart>
            <namePart type="family">Silva</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>European Language Resources Association (ELRA)</publisher>
            <place>
                <placeTerm type="text">Lisbon, Portugal</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">wolska-etal-2004-annotated</identifier>
    <location>
        <url>https://aclanthology.org/L04-1427/</url>
    </location>
    <part>
        <date>2004-05</date>
    </part>
</mods>
</modsCollection>

Download as File

%0 Conference Proceedings
%T An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving
%A Wolska, Magdalena
%A Vo, Bao Quoc
%A Tsovaltzi, Dimitra
%A Kruijff-Korbayová, Ivana
%A Karagjosova, Elena
%A Horacek, Helmut
%A Fiedler, Armin
%A Benzmüller, Christoph
%Y Lino, Maria Teresa
%Y Xavier, Maria Francisca
%Y Ferreira, Fátima
%Y Costa, Rute
%Y Silva, Raquel
%S Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04)
%D 2004
%8 May
%I European Language Resources Association (ELRA)
%C Lisbon, Portugal
%F wolska-etal-2004-annotated
%U https://aclanthology.org/L04-1427/

Download as File

Markdown (Informal)

[An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving](https://aclanthology.org/L04-1427/) (Wolska et al., LREC 2004)

An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving (Wolska et al., LREC 2004)

ACL

Magdalena Wolska, Bao Quoc Vo, Dimitra Tsovaltzi, Ivana Kruijff-Korbayová, Elena Karagjosova, Helmut Horacek, Armin Fiedler, and Christoph Benzmüller. 2004. An Annotated Corpus of Tutorial Dialogs on Mathematical Theorem Proving. In Proceedings of the Fourth International Conference on Language Resources and Evaluation (LREC’04), Lisbon, Portugal. European Language Resources Association (ELRA).