A Proof of the Multiplicative 1-2-3 Conjecture.

Julien Bensmail Hervé Hocquard Dimitri Lajou Éric Sopena

Published in: Comb. (2023)

Keyphrases

theorem proving
linear logic
theorem prover
mathematical proofs
geometry theorem proving
information retrieval
case study
logical rules
proof planning
data sets
machine learning
computer vision
similarity measure
multi agent systems
artificial neural networks
probabilistic model