Correction to: Editorial about PROOFS 2019.

Karine Heydemann Letitia Li

Published in: J. Cryptogr. Eng. (2021)

Keyphrases

special issue
theorem proving
error correction
formal proof
control system
mathematical proofs
theorem prover
databases
multiscale
error analysis
distortion correction
data mining
optimal solution
support vector
similarity measure
decision trees
multimedia
machine learning
formal proofs
real world