Search dblp for Publications

export results for "mathematical content"

 download as .bib file

@article{DBLP:journals/taccess/KrugerWN23,
  author       = {Rynhardt Kruger and
                  Febe de Wet and
                  Thomas Niesler},
  title        = {Mathematical Content Browsing for Print-disabled Readers Based on
                  Virtual-world Exploration and Audio-visual Sensory Substitution},
  journal      = {{ACM} Trans. Access. Comput.},
  volume       = {16},
  number       = {2},
  pages        = {12:1--12:27},
  year         = {2023},
  url          = {https://doi.org/10.1145/3584365},
  doi          = {10.1145/3584365},
  timestamp    = {Tue, 28 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/taccess/KrugerWN23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/NithyaM23,
  author       = {B. Nithya and
                  C. Mala},
  title        = {Mathematical and Simulation Analysis of Contention Control Algorithm
                  for Saturated Wireless Networks},
  journal      = {Wirel. Pers. Commun.},
  volume       = {132},
  number       = {1},
  pages        = {215--243},
  year         = {2023},
  url          = {https://doi.org/10.1007/s11277-023-10608-9},
  doi          = {10.1007/S11277-023-10608-9},
  timestamp    = {Thu, 31 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/wpc/NithyaM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijvple/KhanalJAK22,
  author       = {Bishnu Khanal and
                  Dirgha Raj Joshi and
                  Krishna Prasad Adhikari and
                  Jeevan Khanal},
  title        = {Problems of Mathematics Teachers in Teaching Mathematical Content
                  Online in Nepal},
  journal      = {Int. J. Virtual Pers. Learn. Environ.},
  volume       = {12},
  number       = {1},
  pages        = {1--17},
  year         = {2022},
  url          = {https://doi.org/10.4018/ijvple.312845},
  doi          = {10.4018/IJVPLE.312845},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijvple/KhanalJAK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/enc/Gomez-RicardezG22,
  author       = {Juan Jose Gomez{-}Ricardez and
                  Jose Juan Garcia{-}Hernandez},
  title        = {On Mathematical Models for the Discordant Size Content Replacement
                  Attack in Watermarked Audio Signals},
  booktitle    = {{IEEE} Mexican International Conference on Computer Science, {ENC}
                  2022, Xalapa, Veracruz, Mexico, August 24-26, 2022},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/ENC56672.2022.9882928},
  doi          = {10.1109/ENC56672.2022.9882928},
  timestamp    = {Thu, 29 Sep 2022 21:52:16 +0200},
  biburl       = {https://dblp.org/rec/conf/enc/Gomez-RicardezG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-01639,
  author       = {Rynhardt Kruger and
                  Febe de Wet and
                  Thomas Niesler},
  title        = {Mathematical Content Browsing for Print-Disabled Readers Based on
                  Virtual-World Exploration and Audio-Visual Sensory substitution},
  journal      = {CoRR},
  volume       = {abs/2202.01639},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.01639},
  eprinttype    = {arXiv},
  eprint       = {2202.01639},
  timestamp    = {Wed, 09 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-01639.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijksr/ThaqiVA21,
  author       = {Xhevdet Thaqi and
                  Ana Isabel Rodr{\'{\i}}guez Valladares and
                  Ekrem Aljimi},
  title        = {Different Ways of Conceptualizing Mathematical Content for Prospective
                  Primary School Teachers},
  journal      = {Int. J. Smart Educ. Urban Soc.},
  volume       = {12},
  number       = {1},
  pages        = {61--68},
  year         = {2021},
  url          = {https://doi.org/10.4018/IJSEUS.2021010105},
  doi          = {10.4018/IJSEUS.2021010105},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijksr/ThaqiVA21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Koutsoukou-Argyraki21,
  author       = {Angeliki Koutsoukou{-}Argyraki},
  editor       = {Liesbeth De Mol and
                  Andreas Weiermann and
                  Florin Manea and
                  David Fern{\'{a}}ndez{-}Duque},
  title        = {On Preserving the Computational Content of Mathematical Proofs: Toy
                  Examples for a Formalising Strategy},
  booktitle    = {Connecting with Computability - 17th Conference on Computability in
                  Europe, CiE 2021, Virtual Event, Ghent, July 5-9, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12813},
  pages        = {285--296},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-80049-9\_26},
  doi          = {10.1007/978-3-030-80049-9\_26},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cie/Koutsoukou-Argyraki21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-04040,
  author       = {Michal Ruzicka and
                  Petr Sojka},
  title        = {Towards Math-Aware Automated Classification and Similarity Search
                  of Scientific Publications: Methods of Mathematical Content Representations},
  journal      = {CoRR},
  volume       = {abs/2110.04040},
  year         = {2021},
  url          = {https://arxiv.org/abs/2110.04040},
  eprinttype    = {arXiv},
  eprint       = {2110.04040},
  timestamp    = {Thu, 21 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2110-04040.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rdlj/Fatkhullina20,
  author       = {Aliya Fatkhullina},
  title        = {On Some Aspects of Mathematical Education Content in the Conditions
                  of the Digital Economy},
  journal      = {Russ. Digit. Libr. J.},
  volume       = {23},
  number       = {1-2},
  pages        = {202--209},
  year         = {2020},
  url          = {https://elbib.ru/article/view/584},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rdlj/Fatkhullina20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/VoldS20,
  author       = {Karina Vold and
                  Dirk Schlimm},
  title        = {Extended mathematical cognition: external representations with non-derived
                  content},
  journal      = {Synth.},
  volume       = {197},
  number       = {9},
  pages        = {3757--3777},
  year         = {2020},
  url          = {https://doi.org/10.1007/s11229-019-02097-w},
  doi          = {10.1007/S11229-019-02097-W},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/VoldS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iske/TunT19,
  author       = {Thinzar Tun and
                  Khin Mo Mo Tun},
  editor       = {Li Zou and
                  Lingling Fang and
                  Bo Fu and
                  Panpan Niu},
  title        = {Web Content Outlier Framework for Enhancing Web Search Results through
                  Mathematical Approaches},
  booktitle    = {14th {IEEE} International Conference on Intelligent Systems and Knowledge
                  Engineering, {ISKE} 2019, Dalian, China, November 14-16, 2019},
  pages        = {412--417},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ISKE47853.2019.9170423},
  doi          = {10.1109/ISKE47853.2019.9170423},
  timestamp    = {Wed, 26 Aug 2020 15:39:06 +0200},
  biburl       = {https://dblp.org/rec/conf/iske/TunT19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwbf/Gomez-RicardezP19,
  author       = {Juan Jose Gomez{-}Ricardez and
                  Ram{\'{o}}n Parra{-}Michel and
                  Jose Juan Garcia{-}Hernandez},
  title        = {Mathematical models for the discordant size content replacement attack},
  booktitle    = {7th International Workshop on Biometrics and Forensics, {IWBF} 2019,
                  Cancun, Mexico, May 2-3, 2019},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/IWBF.2019.8739198},
  doi          = {10.1109/IWBF.2019.8739198},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iwbf/Gomez-RicardezP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcdl/MeuschkeSSKG19,
  author       = {Norman Meuschke and
                  Vincent Stange and
                  Moritz Schubotz and
                  Michael Kramer and
                  Bela Gipp},
  editor       = {Maria Bonn and
                  Dan Wu and
                  J. Stephen Downie and
                  Alaine Martaus},
  title        = {Improving Academic Plagiarism Detection for {STEM} Documents by Analyzing
                  Mathematical Content and Citations},
  booktitle    = {19th {ACM/IEEE} Joint Conference on Digital Libraries, {JCDL} 2019,
                  Champaign, IL, USA, June 2-6, 2019},
  pages        = {120--129},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/JCDL.2019.00026},
  doi          = {10.1109/JCDL.2019.00026},
  timestamp    = {Sat, 21 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/jcdl/MeuschkeSSKG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-11761,
  author       = {Norman Meuschke and
                  Vincent Stange and
                  Moritz Schubotz and
                  Michael Kramer and
                  Bela Gipp},
  title        = {Improving Academic Plagiarism Detection for {STEM} Documents by Analyzing
                  Mathematical Content and Citations},
  journal      = {CoRR},
  volume       = {abs/1906.11761},
  year         = {2019},
  url          = {http://arxiv.org/abs/1906.11761},
  eprinttype    = {arXiv},
  eprint       = {1906.11761},
  timestamp    = {Tue, 13 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1906-11761.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comcom/GopinathN18,
  author       = {A. Justin Gopinath and
                  Nithya Balasubramanian},
  title        = {Mathematical and simulation analysis of contention resolution mechanism
                  for {IEEE} 802.11ah networks},
  journal      = {Comput. Commun.},
  volume       = {124},
  pages        = {87--100},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.comcom.2018.04.006},
  doi          = {10.1016/J.COMCOM.2018.04.006},
  timestamp    = {Wed, 13 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comcom/GopinathN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/uais/ArmanoBCMPR18,
  author       = {Tiziana Armano and
                  Massimo Borsero and
                  Anna Capietto and
                  Nadir Murru and
                  Angelo Panzarea and
                  Alice Ruighi},
  title        = {On the accessibility of Moodle 2 by visually impaired users, with
                  a focus on mathematical content},
  journal      = {Univers. Access Inf. Soc.},
  volume       = {17},
  number       = {4},
  pages        = {865--874},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10209-017-0546-8},
  doi          = {10.1007/S10209-017-0546-8},
  timestamp    = {Mon, 11 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/uais/ArmanoBCMPR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsai/SilvaBFCDF18,
  author       = {Luiz Felipe da Paix{\~{a}}o Silva and
                  Ant{\^{o}}nio Armando de O. Barbosa and
                  Evelise Roman Corbalan G{\'{o}}is Freire and
                  Paula Christina Figueira Cardoso and
                  Rafael Serapilha Durelli and
                  Andr{\'{e}} Pimenta Freire},
  title        = {Content-based Navigation Within Mathematical Formulae On the Web For
                  Blind Users and Its Impact On Expected User Effort},
  booktitle    = {Proceedings of the 8th International Conference on Software Development
                  and Technologies for Enhancing Accessibility and Fighting Info-exclusion,
                  {DSAI} 2019, Thessaloniki, Greece, June 20-22, 2018},
  pages        = {23--32},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3218585.3218596},
  doi          = {10.1145/3218585.3218596},
  timestamp    = {Mon, 15 Apr 2019 12:28:15 +0200},
  biburl       = {https://dblp.org/rec/conf/dsai/SilvaBFCDF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/NodaK18,
  author       = {Takeo Noda and
                  Masataka Kaneko},
  editor       = {James H. Davenport and
                  Manuel Kauers and
                  George Labahn and
                  Josef Urban},
  title        = {Collaborative Use of Mathematical Content Generated by CindyJS on
                  Tablets},
  booktitle    = {Mathematical Software - {ICMS} 2018 - 6th International Conference,
                  South Bend, IN, USA, July 24-27, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10931},
  pages        = {379--388},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-96418-8\_45},
  doi          = {10.1007/978-3-319-96418-8\_45},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/icms/NodaK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/JunkHS18,
  author       = {Michael Junk and
                  Stefan H{\"{o}}lle and
                  Sebastian Sahli},
  editor       = {Florian Rabe and
                  William M. Farmer and
                  Grant O. Passmore and
                  Abdou Youssef},
  title        = {Formalized Mathematical Content in Lecture Notes on Modelling and
                  Analysis},
  booktitle    = {Intelligent Computer Mathematics - 11th International Conference,
                  {CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11006},
  pages        = {125--130},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-96812-4\_12},
  doi          = {10.1007/978-3-319-96812-4\_12},
  timestamp    = {Fri, 20 Nov 2020 16:08:55 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/JunkHS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/KaoDHGC18,
  author       = {Yvonne Kao and
                  Katie D'Silva and
                  Aleata Hubbard and
                  Joseph Green and
                  Kimkinyona Cully},
  editor       = {Tiffany Barnes and
                  Daniel D. Garcia and
                  Elizabeth K. Hawthorne and
                  Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones},
  title        = {Applying the Mathematical Work of Teaching Framework to Develop a
                  Computer Science Pedagogical Content Knowledge Assessment},
  booktitle    = {Proceedings of the 49th {ACM} Technical Symposium on Computer Science
                  Education, {SIGCSE} 2018, Baltimore, MD, USA, February 21-24, 2018},
  pages        = {888--893},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3159450.3159521},
  doi          = {10.1145/3159450.3159521},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sigcse/KaoDHGC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/ScharpfSG18,
  author       = {Philipp Scharpf and
                  Moritz Schubotz and
                  Bela Gipp},
  editor       = {Philipp Mayr and
                  Muthu Kumar Chandrasekaran and
                  Kokil Jaidka},
  title        = {Representing Mathematical Formulae in Content MathML using Wikidata},
  booktitle    = {Proceedings of the 3rd Joint Workshop on Bibliometric-enhanced Information
                  Retrieval and Natural Language Processing for Digital Libraries {(BIRNDL}
                  2018) co-located with the 41st International {ACM} {SIGIR} Conference
                  on Research and Development in Information Retrieval {(SIGIR} 2018),
                  Ann Arbor, USA, July 12, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2132},
  pages        = {46--59},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2132/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:16 +0100},
  biburl       = {https://dblp.org/rec/conf/sigir/ScharpfSG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-08439,
  author       = {Maurice{-}Roman Isele},
  title        = {Analyzing Similarity in Mathematical Content To Enhance the Detection
                  of Academic Plagiarism},
  journal      = {CoRR},
  volume       = {abs/1801.08439},
  year         = {2018},
  url          = {http://arxiv.org/abs/1801.08439},
  eprinttype    = {arXiv},
  eprint       = {1801.08439},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1801-08439.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Cheikh17,
  author       = {Bassem Ben Cheikh},
  title        = {Graph-based Mathematical Morphology for the Characterization of the
                  Spatial Organization of Histological Structures in High-Content Images
                  : Application to Tumor Microenvironement in Breast Cancer. (Morphologie
                  math{\'{e}}matique sur les graphes pour la caract{\'{e}}risation
                  de l'organisation spatiale des structures histologiques dans les images
                  haut-contenu : application au microenvironnement tumoral dans le cancer
                  du sein)},
  school       = {Pierre and Marie Curie University, Paris, France},
  year         = {2017},
  url          = {https://tel.archives-ouvertes.fr/tel-02295572},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Cheikh17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Buijsman17,
  author       = {Stefan Buijsman},
  title        = {Accessibility of reformulated mathematical content},
  journal      = {Synth.},
  volume       = {194},
  number       = {6},
  pages        = {2233--2250},
  year         = {2017},
  url          = {https://doi.org/10.1007/s11229-016-1054-8},
  doi          = {10.1007/S11229-016-1054-8},
  timestamp    = {Thu, 09 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/synthese/Buijsman17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/MeuschkeSHSG17,
  author       = {Norman Meuschke and
                  Moritz Schubotz and
                  Felix Hamborg and
                  Tom{\'{a}}s Skopal and
                  Bela Gipp},
  editor       = {Ee{-}Peng Lim and
                  Marianne Winslett and
                  Mark Sanderson and
                  Ada Wai{-}Chee Fu and
                  Jimeng Sun and
                  J. Shane Culpepper and
                  Eric Lo and
                  Joyce C. Ho and
                  Debora Donato and
                  Rakesh Agrawal and
                  Yu Zheng and
                  Carlos Castillo and
                  Aixin Sun and
                  Vincent S. Tseng and
                  Chenliang Li},
  title        = {Analyzing Mathematical Content to Detect Academic Plagiarism},
  booktitle    = {Proceedings of the 2017 {ACM} on Conference on Information and Knowledge
                  Management, {CIKM} 2017, Singapore, November 06 - 10, 2017},
  pages        = {2211--2214},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3132847.3133144},
  doi          = {10.1145/3132847.3133144},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/cikm/MeuschkeSHSG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/Kaneko17,
  author       = {Masataka Kaneko},
  editor       = {Osvaldo Gervasi and
                  Beniamino Murgante and
                  Sanjay Misra and
                  Giuseppe Borruso and
                  Carmelo Maria Torre and
                  Ana Maria A. C. Rocha and
                  David Taniar and
                  Bernady O. Apduhan and
                  Elena N. Stankova and
                  Alfredo Cuzzocrea},
  title        = {Using Tangible Contents Generated by CindyJS and Its Influence on
                  Mathematical Cognition},
  booktitle    = {Computational Science and Its Applications - {ICCSA} 2017 - 17th International
                  Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part {IV}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10407},
  pages        = {199--215},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62401-3\_15},
  doi          = {10.1007/978-3-319-62401-3\_15},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsa/Kaneko17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdim/WangL17,
  author       = {Xing Wang and
                  Jyh{-}Charn Liu},
  title        = {A content-constrained spatial {(CCS)} model for layout analysis of
                  mathematical expressions},
  booktitle    = {Twelfth International Conference on Digital Information Management,
                  {ICDIM} 2017, Fukuoka, Japan, September 12-14, 2017},
  pages        = {334--339},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/ICDIM.2017.8244694},
  doi          = {10.1109/ICDIM.2017.8244694},
  timestamp    = {Thu, 26 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icdim/WangL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/CorneliMMP17,
  author       = {Joseph Corneli and
                  Ursula Martin and
                  Dave Murray{-}Rust and
                  Alison Pease},
  editor       = {Herman Geuvers and
                  Matthew England and
                  Osman Hasan and
                  Florian Rabe and
                  Olaf Teschke},
  title        = {Towards Mathematical {AI} via a Model of the Content and Process of
                  Mathematical Question and Answer Dialogues},
  booktitle    = {Intelligent Computer Mathematics - 10th International Conference,
                  {CICM} 2017, Edinburgh, UK, July 17-21, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10383},
  pages        = {132--146},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-62075-6\_10},
  doi          = {10.1007/978-3-319-62075-6\_10},
  timestamp    = {Mon, 31 Jan 2022 07:36:54 +0100},
  biburl       = {https://dblp.org/rec/conf/mkm/CorneliMMP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcdl/ElizarovLZ17,
  author       = {Alexander M. Elizarov and
                  Evgeny K. Lipachev and
                  Denis Zuev},
  editor       = {Leonid A. Kalinichenko and
                  Yannis Manolopoulos and
                  Nikolay A. Skvortsov and
                  Vladimir Sukhomlin},
  title        = {Digital Mathematical Libraries: Overview of Implementations and Content
                  Management Services},
  booktitle    = {Selected Papers of the {XIX} International Conference on Data Analytics
                  and Management in Data Intensive Domains {(DAMDID/RCDL} 2017), Moscow,
                  Russia, October 9-13, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2022},
  pages        = {317--325},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-2022/paper49.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:54 +0100},
  biburl       = {https://dblp.org/rec/conf/rcdl/ElizarovLZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/WangDZGWG16,
  author       = {Longxiang Wang and
                  Xiaoshe Dong and
                  Xingjun Zhang and
                  Fuliang Guo and
                  Yinfeng Wang and
                  Weifeng Gong},
  title        = {A Logistic Based Mathematical Model to Optimize Duplicate Elimination
                  Ratio in Content Defined Chunking Based Big Data Storage System},
  journal      = {Symmetry},
  volume       = {8},
  number       = {7},
  pages        = {69},
  year         = {2016},
  url          = {https://doi.org/10.3390/sym8070069},
  doi          = {10.3390/SYM8070069},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/symmetry/WangDZGWG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecir/ZhongF16,
  author       = {Wei Zhong and
                  Hui Fang},
  editor       = {Nicola Ferro and
                  Fabio Crestani and
                  Marie{-}Francine Moens and
                  Josiane Mothe and
                  Fabrizio Silvestri and
                  Giorgio Maria Di Nunzio and
                  Claudia Hauff and
                  Gianmaria Silvello},
  title        = {{OPMES:} {A} Similarity Search Engine for Mathematical Content},
  booktitle    = {Advances in Information Retrieval - 38th European Conference on {IR}
                  Research, {ECIR} 2016, Padua, Italy, March 20-23, 2016. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9626},
  pages        = {849--852},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-30671-1\_79},
  doi          = {10.1007/978-3-319-30671-1\_79},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecir/ZhongF16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/MontagR16,
  author       = {Aaron Montag and
                  J{\"{u}}rgen Richter{-}Gebert},
  editor       = {Gert{-}Martin Greuel and
                  Thorsten Koch and
                  Peter Paule and
                  Andrew J. Sommese},
  title        = {CindyGL: Authoring GPU-Based Interactive Mathematical Content},
  booktitle    = {Mathematical Software - {ICMS} 2016 - 5th International Conference,
                  Berlin, Germany, July 11-14, 2016, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9725},
  pages        = {359--365},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-42432-3\_44},
  doi          = {10.1007/978-3-319-42432-3\_44},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/icms/MontagR16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colcom/WangLT15,
  author       = {Kai Wang and
                  Xinfu Li and
                  Xuedong Tian},
  editor       = {Song Guo and
                  Xiaofei Liao and
                  Fangming Liu and
                  Yanmin Zhu},
  title        = {On Ambiguity Issues of Converting LaTeX Mathematical Formula to Content
                  MathML},
  booktitle    = {Collaborative Computing: Networking, Applications, and Worksharing
                  - 11th International Conference, CollaborateCom 2015, Wuhan, China,
                  November 10-11, 2015. Proceedings},
  series       = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
                  and Telecommunications Engineering},
  volume       = {163},
  pages        = {289--295},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-28910-6\_26},
  doi          = {10.1007/978-3-319-28910-6\_26},
  timestamp    = {Fri, 13 Jul 2018 15:02:09 +0200},
  biburl       = {https://dblp.org/rec/conf/colcom/WangLT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jcdl/OviedoKA15,
  author       = {Arthur Oviedo and
                  Nikos Kasioumis and
                  Karl Aberer},
  editor       = {Paul Logasa Bogen II and
                  Suzie Allard and
                  Holly Mercer and
                  Micah Beck and
                  Sally Jo Cunningham and
                  Dion Hoe{-}Lian Goh and
                  Geneva Henry},
  title        = {5e\({}^{\mbox{\{x+y\}}}\): Searching over Mathematical Content in
                  Digital Libraries},
  booktitle    = {Proceedings of the 15th {ACM/IEEE-CE} Joint Conference on Digital
                  Libraries, Knoxville, TN, USA, June 21-25, 2015},
  pages        = {283--284},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2756406.2756953},
  doi          = {10.1145/2756406.2756953},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/jcdl/OviedoKA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latice/Kurt-KaraogluSS15,
  author       = {Filiz Kurt{-}Karaoglu and
                  Nils Schwinning and
                  Michael Striewe and
                  Bj{\"{o}}rn Zurmaar and
                  Michael Goedicke},
  title        = {A Framework for Generic Exercises with Mathematical Content},
  booktitle    = {2015 International Conference on Learning and Teaching in Computing
                  and Engineering, LaTiCE 2015, Taipei, Taiwan, April 9-12, 2015},
  pages        = {70--75},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/LaTiCE.2015.11},
  doi          = {10.1109/LATICE.2015.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/latice/Kurt-KaraogluSS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Attanayake14,
  author       = {Dilaksha Attanayake},
  title        = {Statistical language modelling and novel parsing techniques for enhanced
                  creation and editing of mathematical e-content using spoken input},
  school       = {Kingston University, Kingston upon Thames, London, {UK}},
  year         = {2014},
  url          = {http://eprints.kingston.ac.uk/29880/},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Attanayake14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/icae/VemulapalliH14,
  author       = {Smita Vemulapalli and
                  Monson Hayes},
  title        = {Audio-video based character recognition for handwritten mathematical
                  content in classroom videos},
  journal      = {Integr. Comput. Aided Eng.},
  volume       = {21},
  number       = {3},
  pages        = {219--234},
  year         = {2014},
  url          = {https://doi.org/10.3233/ICA-140460},
  doi          = {10.3233/ICA-140460},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/icae/VemulapalliH14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kesw/ElizarovLZ14,
  author       = {Alexander M. Elizarov and
                  Evgeny K. Lipachev and
                  Denis Zuev},
  editor       = {Pavel Klinov and
                  Dmitry Mouromtsev},
  title        = {Mathematical Content Semantic Markup Methods and Open Scientific E-Journals
                  Management Systems},
  booktitle    = {Knowledge Engineering and the Semantic Web - 5th International Conference,
                  {KESW} 2014, Kazan, Russia, September 29-October 1, 2014. Proceedings},
  series       = {Communications in Computer and Information Science},
  volume       = {468},
  pages        = {242--251},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11716-4\_22},
  doi          = {10.1007/978-3-319-11716-4\_22},
  timestamp    = {Fri, 21 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/kesw/ElizarovLZ14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigir/KamaliT13,
  author       = {Shahab Kamali and
                  Frank Wm. Tompa},
  editor       = {Gareth J. F. Jones and
                  Paraic Sheridan and
                  Diane Kelly and
                  Maarten de Rijke and
                  Tetsuya Sakai},
  title        = {Retrieving documents with mathematical content},
  booktitle    = {The 36th International {ACM} {SIGIR} conference on research and development
                  in Information Retrieval, {SIGIR} '13, Dublin, Ireland - July 28 -
                  August 01, 2013},
  pages        = {353--362},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2484028.2484083},
  doi          = {10.1145/2484028.2484083},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sigir/KamaliT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Libbrecht12,
  author       = {Paul Libbrecht},
  title        = {Authoring of semantic mathematical content for learning on the web},
  school       = {Saarland University},
  year         = {2012},
  url          = {http://scidok.sulb.uni-saarland.de/volltexte/2012/4918/},
  urn          = {urn:nbn:de:bsz:291-scidok-49185},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/dnb/Libbrecht12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/datascience/AshinoY12,
  author       = {Toshihiro Ashino and
                  Yuichiro Yamashita},
  title        = {Development of an Openmath Content Dictionary for Mathematical Knowledge
                  of Materials Science and Engineering},
  journal      = {Data Sci. J.},
  volume       = {11},
  pages        = {ASMD17--ASMD21},
  year         = {2012},
  url          = {https://doi.org/10.2481/dsj.AMDS-004},
  doi          = {10.2481/DSJ.AMDS-004},
  timestamp    = {Tue, 30 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/datascience/AshinoY12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iimss/WatabeM12,
  author       = {Takayuki Watabe and
                  Yoshinori Miyazaki},
  editor       = {Toyohide Watanabe and
                  Junzo Watada and
                  Naohisa Takahashi and
                  Robert J. Howlett and
                  Lakhmi C. Jain},
  title        = {Framework of a System for Extracting Mathematical Concepts from Content
                  MathML-Based Mathematical Expressions},
  booktitle    = {Intelligent Interactive Multimedia: Systems and Services - Proceedings
                  of the 5th International Conference on Intelligent Interactive Multimedia
                  Systems and Services, {IIMSS} 2012, Gifu, Japan, May 23-25, 2012},
  series       = {Smart Innovation, Systems and Technologies},
  volume       = {14},
  pages        = {269--278},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29934-6\_26},
  doi          = {10.1007/978-3-642-29934-6\_26},
  timestamp    = {Fri, 06 Nov 2020 14:34:04 +0100},
  biburl       = {https://dblp.org/rec/conf/iimss/WatabeM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcdl/ElizarovZLM12,
  author       = {Alexander M. Elizarov and
                  Denis Zuev and
                  Eugene Lipachev and
                  Michael Malakhaltsev},
  editor       = {Sergey Znamenskij and
                  Mikhail R. Kogalovsky},
  title        = {{\cyrchar\CYRS}{\cyrchar\cyre}{\cyrchar\cyrr}{\cyrchar\cyrv}{\cyrchar\cyri}{\cyrchar\cyrs}{\cyrchar\cyrery}
                  {\cyrchar\cyrs}{\cyrchar\cyrt}{\cyrchar\cyrr}{\cyrchar\cyru}{\cyrchar\cyrk}{\cyrchar\cyrt}{\cyrchar\cyru}{\cyrchar\cyrr}{\cyrchar\cyri}{\cyrchar\cyrr}{\cyrchar\cyro}{\cyrchar\cyrv}{\cyrchar\cyra}{\cyrchar\cyrn}{\cyrchar\cyri}{\cyrchar\cyrya}
                  {\cyrchar\cyrm}{\cyrchar\cyra}{\cyrchar\cyrt}{\cyrchar\cyre}{\cyrchar\cyrm}{\cyrchar\cyra}{\cyrchar\cyrt}{\cyrchar\cyri}{\cyrchar\cyrch}{\cyrchar\cyre}{\cyrchar\cyrs}{\cyrchar\cyrk}{\cyrchar\cyro}{\cyrchar\cyrg}{\cyrchar\cyro}
                  {\cyrchar\cyrk}{\cyrchar\cyro}{\cyrchar\cyrn}{\cyrchar\cyrt}{\cyrchar\cyre}{\cyrchar\cyrn}{\cyrchar\cyrt}{\cyrchar\cyra}
                  {\cyrchar\cyri} {\cyrchar\cyri}{\cyrchar\cyrn}{\cyrchar\cyrt}{\cyrchar\cyre}{\cyrchar\cyrg}{\cyrchar\cyrr}{\cyrchar\cyra}{\cyrchar\cyrc}{\cyrchar\cyri}{\cyrchar\cyrya}
                  {\cyrchar\cyrerev}{\cyrchar\cyrl}{\cyrchar\cyre}{\cyrchar\cyrk}{\cyrchar\cyrt}{\cyrchar\cyrr}{\cyrchar\cyro}{\cyrchar\cyrn}{\cyrchar\cyrn}{\cyrchar\cyrery}{\cyrchar\cyrh}
                  {\cyrchar\cyrm}{\cyrchar\cyra}{\cyrchar\cyrt}{\cyrchar\cyre}{\cyrchar\cyrm}{\cyrchar\cyra}{\cyrchar\cyrt}{\cyrchar\cyri}{\cyrchar\cyrch}{\cyrchar\cyre}{\cyrchar\cyrs}{\cyrchar\cyrk}{\cyrchar\cyri}{\cyrchar\cyrh}
                  {\cyrchar\cyrk}{\cyrchar\cyro}{\cyrchar\cyrl}{\cyrchar\cyrl}{\cyrchar\cyre}{\cyrchar\cyrk}{\cyrchar\cyrc}{\cyrchar\cyri}{\cyrchar\cyrishrt}
                  {\cyrchar\cyrv} {\cyrchar\cyrn}{\cyrchar\cyra}{\cyrchar\cyru}{\cyrchar\cyrch}{\cyrchar\cyrn}{\cyrchar\cyro}{\cyrchar\cyre}
                  {\cyrchar\cyri}{\cyrchar\cyrn}{\cyrchar\cyrf}{\cyrchar\cyro}{\cyrchar\cyrr}{\cyrchar\cyrm}{\cyrchar\cyra}{\cyrchar\cyrc}{\cyrchar\cyri}{\cyrchar\cyro}{\cyrchar\cyrn}{\cyrchar\cyrn}{\cyrchar\cyro}{\cyrchar\cyre}
                  {\cyrchar\cyrp}{\cyrchar\cyrr}{\cyrchar\cyro}{\cyrchar\cyrs}{\cyrchar\cyrt}{\cyrchar\cyrr}{\cyrchar\cyra}{\cyrchar\cyrn}{\cyrchar\cyrs}{\cyrchar\cyrt}{\cyrchar\cyrv}{\cyrchar\cyro}
                  (Services Structuring Mathematical Content and Integration of Digital
                  Mathematical Collections into Scientific Information Space)},
  booktitle    = {Proceedings of the 14th All-Russian Scientific Conference "Digital
                  libraries: Advanced Methods and Technologies, Digital Collections",
                  Pereslavl-Zalessky, Russia, October 15-18, 2012},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {934},
  pages        = {309--312},
  publisher    = {CEUR-WS.org},
  year         = {2012},
  url          = {https://ceur-ws.org/Vol-934/paper47.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:54 +0100},
  biburl       = {https://dblp.org/rec/conf/rcdl/ElizarovZLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Wigmore11,
  author       = {Angela Michelle Wigmore},
  title        = {Speech-based creation and editing of mathematical content},
  school       = {Kingston University, Kingston upon Thames, London, {UK}},
  year         = {2011},
  url          = {http://eprints.kingston.ac.uk/23729/},
  timestamp    = {Tue, 05 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ethos/Wigmore11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/ChyzakD11,
  author       = {Fr{\'{e}}d{\'{e}}ric Chyzak and
                  Alexis Darrasse},
  editor       = {Manuel M. T. Chakravarty and
                  Zhenjiang Hu and
                  Olivier Danvy},
  title        = {Using camlp4 for presenting dynamic mathematics on the web: DynaMoW,
                  an OCaml language extension for the run-time generation of mathematical
                  contents and their presentation on the web},
  booktitle    = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
                  Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
                  2011},
  pages        = {259--265},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034773.2034809},
  doi          = {10.1145/2034773.2034809},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/ChyzakD11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isda/VemulapalliH11,
  author       = {Smita Vemulapalli and
                  Monson Hayes},
  editor       = {Sebasti{\'{a}}n Ventura and
                  Ajith Abraham and
                  Krzysztof J. Cios and
                  Crist{\'{o}}bal Romero and
                  Francesco Marcelloni and
                  Jos{\'{e}} Manuel Ben{\'{\i}}tez and
                  Eva Lucrecia Gibaja Galindo},
  title        = {Synchronization and combination techniques for audio-video based handwritten
                  mathematical content recognition in classroom videos},
  booktitle    = {11th International Conference on Intelligent Systems Design and Applications,
                  {ISDA} 2011, C{\'{o}}rdoba, Spain, November 22-24, 2011},
  pages        = {941--946},
  publisher    = {{IEEE}},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISDA.2011.6121779},
  doi          = {10.1109/ISDA.2011.6121779},
  timestamp    = {Tue, 23 Aug 2022 09:19:48 +0200},
  biburl       = {https://dblp.org/rec/conf/isda/VemulapalliH11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Urban11,
  author       = {Josef Urban},
  editor       = {Christoph Lange and
                  Josef Urban},
  title        = {Content-based encoding of mathematical and code libraries},
  booktitle    = {Proceedings of the {ITP} 2011 Workshop on Mathematical Wikis, Nijmegen,
                  The Netherlands, August 27th, 2011},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {767},
  pages        = {49--53},
  publisher    = {CEUR-WS.org},
  year         = {2011},
  url          = {https://ceur-ws.org/Vol-767/paper-09.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:18 +0100},
  biburl       = {https://dblp.org/rec/conf/itp/Urban11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmmr/KarvonenLLV10,
  author       = {Mikko Karvonen and
                  Mika Laitinen and
                  Kjell Lemstr{\"{o}}m and
                  Juho Vikman},
  editor       = {S{\o}lvi Ystad and
                  Mitsuko Aramaki and
                  Richard Kronland{-}Martinet and
                  Kristoffer Jensen},
  title        = {Error-Tolerant Content-Based Music-Retrieval with Mathematical Morphology},
  booktitle    = {Exploring Music Contents - 7th International Symposium, {CMMR} 2010,
                  M{\'{a}}laga, Spain, June 21-24, 2010. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6684},
  pages        = {321--337},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-23126-1\_20},
  doi          = {10.1007/978-3-642-23126-1\_20},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cmmr/KarvonenLLV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icms/LibbrechtM06,
  author       = {Paul Libbrecht and
                  Erica Melis},
  editor       = {Andr{\'{e}}s Iglesias and
                  Nobuki Takayama},
  title        = {Methods to Access and Retrieve Mathematical Content in ActiveMath},
  booktitle    = {Mathematical Software - {ICMS} 2006, Second International Congress
                  on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4151},
  pages        = {331--342},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11832225\_33},
  doi          = {10.1007/11832225\_33},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/icms/LibbrechtM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DraheimNS05,
  author       = {Dirk Draheim and
                  Winfried Neun and
                  Dima Suliman},
  editor       = {Andreas Dolzmann and
                  Andreas Seidl and
                  Thomas Sturm},
  title        = {Employing Computer Algebra for Classifying Mathematical Web Content},
  booktitle    = {Algorithmic Algebra and Logic. Proceedings of the {A3L} 2005, April
                  3-6, Passau, Germany; Conference in Honor of the 60th Birthday of
                  Volker Weispfenning},
  pages        = {91--94},
  publisher    = {Books on Demand},
  year         = {2005},
  timestamp    = {Tue, 30 Jun 2015 13:53:06 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/DraheimNS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasse/Youssef05,
  author       = {Abdou Youssef},
  editor       = {Richard T. Hurley and
                  Wenying Feng},
  title        = {Search of Mathematical Contents: Issues And Methods},
  booktitle    = {Proceedings of the {ISCA} 14th International Conference on Intelligent
                  and Adaptive Systems and Software Engineering, July 20-22, 2005, Novotel
                  Toronto Centre, Toronto, Canada},
  pages        = {100--105},
  publisher    = {{ISCA}},
  year         = {2005},
  timestamp    = {Mon, 28 Nov 2022 08:32:15 +0100},
  biburl       = {https://dblp.org/rec/conf/iasse/Youssef05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lanc/Rodriguez-BoccaC05,
  author       = {Pablo Rodr{\'{\i}}guez{-}Bocca and
                  H{\'{e}}ctor Cancela},
  editor       = {Ernst L. Leiss},
  title        = {A mathematical programming formulation of optimal cache expiration
                  dates in content networks},
  booktitle    = {3rd International Latin American Networking Conference, {LANC} 2005,
                  Sponsored by {IFIP} {TC6} Communication Networks and {ACM} SIGCOMM,
                  Organized by {CLEI} (Centro Latino-Americano de Estudios en Inform{\'{a}}tica),
                  Cali, Colombia, October 10-13, 2005},
  pages        = {87--95},
  publisher    = {{ACM}},
  year         = {2005},
  url          = {https://doi.org/10.1145/1168117.1168130},
  doi          = {10.1145/1168117.1168130},
  timestamp    = {Wed, 14 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lanc/Rodriguez-BoccaC05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/AspertiGCTZ04,
  author       = {Andrea Asperti and
                  Ferruccio Guidi and
                  Claudio Sacerdoti Coen and
                  Enrico Tassi and
                  Stefano Zacchiroli},
  editor       = {Jean{-}Christophe Filli{\^{a}}tre and
                  Christine Paulin{-}Mohring and
                  Benjamin Werner},
  title        = {A Content Based Mathematical Search Engine: Whelp},
  booktitle    = {Types for Proofs and Programs, International Workshop, {TYPES} 2004,
                  Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3839},
  pages        = {17--32},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11617990\_2},
  doi          = {10.1007/11617990\_2},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/types/AspertiGCTZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciarp/CaroDRAP03,
  author       = {Andr{\'{e}}s Caro Lindo and
                  Maria Luisa Dur{\'{a}}n and
                  Pablo Garc{\'{\i}}a Rodr{\'{\i}}guez and
                  Teresa Antequera and
                  Ram{\'{o}}n Palacios},
  editor       = {Alberto Sanfeliu and
                  Jos{\'{e}} Ruiz{-}Shulcloper},
  title        = {Mathematical Morphology on {MRI} for the Determination of Iberian
                  Ham Fat Content},
  booktitle    = {Progress in Pattern Recognition, Speech and Image Analysis, 8th Iberoamerican
                  Congress on Pattern Recognition, {CIARP} 2003, Havana, Cuba, November
                  26-29, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2905},
  pages        = {359--366},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24586-5\_44},
  doi          = {10.1007/978-3-540-24586-5\_44},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ciarp/CaroDRAP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KohlhaseA03,
  author       = {Michael Kohlhase and
                  Romeo Anghelache},
  editor       = {Andrea Asperti and
                  Bruno Buchberger and
                  James H. Davenport},
  title        = {Towards Collaborative Content Management and Version Control for Structured
                  Mathematical Knowledge},
  booktitle    = {Mathematical Knowledge Management, Second International Conference,
                  {MKM} 2003, Bertinoro, Italy, February 16-18, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2594},
  pages        = {147--161},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36469-2\_12},
  doi          = {10.1007/3-540-36469-2\_12},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/mkm/KohlhaseA03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Dooley02,
  author       = {Samuel S. Dooley},
  editor       = {Teo Mora},
  title        = {Editing mathematical content and presentation markup in interactive
                  mathematical documents},
  booktitle    = {Symbolic and Algebraic Computation, International Symposium {ISSAC}
                  2002, Lille, France, July 7-10, 2002, Proceedings},
  pages        = {55--62},
  publisher    = {{ACM}},
  year         = {2002},
  url          = {https://doi.org/10.1145/780506.780514},
  doi          = {10.1145/780506.780514},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Dooley02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sswmc/Chandramouli02,
  author       = {Rajarathnam Chandramouli},
  editor       = {Edward J. Delp III and
                  Ping Wah Wong},
  title        = {Mathematical approach to steganalysis},
  booktitle    = {Security and Watermarking of Multimedia Contents IV, San Jose, CA,
                  USA, January 19, 2002},
  series       = {{SPIE} Proceedings},
  volume       = {4675},
  pages        = {14--25},
  publisher    = {{SPIE}},
  year         = {2002},
  url          = {https://doi.org/10.1117/12.465273},
  doi          = {10.1117/12.465273},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sswmc/Chandramouli02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spic/DecenciereMM01,
  author       = {Etienne Decenci{\`{e}}re and
                  Beatriz Marcotegui and
                  Fernand Meyer},
  title        = {Content-dependent image sampling using mathematical morphology: Application
                  to texture mapping},
  journal      = {Signal Process. Image Commun.},
  volume       = {16},
  number       = {6},
  pages        = {567--584},
  year         = {2001},
  url          = {https://doi.org/10.1016/S0923-5965(00)00037-0},
  doi          = {10.1016/S0923-5965(00)00037-0},
  timestamp    = {Mon, 24 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/spic/DecenciereMM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismm/FerrandiereMM00,
  author       = {Etienne Decenci{\`{e}}re Ferrandi{\`{e}}re and
                  Beatriz Marcotegui and
                  Fernand Meyer},
  editor       = {John Goutsias and
                  Luc M. Vincent and
                  Dan S. Bloomberg},
  title        = {Content Dependent Image Sampling Using Mathematical Morphology: Application
                  to Mipmapping},
  booktitle    = {Proceedings of the 5th International Symposium on Mathematical Morphology
                  and its Applications to Image and Signal Processing, {ISMM} 2000,
                  Palo Alto, CA, USA, June 26-28, 2000},
  series       = {Computational Imaging and Vision},
  volume       = {18},
  pages        = {263--272},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/0-306-47025-X\_29},
  doi          = {10.1007/0-306-47025-X\_29},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ismm/FerrandiereMM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/Dooley98,
  author       = {Samuel S. Dooley},
  editor       = {Volker Weispfenning and
                  Barry M. Trager},
  title        = {Coordinating Mathematical Content and Presentation Markup in Interactive
                  Mathematical Documents},
  booktitle    = {Proceedings of the 1998 International Symposium on Symbolic and Algebraic
                  Computation, {ISSAC} '98, Rostock, Germany, August 13-15, 1998},
  pages        = {54--61},
  publisher    = {{ACM}},
  year         = {1998},
  url          = {https://doi.org/10.1145/281508.281545},
  doi          = {10.1145/281508.281545},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Dooley98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipm/Cole97b,
  author       = {C. Cole},
  title        = {Calculating the information content of an information process for
                  a domain expert using Shannon's mathematical theory of communication:
                  a preliminary analysis},
  journal      = {Inf. Process. Manag.},
  volume       = {33},
  number       = {6},
  pages        = {715--726},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0306-4573(97)00038-1},
  doi          = {10.1016/S0306-4573(97)00038-1},
  timestamp    = {Fri, 21 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipm/Cole97b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/Jansana89,
  author       = {Ramon Jansana},
  title        = {On the Mathematical Content of the Theory of Classes {KM}},
  journal      = {Math. Log. Q.},
  volume       = {35},
  number       = {5},
  pages        = {399--412},
  year         = {1989},
  url          = {https://doi.org/10.1002/malq.19890350505},
  doi          = {10.1002/MALQ.19890350505},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mlq/Jansana89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/Handler74,
  author       = {Gary J. Handler},
  title        = {Mathematical methods for the design of telephone directory content
                  and distribution},
  journal      = {Comput. Oper. Res.},
  volume       = {1},
  number       = {1},
  pages        = {31--38},
  year         = {1974},
  url          = {https://doi.org/10.1016/0305-0548(74)90073-2},
  doi          = {10.1016/0305-0548(74)90073-2},
  timestamp    = {Tue, 18 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cor/Handler74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics