Two-Sided Kirszbraun Theorem.

Arturs Backurs Sepideh Mahabadi Konstantin Makarychev Yury Makarychev

Published in: SoCG (2021)

Keyphrases

databases
interactive theorem proving
genetic algorithm
objective function
expert systems
viewpoint
probability distribution
information extraction
digital topology