A Combinatorial Proof of the Existence of Dense Subsets in ℝ without the "Steinhaus" like Property.

Arpan Sadhukhan

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

Keyphrases

fixed point theorem
fixed point
theorem prover
theorem proving
database
multiscale
linear logic
lipschitz continuity
bayesian networks
object recognition
evolutionary algorithm
multiresolution
scene flow
complete axiomatization