5 citations · 5 across the 3 of their papers we have counts for
4 papers
Locally Correct Interleavings between Merge Trees
Thijs Beurskens, Tim Ophelders, Bettina Speckmann +1
Temporal sequences of terrains arise in various application areas. To analyze them efficiently, one generally needs a suitable abstraction of the data as well as a method to compar…
ParkView: Visualizing Monotone Interleavings
Thijs Beurskens, Steven van den Broek, Arjen Simons +5
Merge trees are a powerful tool from topological data analysis that is frequently used to analyze scalar fields. The similarity between two merge trees can be captured by an interl…
Relating Interleaving and Fréchet Distances via Ordered Merge Trees
Thijs Beurskens, Tim Ophelders, Bettina Speckmann +1
Merge trees are a common topological descriptor for data with a hierarchical component, such as terrains and scalar fields. The interleaving distance, in turn, is a common distance…
Waterproof: Educational Software for Learning How to Write Mathematical Proofs
Jelle Wemmenhove, Dick Arends, Thijs Beurskens +8
In order to help students learn how to write mathematical proofs, we adapt the Coq proof assistant into an educational tool we call Waterproof. Like with other interactive theorem…