Login / Signup
MizAR 60 for Mizar 50.
Jan Jakubuv
Karel Chvalovský
Zarathustra Amadeus Goertzel
Cezary Kaliszyk
Mirek Olsák
Bartosz Piotrowski
Stephan Schulz
Martin Suda
Josef Urban
Published in:
ITP (2023)
Keyphrases
</>
computer assisted
image analysis
image segmentation