A math query language with an expanded set of wildcards
From MaRDI portal
Recommendations
Cited in
(5)- A query language for formal mathematical libraries
- VMEXT: a visualization tool for mathematical expression trees
- Indexing and Searching Mathematics in Digital Libraries
- Towards a heterogeneous query language for mathematical knowledge
- Which one is better: presentation-based or content-based math search?
This page was built for publication: A math query language with an expanded set of wildcards
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q841691)