Pages that link to "Item:Q1810916"
From MaRDI portal
The following pages link to Technical aspects of the digital library of mathematical functions (Q1810916):
Displaying 16 items.
- Automated symbolic and numerical testing of DLMF formulae using computer algebra systems (Q1798944) (← links)
- NIST digital library of mathematical functions (Q1810915) (← links)
- Searching for mathematical formulas based on graph representation learning (Q2128810) (← links)
- Semantic preserving bijective mappings of mathematical formulae between document preparation systems and computer algebra systems (Q2364705) (← links)
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- Development of the semantic space ``mathematics'' by integrating a subspace of its applied area (Q2700040) (← links)
- The NIST digital library of mathematical functions project (Q2767932) (← links)
- A Query Language for Formal Mathematical Libraries (Q2907320) (← links)
- Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval (Q3453104) (← links)
- Strategies for Parallel Markup (Q3453115) (← links)
- Growing the Digital Repository of Mathematical Formulae with Generic LaTex Sources (Q3453123) (← links)
- Which One Is Better: Presentation-Based or Content-Based Math Search? (Q5495923) (← links)
- An Approach to Math-Similarity Search (Q5495938) (← links)
- Digital Repository of Mathematical Formulae (Q5495940) (← links)
- Math Indexer and Searcher Web Interface (Q5495945) (← links)
- Comparative verification of the digital library of mathematical functions and computer algebra systems (Q6535563) (← links)