Keyphrases
- database query languages
- query language
- algebraic expressions
- theorem proving
- data model
- boolean algebra
- theorem prover
- relational algebra
- neural network
- formal proofs
- decision trees
- algebraic geometry
- multiscale
- case study
- computer programs
- algebraic structure
- knowledge base
- genetic algorithm
- database
- interactive theorem proving