A case-study in algebraic manipulation using mechanized reasoning tools.

Jesús Aransay César Domínguez

Published in: Int. J. Comput. Math. (2010)

Keyphrases

formal models
case study
knowledge representation
user friendly
knowledge representation systems
rule based reasoning
model based reasoning
reasoning systems
reasoning process
software tools
case based reasoning
end users
knowledge base
building blocks
analogical reasoning
web services
machine learning