Mathematical Knowledge Management
Session Organizers:
Session Abstract:
This session is about the opportunities and technologies
that software provides
to facilitate communication and development of mathematics and
access to mathematical knowledge.
Topics (including, but not limited to)
- What is mathematical knowledge and how can it be represented?
- Software for manipulation, storage and retrieval of mathematical
knowledge
- Recovery of machine-usable mathematical knowledge from traditional
publications
- Integration of machine-usable mathematical knowledge in new publication
- Integrating levels of formalism in the treatment of mathematical
knowledge
- The use of generative AI, computer algebra and formal deduction systems
for mathematical knowledge management
- Mathematical search (for definitions, results, explanations,
etc)
- Automated summary of mathematical documents
- Automated classification of mathematical documents
- Mathematical knowledge network navigation
- Indexing and meta-knowledge
- Rights management
- Fraud detection
- Authority in mathematical knowledge management
- Collaboration tools
- Curation and the life cycle of mathematical knowledge bases
- Scalability of mathematical knowledge systems
Session Talks:
tba