Two New Ways to Formally Prove Dandelin-Gallucci's Theorem.

David Braun Nicolas Magaud Pascal Schreck

Published in: ISSAC (2021)

Keyphrases

computer vision
databases
neural network
search engine
metadata
digital libraries