A theorem proving approach for automatically synthesizing visualizations of flow cytometry data by Sunny Raj, Faraz Hussain, Zubir Husein, Neslisah Torosdagli, Damla Turgut, Narsingh Deo, Sumanta Pattanaik, Chung-Che (Jeff) Chang, Sumit Kumar Jha

Get full text