@inproceedings{vanderhoeven:DagSemProc.06271.10,
    Address = {Dagstuhl, Germany},
    Annote = {Keywords: Scientific text editor, Mathematics, Computer algebra system, Front-end},
    Author = {van der Hoeven, Joris},
    BookTitle = {Challenges in Symbolic Computation Software},
    Editor = {Decker, Wolfram and Dewar, Mike and Kaltofen, Erich and Watt, Stephen},
    File = {GNU TeXmacs - a.pdf},
    ISSN = {1862-4405},
    Pages = {1--3},
    Publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
    Series = {Dagstuhl Seminar Proceedings (DagSemProc)},
    Title = {{GNU TeXmacs}},
    URL = {https://drops.dagstuhl.de/opus/volltexte/2006/767},
    Volume = {6271},
    Year = {2006},
    bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2006/767},
    bdsk-url-2 = {https://doi.org/10.4230/DagSemProc.06271.10},
    date-added = {2023-02-02 20:21:53 +0100},
    date-modified = {2023-02-02 20:21:53 +0100},
    urn = {urn:nbn:de:0030-drops-7672},
    doi = {10.4230/DagSemProc.06271.10}
}

@inproceedings{vanderhoeven:DagSemProc.06271.10, Address = {Dagstuhl, Germany}, Annote = {Keywords: Scientific text editor, Mathematics, Computer algebra system, Front-end}, Author = {van der Hoeven, Joris}, BookTitle = {Challenges in Symbolic Computation Software}, Editor = {Decker, Wolfram and Dewar, Mike and Kaltofen, Erich and Watt, Stephen}, File = {GNU TeXmacs - a.pdf}, ISSN = {1862-4405}, Pages = {1--3}, Publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, Series = {Dagstuhl Seminar Proceedings (DagSemProc)}, Title = {{GNU TeXmacs}}, URL = {https://drops.dagstuhl.de/opus/volltexte/2006/767}, Volume = {6271}, Year = {2006}, bdsk-url-1 = {https://drops.dagstuhl.de/opus/volltexte/2006/767}, bdsk-url-2 = {https://doi.org/10.4230/DagSemProc.06271.10}, date-added = {2023-02-02 20:21:53 +0100}, date-modified = {2023-02-02 20:21:53 +0100}, urn = {urn:nbn:de:0030-drops-7672}, doi = {10.4230/DagSemProc.06271.10} }