Theorema 2.0: A Graphical User Interface for a Mathematical Assistant System.

Wolfgang Windsteiger

Published in: UITP (2012)

Keyphrases

test bed
mathematical expressions
information systems
multiscale
support vector
mathematical proofs
mathematical theory
mathematical models
mobile robot
evolutionary algorithm
relational databases
database
knowledge base
decision making
genetic algorithm
information retrieval
databases