Michael Kohlhase
Michael Kohlhase
We are looking into putting together an academic monograph (book) with overview articles, which (as a whole) would give a record of what we achieved as the OpenDreamKit project in...
the title in the `deliverablereport.cls` wants to report the lead institution, but fails (maybe this is the error in #196). The problem is that we only read `../../Proposal/proposal.pdata`, which does...
They have a new XML file format, so we should be able to convert into OpenMath Objects (and back). Their system exports object-like reprsentations. They want to make CD-like structures...
to have the newst ones first.
\inlineass[name= in foo.en does not induce exportable symbol in foo.de (even with sig=en in place)
This is a bit subtle: When typesetting `smglom/mv/source/mod/equation.de.tex` I get the error ``` ! Package stex Error: No symbol reflexive.cond found! Type to continue. ... l.9 ...e.cond]{\sr{reflexive?reflexive}{reflexiv}} und ! Package...
Typesetting `.../courses/uhi/graph-theory/source/sec/crossingnum.de.tex` gives me the error message ``` ! LaTeX Error: Unknown message 'unknownnotation' for module 'stex'. For immediate help type H . ... l.11 \setnotation{expectation}{cal} ``` The problem seems...
Realizations often come in modular groups, where higher realizations build on lower ones. See `smglom/algebra/source/thm/cartspace-*.en.tex`, (and continuing in `smglom/linear-algebra`). In MMT we allow inclusions between realizations, but sTeX cannot do...
I get the error message ``` ! LaTeX Error: Variable \c_stex_module__symbols_prop undefined. For immediate help type H . ... l.34 ...raph}[title=AI Conundrum,name=aiconundrum] ! Package stex Error: No symbol aiconundrum found!...
see the title. `cleveref.sty` also has this. Actually, now that I look at this in more detail, I see that capitalization is merely unsystematic. The sTeX-generated keywords (like Definition) are...
I am currently sTeXifying Deepak D'Souza's TheoCS course at IISc (see https://gl.mathhub.info/courses/IISc/ATC/course). And he has organized his course into "lecture" which are separate files. In the original (see the `deepak`...