-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.bib
191 lines (175 loc) · 7.57 KB
/
main.bib
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
% Encoding: UTF-8
@InProceedings{vmext17,
author = {Moritz Schubotz and Norman Meuschke and Thomas Hepp and Howard S. Cohl and Bela Gipp},
title = {{VMEXT:} {A} Visualization Tool for Mathematical Expression Trees},
booktitle = {Intelligent Computer Mathematics - 10th International Conference, {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
year = {2017},
editor = {Herman Geuvers and Matthew England and Osman Hasan and Florian Rabe and Olaf Teschke},
volume = {10383},
series = {Lecture Notes in Computer Science},
pages = {340--355},
publisher = {Springer},
bibsource = {dblp computer science bibliography, http://dblp.org},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/mkm/SchubotzMHCG17},
doi = {10.1007/978-3-319-62075-6_24},
timestamp = {Wed, 28 Jun 2017 13:10:13 +0200},
url = {https://doi.org/10.1007/978-3-319-62075-6_24},
}
@InProceedings{Formulator,
author = {Andriy Kovalchuk and
Vyacheslav Levitsky and
Igor Samolyuk and
Valentyn Yanchuk},
editor = {Serge Autexier and
Jacques Calmet and
David Delahaye and
Patrick D. F. Ion and
Laurence Rideau and
Renaud Rioboo and
Alan P. Sexton},
title = {The Formulator MathML Editor Project: User-Friendly Authoring of Content
Markup Documents},
booktitle = {Intelligent Computer Mathematics, 10th International Conference, {AISC}
2010, 17th Symposium, Calculemus 2010, and 9th International Conference,
{MKM} 2010, Paris, France, July 5-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6167},
pages = {385--397},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14128-7_33},
doi = {10.1007/978-3-642-14128-7_33},
timestamp = {Fri, 19 May 2017 01:25:05 +0200},
biburl = {https://dblp.org/rec/bib/conf/aisc/KovalchukLSY10},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{ThimblebyT07,
author = {Harold W. Thimbleby and
Will Thimbleby},
editor = {Jan Gulliksen and
Morten Borup Harning and
Philippe A. Palanque and
Gerrit C. van der Veer and
Janet Wesson},
title = {Mathematical Mathematical User Interfaces},
booktitle = {Engineering Interactive Systems - {EIS} 2007 Joint Working Conferences,
{EHCI} 2007, {DSV-IS} 2007, {HCSE} 2007, Salamanca, Spain, March 22-24,
2007. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4940},
pages = {520--536},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92698-6_31},
doi = {10.1007/978-3-540-92698-6_31},
timestamp = {Fri, 02 Jun 2017 20:47:10 +0200},
biburl = {https://dblp.org/rec/bib/conf/ehci/ThimblebyT07},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{LibbrechtL16,
author = {Paul Libbrecht and
Matija Lokar},
editor = {Andrea Kohlhase and
Paul Libbrecht and
Bruce R. Miller and
Adam Naumowicz and
Walther Neuper and
Pedro Quaresma and
Frank Wm. Tompa and
Martin Suda},
title = {The plain text trap when copying mathematical formulae},
booktitle = {Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral
Program, and Work in Progress at the Conference on Intelligent Computer
Mathematics 2016 co-located with the 9th Conference on Intelligent
Computer Mathematics {(CICM} 2016), Bialystok, Poland, July 25-29,
2016.},
series = {{CEUR} Workshop Proceedings},
volume = {1785},
pages = {50--55},
publisher = {CEUR-WS.org},
year = {2016},
url = {http://ceur-ws.org/Vol-1785/M3.pdf},
timestamp = {Fri, 27 Jan 2017 10:38:33 +0100},
biburl = {https://dblp.org/rec/bib/conf/cikm/LibbrechtL16},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{Kohlhase11,
author = {Michael Kohlhase and
Joseph Corneli and
Catalin David and
Deyan Ginev and
Constantin Jucovschi and
Andrea Kohlhase and
Christoph Lange and
Bogdan Matican and
Stefan Mirea and
Vyacheslav Zholudev},
editor = {Mitsuhisa Sato and
Satoshi Matsuoka and
Peter M. A. Sloot and
G. Dick van Albada and
Jack J. Dongarra},
title = {The Planetary System: Web 3.0 {\&} Active Documents for {STEM}},
booktitle = {Proceedings of the International Conference on Computational Science,
{ICCS} 2011, Nanyang Technological University, Singapore, 1-3 June,
2011},
series = {Procedia Computer Science},
volume = {4},
pages = {598--607},
publisher = {Elsevier},
year = {2011},
url = {https://doi.org/10.1016/j.procs.2011.04.063},
doi = {10.1016/j.procs.2011.04.063},
timestamp = {Mon, 21 Aug 2017 16:43:25 +0200},
biburl = {https://dblp.org/rec/bib/journals/procedia/KohlhaseCDGJKLMMZ11},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{Lange2013,
author = {Christoph Lange},
title = {Ontologies and languages for representing mathematical knowledge on
the Semantic Web},
journal = {Semantic Web},
volume = {4},
number = {2},
pages = {119--158},
year = {2013},
url = {https://doi.org/10.3233/SW-2012-0059},
doi = {10.3233/SW-2012-0059},
timestamp = {Thu, 08 Jun 2017 08:58:40 +0200},
biburl = {https://dblp.org/rec/bib/journals/semweb/000213},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{Marques2006,
title={WIRIS OM Tools: a Semantic Formula Editor},
author={Daniel Marques and Ramon Eixarch and Gl{\`o}ria Casanellas and Bruno Mart́ınez and Tim J. Smith},
year={2006},
booktitle={Int. Cong. of Mathematicans}
}
@article{kawata2008mathml,
title={A MathML content markup editor on the xfy},
author={Kawata, Takayuki and Kataoka, Masaaki and Kai, Hiroshi and Tamura, Yasushi},
journal={Applications for Computer Algebra (RISC, Linz, Austria, July--,). Ed. by Elena Smirnova and Stephen M. Watt..(Cit. on p.)},
year={2008}
}
@phdthesis{dis,
author = {Moritz Schubotz},
title = {Augmenting Mathematical Formulae for More Effective Querying {\&}
Efficient Presentation},
school = {TU Berlin, Germany},
year = {2017},
url = {http://d-nb.info/1135201722},
isbn = {978-3-7450-6208-3},
timestamp = {Tue, 20 Jun 2017 17:23:31 +0200},
biburl = {https://dblp.org/rec/bib/phd/dnb/Schubotz17},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@InProceedings{Schubotz2018,
author = {Schubotz, Moritz and Greiner-Petter, Andre and Scharpf, Philipp and Meuschke, Norman and Cohl, Howard and Gipp, Bela},
title = {Improving the Representation and Conversion of Mathematical Formulae by Considering their Textual Context},
booktitle = {Proceedings of the ACM/IEEE-CS Joint Conference on Digital Libraries (JCDL)},
year = {2018},
month = {Jun.},
address = {Fort Worth, USA},
doi = {10.1145/3197026.3197058}
}
@Comment{jabref-meta: databaseType:bibtex;}