Login / Signup
An Information System for Retrieving and Reasoning about Xml-based Mathematical Knowledge.
Bernd D. Heumesser
Dietmar Seipel
Ralf-Dieter Schimkat
Ulrich Güntzer
Published in:
Electronic Information and Communication in Mathematics (2002)
Keyphrases
</>
mathematical knowledge
information systems
computer software
theorem prover
theorem proving
information retrieval
web services
markup language
proof planning
xml documents
knowledge management
xml data
statistically significant