Mechanical Theorem Proving in GeometriesWen-tsün Wu

Mechanical Theorem Proving in Geometries

Wen-tsün Wu · 1994

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 1994
Language: English
Publisher: Springer
Editions: 3
Pages: 288
ISBN: 9783211825068

Data source: Wikidata

More by Wen-tsün Wu

Rational homotopy typeWen-tsün Wu

Rational homotopy type

Wen-tsün Wu · 2006

Zhongguo gu dai shu xue jia Qin Jiushao yu "Shu shu jiu zhang" yan jiuWen-tsün Wu

Zhongguo gu dai shu xue jia Qin Jiushao yu "Shu shu jiu zhang" yan jiu

Wen-tsün Wu · 2021

Zhongguo gu dai shu xue jia Liu Hui shu xue si xiang yan jiuWen-tsün Wu

Zhongguo gu dai shu xue jia Liu Hui shu xue si xiang yan jiu

Wen-tsün Wu · 2020

Zhongguo shu xue shi da xiWen-tsün Wu

Zhongguo shu xue shi da xi

Wen-tsün Wu · 1998

Shi jie zhu ming ke xue jia zhuan jiWen-tsün Wu

Shi jie zhu ming ke xue jia zhuan ji

Wen-tsün Wu · 1990