Structural Complexity of Rational Interactive Proofs.
Daniil MusatovGeorgii PotapovPublished in: CiE (2023)
Keyphrases
- structural information
- virtual reality
- computational complexity
- space complexity
- memory requirements
- artificial intelligence
- decision making
- knowledge base
- image processing
- user friendly
- database
- database systems
- theorem proving
- theorem prover
- user interaction
- multiscale
- three dimensional
- search engine
- information retrieval
- machine learning
- neural network
- data sets