Key points are not available for this paper at this time.
I discuss how mathematicians come to a shared notion of what is important, and how automated reasoning might affect that process.
Akshay Venkatesh (Fri,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: