Visualizing Geometrical Statements with GeoView.

Yves Bertot Frédérique Guilhot Loic Pottier

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

interactive visualization
real time
natural language
feature vectors
hidden markov models
invariant properties
interactive exploration
denotational semantics