A New Proof of the Extremal Inequality.

Yinfei Xu Guojun Chen Shi Jin

Published in: ISIT (2022)

Keyphrases

graph theory
data sets
theorem proving
linear logic
theorem prover
search algorithm
mathematical proofs