Login / Signup
A proof of the Multiplicative 1-2-3 Conjecture.
Julien Bensmail
Hervé Hocquard
Dimitri Lajou
Éric Sopena
Published in:
CoRR (2021)
Keyphrases
</>
theorem proving
linear logic
mathematical proofs
geometry theorem proving
theorem prover
information retrieval
social networks
computer vision
case study
feature extraction
data structure
digital libraries
multiresolution
proof planning
formal proof