Injecting formal mathematics into LaTeX (Q6160559): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Realms: A Structure for Consolidating Knowledge about Mathematical Theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Representing structural language features in formal meta-languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Flexary Operators for Formalized Mathematics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Using La\TeX\ as a semantic markup format / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Theories as types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A scalable module system / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings / rank | |||
Normal rank |
Latest revision as of 07:10, 1 August 2024
scientific article; zbMATH DE number 7691298
Language | Label | Description | Also known as |
---|---|---|---|
English | Injecting formal mathematics into LaTeX |
scientific article; zbMATH DE number 7691298 |
Statements
Injecting formal mathematics into LaTeX (English)
0 references
2 June 2023
0 references