demonstrandum-research.org · Keşfedildi 1 sa. önce
Research projects in machine-assisted mathematics by John Erlbacher.
