幾何定理機器證明系統(tǒng)的開發(fā)與研究.pdf

1、北京化工大學(xué)碩士學(xué)位論文幾何定理機器證明系統(tǒng)的開發(fā)與研究姓名：尤楓申請學(xué)位級別：碩士專業(yè)：計算機應(yīng)用技術(shù)指導(dǎo)教師：朱望規(guī)2003.5.27北京化工大學(xué)碩士生學(xué)位論文R E S E A R C H A N D D E V E L o P M E N T o F M A C H I N EP R o V I N G S Y S T E M o N G E o M E T R Y T H E o R E MA b s t r a c tG e

2、 n e r a l l y , t h ep r o v i n g 0 fg e o m e t r yt h e o r e mi s b a s e do nt h ea x i o ms y s t e m ，a n d i s d e d u c t e d a c c o r d i n g t o c e r t a i n l o g i c r u l e s ．D i f f e r e n tt h e o r

3、e m h a s d i f f e r e n tp r o v i n gm e t h o d ，a n d n oc o m m o n w a y s o r i d e a sc a nb e u s e df o r a l l t h e o r e m so r e v e nf o r ac e r t a i n c l a s s ．S o i t c a l l ’t b ec o m p r e h e n

4、 d e d b y a n a l o g y f o r p r o v i n g ，a n dC a n o n l y b e p u ti n t o r e a l i t yb ye x p e r i e n c ea n d p r e c i s el o g i c a lj u d g m e n t c a p a b i l i t y ．W i t ht h ef o u n d a t i o no f

5、M r ．W uw e n j u n ’Sm e t h o do fm a t h e m a t i c a lm e c h a n i z a t i o n ，t h em e c h a n i c a l p r o v i n g a n d c a l c u l a t i n g a r e p u t i n t or e a l i t yi nm a n y f i e l d so f m a t h ．

6、T h i sm e c h a n i c a lm e t h o d ，c a l l e dW u ’Sm e t h o d ，i se s p e c i a l l yw e l la p p l i e di n t ot h eM e c h a n i c a lG e o m e t r y T h e o r e m P r o v i n g ，w h i c hi s ap r o v i n gm e t

7、h o db a s e do nt h e s t r u c t u r a l g e o m e t r ya l g e b r at h e o r e m ，a n d b r e a k s an e w p a t hf o rt h e p r o v i n g o f g e o m e t r y t h e o r e m ．T h i sp a p e rm a i n l yd i s c u s s e

8、 st h em e c h a n i c a lp r o v i n go fe l e m e n t a r yg e o m e t r y b a s e d o n t h eW u ’S m e t h o d ，i n c l u d i n g ：( 1 ) d e v e l o p i n gas o f t w a r es y s t e m u s i n gt h i sm e t h o d t op

9、 r o v et h e o r e mb a s e d o n t h eM a p l e a n d M a t l a b ．( 2 ) v a l i d a t i n gt h es y s t e m u s i n g l a r g ea m o u n t o f t h e o r e m s ．( 3 ) m a k i n g d e e p r e s e a r c h e so nt h ek e