Auto-generated website for commit 623eabc

FormalCAD/index.html

@@ -57,7 +57,7 @@ <h1>Project FormalCAD
           <h3 id="archival">Archival Literature</h3>
           <h4 id="incollection">Articles in Collections</h4>
           <ol class="ltx_biblist">
-            <li id="bib.bib511" class="ltx_bibitem ltx_bib_incollection"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib512" class="ltx_bibitem ltx_bib_incollection"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase, J. Lemburg, L. Schröder, and E. Schulz</span><span class="ltx_text ltx_bib_year"> (2009)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Formal management of CAD/CAM processes</span>.
@@ -71,7 +71,7 @@ <h4 id="incollection">Articles in Collections</h4>
           </ol>
           <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
           <ol class="ltx_biblist">
-            <li id="bib.bib291" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib292" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack</span><span class="ltx_text ltx_bib_year"> (2014)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Towards ontological support for principle solutions in mechanical engineering</span>.
@@ -85,7 +85,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib328" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
+            <li id="bib.bib329" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[3]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase</span><span class="ltx_text ltx_bib_year"> (2013)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Knowledge management for systematic engineering design in CAD systems</span>.
@@ -98,7 +98,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib477" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li id="bib.bib478" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase, J. Lemburg, L. Schröder, and E. Schulz</span><span class="ltx_text ltx_bib_year"> (2009)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Formal management of CAD/CAM processes</span>.
@@ -115,7 +115,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
           <h3 id="gray">Gray Literature</h3>
           <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
           <ol class="ltx_biblist">
-            <li id="bib.bib1092" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib1093" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack</span><span class="ltx_text ltx_bib_year"> (2013)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Semantic support for engineering design processes</span>.
@@ -126,7 +126,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib328" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li id="bib.bib329" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase</span><span class="ltx_text ltx_bib_year"> (2013)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Knowledge management for systematic engineering design in CAD systems</span>.
@@ -142,7 +142,7 @@ <h4 id="workshop">Papers at Peer-Reviewed Workshops</h4>
           </ol>
           <h3 id="unpublished">Unpublished</h3>
           <ol class="ltx_biblist">
-            <li id="bib.bib1090" class="ltx_bibitem ltx_bib_unpublished"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib1091" class="ltx_bibitem ltx_bib_unpublished"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">T. Breitsprecher, M. Codescu, C. Jucovschi, M. Kohlhase, L. Schröder, and S. Wartzack</span><span class="ltx_text ltx_bib_year"> (2013)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Towards ontological support for principle solutions in mechanical engineering</span>.
@@ -154,7 +154,7 @@ <h3 id="unpublished">Unpublished</h3>
           </ol>
           <h3 id="misc">Miscellaneous</h3>
           <ol class="ltx_biblist">
-            <li id="bib.bib344" class="ltx_bibitem ltx_bib_misc"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib345" class="ltx_bibitem ltx_bib_misc"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase and L. Schroeder</span><span class="ltx_text ltx_bib_year"> (2011)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">The FormalCAD Project</span>.

MaMoReD/index.html

@@ -54,7 +54,7 @@ <h1>Project MaMoReD
           <h3 id="archival">Archival Literature</h3>
           <h4 id="article">Articles in Journals</h4>
           <ol class="ltx_biblist">
-            <li id="bib.bib212" class="ltx_bibitem ltx_bib_article"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib213" class="ltx_bibitem ltx_bib_article"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe</span><span class="ltx_text ltx_bib_year"> (2018)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Model pathway diagrams for the representation of mathematical models</span>.
@@ -68,7 +68,7 @@ <h4 id="article">Articles in Journals</h4>
           </ol>
           <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
           <ol class="ltx_biblist">
-            <li id="bib.bib200" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li id="bib.bib201" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">T. Pollinger, M. Kohlhase, and H. Köstler</span><span class="ltx_text ltx_bib_year"> (2018)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Knowledge amalgamation for computational science and engineering</span>.
@@ -81,7 +81,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib237" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib238" class="ltx_bibitem ltx_bib_inproceedings"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase, T. Koprucki, D. Müller, and K. Tabelow</span><span class="ltx_text ltx_bib_year"> (2017)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Mathematical models as research data via flexiformal theory graphs</span>.
@@ -97,7 +97,7 @@ <h4 id="conference">Papers at International, Peer-Reviewed Conferences</h4>
           </ol>
           <h3 id="thesis">Theses</h3>
           <ol class="ltx_biblist">
-            <li id="bib.bib258" class="ltx_bibitem ltx_bib_thesis"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib259" class="ltx_bibitem ltx_bib_thesis"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">T. Pollinger</span><span class="ltx_text ltx_bib_year"> (2017)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Knowledge representation for modeling and simulation – bridging the gap between informal PDE theory and simulations practice</span>.
@@ -112,7 +112,7 @@ <h3 id="thesis">Theses</h3>
           <h3 id="gray">Gray Literature</h3>
           <h4 id="report">Technical Reports</h4>
           <ol class="ltx_biblist">
-            <li id="bib.bib236" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
+            <li id="bib.bib237" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[1]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">M. Kohlhase, T. Koprucki, D. Müller, and K. Tabelow</span><span class="ltx_text ltx_bib_year"> (2017)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Mathematical models as research data via flexiformal theory graphs</span>.
@@ -125,7 +125,7 @@ <h4 id="report">Technical Reports</h4>
 </span>
 <span class="ltx_bibblock ltx_bib_cited">Cited by: <a href="#p1" title="" class="ltx_ref">p1</a>.
 </span></li>
-            <li id="bib.bib213" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
+            <li id="bib.bib214" class="ltx_bibitem ltx_bib_report"><span class="ltx_tag ltx_bib_key ltx_role_refnum ltx_tag_bibitem">[2]</span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_author">T. Koprucki, M. Kohlhase, K. Tabelow, D. Müller, and F. Rabe</span><span class="ltx_text ltx_bib_year"> (2017)</span>
 </span>
 <span class="ltx_bibblock"><span class="ltx_text ltx_bib_title">Model pathway diagrams for the representation of mathematical models</span>.