more

extcrossrefs.bib

@@ -1316,6 +1316,20 @@ @PROCEEDINGS{CICM08
   keywords = {conference},
   publisher = {Springer Verlag}}
 
+@PROCEEDINGS{CICM09,
+  title = {Intelligent Computer Mathematics},
+  booktitle = {Intelligent Computer Mathematics},
+  eventtitle = {16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings},
+  venue = {Grand Bend, Ca},
+  eventdate = {2008-07-06/2008-07-12},
+  key = {CICM09},
+  year = {2009},
+  editor = {Jacques Carette and Lucas Dixon and  Sacerdoti Coen, Claudio and Watt, Stephen M.},
+  number = {5625},
+  series = {LNAI},
+  keywords = {conference},
+  publisher = {Springer Verlag}}
+
 @PROCEEDINGS{WSREST2011,
   title = {Proceedings of the Second International Workshop on RESTful Design},
   key = {WSREST2011},

extpubs.bib

@@ -7,6 +7,35 @@ @STRING{wil
 @STRING{spring   = "Springer-Verlag"}
 @STRING{JWS = {Web Semantics: Science, Services and Agents on the World Wide Web}}
 
+@InProceedings{BraDavSan:cecacmp09,
+  title = "{A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy}",
+  author = {Bradford,R.J. and Davenport,J.H. and Sangwin,C.J.},
+  crossref = {CICM09},
+  pages = {75--89}}
+}
+
+@Article{BraDavSan:cecacmp10,
+  title = "{A Comparison of Equality in Computer Algebra and Correctness in Mathematical Pedagogy (II)}",
+  author = {Bradford,R.J. and Davenport,J.H. and Sangwin,C.J.},
+  journal = {International Journal of Technology in Mathematical Education  2},
+  volume = {17},
+  year = {2010},
+  pages = {93-0-98}}
+
+
+@inproceedings{AbrNalPro:aegsc23,
+title = {Automated Exercise Generation for Satisfiability Checking},
+author = {Erika {\'A}brah{\'a}m and Jasper Kurt Ferdinand Nalbach and Valentin Maxim Promies},
+publisher = {Springer},
+booktitle = {LNCS},
+volume = {13962},
+pages = {1-16},
+type = {Conference Paper},
+year = {2023},
+doi = {10.1007/978-3-031-27534-0_1},
+url = { https://publications.rwth-aachen.de/record/957774},
+}
+
 @book{Anderson.2009,
  author = {Anderson, Lorin W. and Krathwohl, David R.},
  year = {2009},

kwarccrossrefs.bib

@@ -74,6 +74,14 @@ @Proceedings{MathUI21
   pubs = {akohlhase},
   year =    {2022}}
 
+@Proceedings{MathUI23,
+  editor =   {Andrea Kohlhase},
+  title =    {MathUI 2023: The 14th Workshop on Mathematical User Interfaces},
+  booktitle =    {MathUI 2023: The 14th Workshop on Mathematical User Interfaces},
+  SOONurl = {http://ceur-ws.org/Vol-????/},
+  pubs = {akohlhase},
+  year =    {2023}}
+
 @PROCEEDINGS{CICM16WIP,
   title = {Intelligent Computer Mathematics -- Work in Progress Papers},
   booktitle = {{Intelligent Computer Mathematics -- Work in Progress Papers}},