Proof of Harary's conjecture on the reconstruction of trees.
Josef LauriPublished in: Discret. Math. (1983)
Keyphrases
- decision trees
- discrete tomography
- three dimensional
- high resolution
- tree structure
- theorem prover
- mathematical proofs
- natural deduction
- tree structures
- reconstruction error
- data sets
- high quality
- data mining
- multi view
- multiscale
- theorem proving
- error analysis
- image processing
- shape recovery
- compressed sensing
- tree models
- information systems
- computerized tomography
- tomographic images
- neural network