Login / Signup
A structured proof of the Kolmogorov superposition theorem.
S. Dzhenzher
A. Skopenkov
Published in:
CoRR (2021)
Keyphrases
</>
interactive theorem proving
theorem proving
structured data
theorem prover
automated theorem proving
proof planning
real time
decision making
image segmentation
support vector
multiresolution