A query language for a metadata framework about mathematical resources

DOI10.1007/3-540-36469-2_9MaRDI QIDQ4413886zbMATH OpenFDO

Authors Ferruccio Guidi, Irene Schena

Publication date 21 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2594/25940105.htm

Mathematics Subject Classification ID

Database theory (68P15) Information storage and retrieval of data (68P20) Knowledge representation (68T30)

Recommendations

• A query language for formal mathematical libraries
• Towards a heterogeneous query language for mathematical knowledge
• System description: EgoMath2 as a tool for mathematical searching on wikipedia.org
• A Search Engine for Mathematical Formulae
• The mathematical semantic web

Cited in

(11)

• Towards a heterogeneous query language for mathematical knowledge
• Semantic-aware fingerprints of symbolic research data
• A query language for formal mathematical libraries
• A Review of Mathematical Knowledge Management
• Foundations of a multidimensional query language for digital libraries
• Meta-data extraction and query translation. Treatment of semantic heterogeneity
• scientific article; zbMATH DE number 2017865 (Why is no real title available?)
• scientific article; zbMATH DE number 2080560 (Why is no real title available?)
• Krextor -- an extensible framework for contributing content math to the web of data
• A math query language with an expanded set of wildcards
• A proof-centric approach to mathematical assistants

This page was built for publication: A query language for a metadata framework about mathematical resources

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413886)