Two Proofs for Shallow Packings.
Kunal DuttaEsther EzraArijit GhoshPublished in: Discret. Comput. Geom. (2016)
Keyphrases
- theorem prover
- question answering
- natural language processing
- wall street journal
- theorem proving
- mathematical proofs
- information extraction
- equational theories
- multiscale
- packing problem
- formal proofs
- formal proof
- data sets
- learning environment
- automated theorem provers
- syntactic parsing
- decision procedures
- databases
- social networks
- special case
- control system