Hoon Hong

Hoon Hong

2 ספרים במאגר

ספרים

Mathematical Software -- ICMS 2014Hoon Hong

Mathematical Software -- ICMS 2014

Hoon Hong · 2014

Automated deduction in geometryHoon Hong

Automated deduction in geometry

Hoon Hong · 2006