Keyphrases
- economic analysis
- artificial intelligence
- boundary conditions
- theorem prover
- mathematical model
- feature selection
- linear logic
- complete axiomatization
- geometry theorem proving
- three dimensional
- first order logic
- databases
- proof planning
- formal proof
- social networks
- navier stokes equations
- interactive theorem proving