Formal Development of Three Classical Mathematics Problems
YANG Chen;XUE Jin-yun;SU Zhao
Computer and Modernization . 2010, (8): 1 -4 .  DOI: 10.3969/j.issn.1006-2475.2010.08.001