A Generic Modular Data Structure for Proof Attempts Alternating on Ideas and Granularity.
Serge AutexierChristoph BenzmüllerDominik DietrichAndreas MeierClaus-Peter WirthPublished in: MKM (2005)
Keyphrases
- data structure
- artificial intelligence
- space efficient
- efficient data structures
- domain specific
- quadtree
- frequent patterns
- data types
- mathematical knowledge
- theorem proving
- theorem prover
- main memory
- hierarchical structures
- index structure
- neural network
- multidimensional data
- highly flexible
- hierarchical structure
- modular architecture
- multiple granularities
- linked list
- suffix tree
- database
- frequent itemsets
- itemsets
- association rules
- decision trees
- website
- metadata
- real time