View of Integrating statistical inference with mathematical deduction in protein simulation | BOHR Journal of Biocomputing and Nano Technology