Towards Mathematical Knowledge Management for Electrical Engineering

DOI10.1007/978-3-540-73086-6_29MaRDI QIDQ5428285zbMATH OpenOpenAlexFDO

Authors Agnieszka Rowinska-Schwarzweller, Christoph Schwarzweller

Publication date 28 November 2007

Published in Towards Mechanized Mathematical Assistants (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73086-6_29

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Recommendations

• On building a knowledge base for stability theory
• Mathematical Knowledge Management
• Mathematical knowledge management in MIZAR
• Engineering applications of matroids -- a survey
• Organization, transformation, and propagation of mathematical knowledge in mega

Cited in

(2)

• On building a knowledge base for stability theory
• THE ROLE OF THE KNOWLEDGE ON ELECTROMAGNETISM FOR ELECTRIC ENGINEER EDUCATION

Describes a project that uses

Uses Software

• MAYA
• Mizar

This page was built for publication: Towards Mathematical Knowledge Management for Electrical Engineering

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