2 search results - page 1 / 1 » Animating Formal Proof at the Surface: The Jape Proof Calcul... |
94
Voted
CJ
1999
14 years 10 months ago
1999
VISUALIZATION
2000
IEEE
15 years 2 months ago
2000
IEEE
Visualization algorithms have seen substantial improvements in the past several years. However, very few algorithms have been developed for directly studying data in dimensions hi...