2 search results - page 1 / 1 » Animating Formal Proof at the Surface: The Jape Proof Calcul... |
101
Voted
CJ
1999
14 years 11 months ago
1999
94
Voted
VISUALIZATION
2000
IEEE
15 years 4 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...