Kinetic Data Structures: Animating Proofs Through Time.
Julien BaschJoão CombaLeonidas J. GuibasJohn HershbergerCraig SilversteinLi ZhangPublished in: SCG (1999)
Keyphrases
- data structure
- biochemical networks
- data types
- efficient data structures
- monte carlo
- theorem proving
- virtual humans
- equational theories
- experimental data
- formal proofs
- theorem prover
- mathematical proofs
- formal proof
- artificial intelligence
- data structures and algorithms
- kd trees
- decision procedures
- quadtree
- real world
- database