We only have this paper's title and publication details.
Read it at the sourceNew discoveries expand the scope of computer-assisted proofs of theorems.
No takes yet. Share an insight, caveat, or question.
Don Monroe (2014) studied this question.
Synapse has enriched 2 closely related papers on similar clinical questions. Consider them for comparative context: