| Logic-Independent Proof Search in Logical Frameworks - (Short Paper). | 0 | 0.34 | 2020 |
| Logic-Independent Proof Search in Logical Frameworks - (Short Paper). | 0 | 0.34 | 2020 |
| Importing the OEIS Library Into OMDoc. | 0 | 0.34 | 2015 |
| A Flexiformal Model of Knowledge Dissemination and Aggregation in Mathematics | 0 | 0.34 | 2015 |
| Math Literate Knowledge Management via Induced Material | 1 | 0.35 | 2015 |
| Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory Graphs. | 0 | 0.34 | 2014 |
