Works best with JavaScript enabled!Works best in modern browsers!powered by h5ai

	Name	Last modified	Size
	Parent Directory
	A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia - Springer-Verlag. (Distinguished Dissertations) Jacques Fleuriot PhD, MEng (auth.).pdf	2022-02-22 06:24	4924 KB
	Mathematics Mechanization_ Mechanical Geometry Theorem proving - Springer. (Mathematics and Its Applications) Wu Wen-tsun (2001).djvu	2022-02-22 06:24	4434 KB
	Mechanical Geometry Theorem Proving - Springer. (Mathematics and Its Applications (closed)) Shang-Ching Chou (1987).djvu	2022-02-22 06:24	4796 KB
	Mechanical Theorem Proving in Geometries_ Basic Principles - Springer-Verlag Wien. (Texts and Monographs in Symbolic Computation) Dr. Wen-tsün Wu (auth.) (1994).pdf	2022-02-22 06:24	5111 KB
	The Efficiency of Theorem Proving Strategies_ A Comparative and Asymptotic Analysis - Vieweg-Teubner Verlag. (Computational Intelligence) David A. Plaisted, Yunshan Zhu (auth.) (1999).pdf	2022-02-22 06:24	4183 KB