Λ-Symsym: An Interactive Tool for Playing with Involutions and Types.

Furio Honsell Marina Lenisa Ivan Scagnetto

Published in: TYPES (2020)

Keyphrases

machine learning
information retrieval
artificial intelligence
search engine
multimedia
image segmentation
three dimensional
special case