Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving - detaljert visning

Mathematics mechanization : mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving

Wenjun Wu
Bok Engelsk 2000


Utgitt	Beijing : Science Press , c2000
Omfang	XII, 420 s. : ill.
Emner	Artificial intelligence Automatic theorem proving Equations - Numerical solutions Matematiske metoder mekanisk problemløsning matematisk tenkning
ISBN	079235835X. - 7030066863