tweaks

adoptions/conc.tex

@@ -8,3 +8,8 @@ applicable.
 
 \ednote{Interesting theoretical, practical, and social/organizational problems $\leadsto$
   OAFF}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "paper"
+%%% End:

adoptions/intro.tex

+Global mathematical knowledge grows -- at least -- at a rate 120,000 published articles a
+year to a current crop of about 3.5 Million articles.  Even though these are articles are
+scattered over several thousand journals they -- together with papers in conferences,
+preprints in online or local archives, and talks given in seminars -- function as a
+coherent scientific commons of communal knowledge about the domain.
+
+
+
+  In the traditional knowledge dissemination process in mathematics and sciences, authors
+  write semi-selfcontained articles which are then published in journals, conference
+  proceedings, preprint archives, and/or given as talks. Other scientists read these,
+  extract the new knowledge, integrate this into their personal mental model of the field,
+  and use this as the basis for creating new knowledge which is disseminated in the same
+  form.
+
+  Somewhat surprisingly, this this process has not been modeled from a formal or
+  content-based perspective even though it is a the heart of human MKM and DML. 
+
+  In this paper we tackle this problem starting from the practice of starting papers with
+  a ``recap'', which briefly introduces context, terminology, and notations and thus ties
+  the paper into the knowledge commons. We propose a flexiformal model for knowledge
+  dissemination and its aggregation into a communal, shared knowledge commons based on
+  theory graphs and the newly introduced realms.
+
+
+
+
 Mathematical knowledge grows relentlessly and, even though there are several attempts to formalize parts of it, the
 vast majority of mathematics still exists as informal documents. 
 
@@ -32,3 +59,8 @@ flexibility/locality.
 
 
 
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "paper"
+%%% End:

adoptions/local.bib

@@ -67,15 +67,14 @@ archivePrefix = "arXiv",
 
 %%%%% calculi
 @MISC{calculi-orig,
-  author = {Grigoriy {Bokov}} 
+  author = {Grigoriy {Bokov}}, 
   title = {Undecidable problems for propositional calculi with implication},
   year = 2015
  }
 
 %%%%% 
 @MISC{quant-orig,
-  author = {Christopher {Eagle} and Ilijas {Farah} and Eberhard {Kirchberg},
-and Alessandro {Vignati}},
+  author = {Christopher {Eagle} and Ilijas {Farah} and Eberhard {Kirchberg} and Alessandro {Vignati}},
   title = {Quantifier elimination in C*-algebras},
   year = 2015,
 }

adoptions/paper.tex

@@ -10,21 +10,16 @@
 \usepackage{paralist}
 \usepackage{listings}
 
-%\usepackage{hyperref}
-%\hypersetup{linkcolor=red,citecolor=blue,urlcolor=gray,colorlinks,breaklinks,bookmarksopen,bookmarksnumbered}
-
-
 \usepackage[linkcolor=black]{hyperref}
 
 \usepackage[hyperref=auto,style=alphabetic,citestyle=alphabetic,isbn=false,backend=bibtex]{biblatex}
 \addbibresource{local.bib}
-\addbibresource{kwarc.bib}
 \addbibresource{pub_rabe.bib}
 \addbibresource{systems.bib}
 \addbibresource{kwarcpubs.bib}
 \addbibresource{extpubs.bib}
 \addbibresource{kwarccrossrefs.bib}
-\addbibresource{extcrossrefs}
+\addbibresource{extcrossrefs.bib}
 \usepackage{local}
 
 
@@ -91,10 +86,6 @@
 \section{Conclusion and Future Work}\label{sec:conc}
 \input{conc}
 
-
-
-%\bibliographystyle{plain}
-
 \printbibliography
 \end{document}
 

adoptions/patterns.tex

@@ -448,3 +448,8 @@ is automatic and needs human intervention -- but one that the authors expect the
 will readily do, otherwise they would not have restricted themselves to the concrete
 sequence.
 \end{oldpart}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "paper"
+%%% End:

adoptions/phenomena.tex

@@ -187,3 +187,8 @@ in question. Textbooks and lecture notes are natural references as they are the
 where students first encounter the concepts.  \ednote{MK: The solution for this is ADP and
   transclusion}
 \end{oldpart}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "paper"
+%%% End:

adoptions/prel.tex

@@ -67,3 +67,8 @@ and provides practitioners with the useful symbols and theorems via an \emph{int
  \end{tikzpicture}
  \caption{The architecture of a realm}\label{fig:realm}
 \end{figure}
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "paper"
+%%% End:

adoptions/workflows.tex

@@ -40,3 +40,9 @@ With \lstinline|\adoptmodule| we can also handle the accelerate Turing machines
   \item need a community process of moving ``original theory'' towards encyclopedias.
 \end{todolist}
 \end{oldpart}
+
+
+%%% Local Variables:
+%%% mode: latex
+%%% TeX-master: "paper"
+%%% End: