A visual proof of amortised-linear resizable arrays.

Published in: ITiCSE (2009)

Keyphrases

visual information
closed form
visual features
piecewise linear
visual perception
high level
bayesian networks
multiscale
data structure
low level
theorem proving
visual cues
human vision