Mathematical Knowledge Management

DOI10.1007/11618027zbMath1151.68674OpenAlexW2480281325MaRDI QIDQ5898515

Alan P. Sexton, Volker Sorge

Publication date: 12 February 2007

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

Full work available at URL: https://doi.org/10.1007/11618027

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Knowledge representation (68T30)

Related Items (2)

Abstracting symbolic matrices ⋮ Flexary Operators for Formalized Mathematics

Uses Software

• Unnamed Item

This page was built for publication: Mathematical Knowledge Management