A simple and elementary proof of Whitney's unique embedding theorem.

Gunnar Brinkmann

Published in: Ars Math. Contemp. (2021)

Keyphrases

interactive theorem proving
databases
social networks
theorem proving
data sets
learning algorithm
information systems
decision making
clustering algorithm