A dynamic-symbolic interface for geometric theorem discovery.
Francisco BotanaJosé L. ValcarcePublished in: Comput. Educ. (2002)
Keyphrases
- dynamic environments
- user interface
- user friendly
- von neumann
- high level
- digital libraries
- dynamically changing
- knowledge discovery
- pattern discovery
- symbolic description
- real time
- neural learning
- discovery process
- changing environment
- geometric structure
- hidden markov models
- three dimensional
- computer vision
- data sets