A simple and constructive proof to a generalization of Lüroth's theorem.

François Ollivier Brahim Sadik

Published in: CoRR (2022)

Keyphrases

databases
real world
information retrieval
genetic algorithm
multimedia
highly reliable
interactive theorem proving
information technology
theorem prover
theorem proving
learning machines
provably correct