Proof of Mirror Theory for a Wide Range of $\xi _{\max }$.

Benoît Cogliati Avijit Dutta Mridul Nandi Jacques Patarin Abishanka Saha

Published in: EUROCRYPT (4) (2023)

Keyphrases

wide range
real world
expert systems
theoretical framework
general theory
database
databases
information systems
image sequences
artificial neural networks
rough sets
conceptual framework
theorem prover
formal theory
proof theory
proof theoretic