%0 Journal Article %A Andrej Bauer %A Sandi Klavžar %T Marko Petkovšek (1955 – 2023) %J Ars Mathematica Contemporanea %D 2023 %V 23 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/item/AMC_2023__23_2_a10/ %G en %F AMC_2023__23_2_a10