Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Beurskens, Thijs"'
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 measure for comparing merge trees. However, the interleaving distance
Externí odkaz:
http://arxiv.org/abs/2312.11113
Autor:
Wemmenhove, Jelle, Arends, Dick, Beurskens, Thijs, Bhaid, Maitreyee, McCarren, Sean, Moraal, Jan, Garrido, Diego Rivera, Tuin, David, Vassallo, Malcolm, Wils, Pieter, Portegies, Jim
Publikováno v:
EPTCS 400, 2024, pp. 96-119
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 provers, students write out their proofs inside the software using a s
Externí odkaz:
http://arxiv.org/abs/2211.13513