A Short Proof that Some Mappings of the Unit Ball of ℓ2 Are Never Nonexpansive.

Jesús Ferrer Enrique Llorens-Fuster

Published in: Am. Math. Mon. (2020)

Keyphrases

theorem prover
theorem proving
vision system
data mining
artificial intelligence
proof planning
geometry theorem proving