Pierluigi Graziani

コンピュータがどのように面白い幾何学の定理を作ることができるかについての研究。