Login / Signup
A New Proof of Monjardet's Median Theorem.
Daniel E. Loeb
Published in:
J. Comb. Theory, Ser. A (1996)
Keyphrases
</>
interactive theorem proving
theorem proving
linear logic
image processing
theorem prover
von neumann
average distance
information systems
e learning
median filter