Skip to content
Snippets Groups Projects
Commit ee574c2a authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

copying over

parents
No related branches found
No related tags found
No related merge requests found
auto
description:desc.html
teaser:<p>The Math-in-the-Middle Ontology is a curated theory-graph representation of mathematical knowledge that serves as an integrating ontology for mathematical software systems and services.</p>
responsible:m.kohlhase@jacobs-university.de
title: The Math-in-the-Middle Ontology
<p>The Math-in-the-Middle Ontology is a curated theory-graph representation of mathematical knowledge that serves as an integrating ontology for mathematical software systems and services.</p>
This directory contains files that configure the behavior of sTeX on the Glossary
modules in the repositories of the SMGloM group. The files below can be locally
overridden by correpsoning ones in the lib directory of the archive.
WApersons.tex: personal metadata about the authors of this repository
pre.tex: The preamble for the module signatures, it usually includes preamble.tex
pre.<lang>.tex: The preamble for the language bindings of language <lang>
it usually includes preamble.tex
preamble.tex: The main part of the preambles for SMGloM modules.
It contains various \usepackage and declarations.
post.tex: The postamble for the modules
% This file contains the personal data of the authors in this directory.
% This data is needed for the metadata assignment in the glossary modules.
% All keys except the id key are optional.
\WAperson[id=miko,
birthdate=1964-09-13,
email=m.kohlhase@jacobs-university.de,
url=http://kwarc.info/kohlhase,
academictitle=Dr.,
affiliation={Jacobs University, Bremen},
department=Computer Science]
{Michael Kohlhase}
\bibliographystyle{alpha}
\bibliography{local}
\printindex
\end{document}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
\documentclass[mh]{smglom}
\input{localpaths}
\usepackage[utf8]{inputenc}
\usepackage[russian]{babel}
\libinput{preamble}
\begin{document}
\documentclass[mh]{smglom}
\input{localpaths}
\usepackage[utf8]{inputenc}
\usepackage[ngerman]{babel}
\libinput{preamble}
\begin{document}
\documentclass[mh]{smglom}
\input{localpaths}
\usepackage[utf8]{inputenc}
\libinput{preamble}
\begin{document}
\documentclass[mh]{smglom}
\input{localpaths}
\usepackage[utf8]{inputenc}
\usepackage[romanian]{babel}
\libinput{preamble}
\begin{document}
\documentclass[mh]{smglom}
\input{localpaths}
\usepackage[utf8]{inputenc}
\usepackage[russian]{babel}
\libinput{preamble}
\begin{document}
\documentclass[mh]{smglom}
\input{localpaths}
\libinput{preamble}
\begin{document}
\documentclass[mh]{smglom}
\input{localpaths}
\usepackage[utf8]{inputenc}
\usepackage[turkish,shorthands=:!]{babel}% restricted shorthands, otherwise we have problems with keyval, which we need
\libinput{preamble}
\begin{document}
\documentclass[mh]{smglom}
\input{localpaths}
\usepackage[utf8]{inputenc}
\usepackage{fontspec}
\setmainfont[AutoFakeBold=4]{FandolFang}
\libinput{preamble}
\begin{document}
\documentclass[mh]{smglom}
\input{localpaths}
\usepackage[utf8]{inputenc}
\usepackage{fontspec}
\setmainfont[AutoFakeBold=2]{cwTeX Q Kai}
\libinput{preamble}
\begin{document}
\usepackage[show]{ed}
\usepackage{url,calbf}
\usepackage{amsmath}
\usepackage[bookmarks,linkcolor=black,citecolor=black,urlcolor=black,colorlinks,breaklinks,bookmarksopen,bookmarksnumbered]{hyperref}
% we also set the base URI for the LaTeXML transformation (the files are committed to
% TNTBase under this URI)
\baseURI[\MathHub{}]{https://mathhub.info/}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment