A theorem proving approach for automatically synthesizing visualizations of flow cytometry data.
Sunny RajFaraz HussainZubir HuseinNeslisah TorosdagliDamla TurgutNarsingh DeoSumanta N. PattanaikChung-Che Jeff ChangSumit Kumar JhaPublished in: BMC Bioinform. (2017)
Keyphrases
- theorem proving
- first order logic
- inference rules
- automated reasoning
- theorem prover
- term rewriting
- parallel search
- automatic programming
- decision procedures
- logical inference
- proof planning
- consequence finding
- proof procedure
- automated deduction
- automated theorem proving
- geometry theorem proving
- distributed search
- machine learning
- mathematical knowledge
- knowledge representation
- search algorithm