Reconstruction of TLAPS Proofs Solved by VeriT in Lambdapi.

Coltellacci Alessio

Published in: ABZ (2023)

Keyphrases

theorem proving
three dimensional
high resolution
image reconstruction
reconstruction method
theorem prover
information systems
image registration
reconstructed image
compressed sensing
discrete tomography
real time
computer programs
shape recovery
computerized tomography