A Short Proof of the Blow-Up Lemma for Approximate Decompositions.

Stefan Ehard Felix Joos

Published in: Comb. (2022)

Keyphrases

linear logic
theorem proving
natural deduction
neural network
multiscale
artificial intelligence
three dimensional
data structure
evolutionary algorithm
special case
singular value decomposition
theorem prover
automated theorem proving