The Proof of the Removable Pair Conjecture for Fractional Dimension.
Csaba BiróPeter HamburgerAttila PórPublished in: Electron. J. Comb. (2014)
Keyphrases
- pairwise
- genetic algorithm
- theorem prover
- theorem proving
- artificial intelligence
- geometry theorem proving
- website
- case study
- mathematical proofs
- multiresolution
- hurst exponent
- neural network
- complete axiomatization
- proof planning
- proof search
- proof theory
- fractional order
- multiple dimensions
- high order
- multi dimensional
- expert systems
- image processing
- search engine