Login / Signup
A Proof of the Mazur-Ulam Theorem.
Jussi Väisälä
Published in:
Am. Math. Mon. (2003)
Keyphrases
</>
computational biology
santa fe
interactive theorem proving
annual conference
protein sequences
machine learning
von neumann
data sets
theorem proving
selected papers
theorem prover
social networks
bayesian networks
natural language processing
modal logic
linear logic