日韩精品 中文字幕 动漫,91亚洲午夜一区,在线不卡日本v一区v二区丶,久久九九国产精品自在现拍





		



注冊  |  登錄讀書好，好讀書，讀好書！






        
讀書網(wǎng)-DuShu.com

        
         
                
      	
                
                	
                    
                    
                

                
            
        

        

               

				
				
				
       
        




















	當(dāng)前位置： 首頁出版圖書科學(xué)技術(shù)自然科學(xué)數(shù)學(xué)論非線性代數(shù)方程組的消去法

	



    
    

    
論非線性代數(shù)方程組的消去法

    

	
論非線性代數(shù)方程組的消去法
	
	

	

	

	
定　價：￥98.00

	

			
					

						作　者：
						朱望規(guī)
					

					

						出版社：
						學(xué)苑出版社
					

					

						叢編項：
						
					

					

						標(biāo)　簽：
						暫缺
					

				
	
	

    
	

                        
購買這本書可以去

                        
	

	

	

			
					

						ISBN：
						9787507754964
						出版時間：
						2017-03-01	
                        包裝：
											
					
					
					
					
						開本：
						其他
						頁數(shù)：
						
						字?jǐn)?shù)：
						 
					
					
				

        

   

    
    
    
	
	
	
	
內(nèi)容簡介

	

	
　　本書選擇對Morley定理的證明用非線性消去法，在消去過程結(jié)束后，很后的殘量gj本書選擇對Morley定理的證明用非線性消去法，在消去過程結(jié)束后，很后的殘量，不能判定或，致使定理的結(jié)論無法獲得。本書又選擇對Morley定理的27個三角形都適用的公式組，說明它不能用代數(shù)方法得到三角陣列的公式組，從而無法進(jìn)行非線性消去法。進(jìn)一步，又指出上述公式組，用多項式代數(shù)歸化成為27個線性代數(shù)方程組時，由于其系數(shù)不是多項式或有理分式，它們的解不具有代數(shù)形式，從而使很后殘量，不能判定或，定理結(jié)論無法獲得。
	
	
	
   
	
	
	
作者簡介

	

	
　　朱望規(guī)，1962年7月畢業(yè)于西安交通大學(xué)應(yīng)用數(shù)學(xué)專業(yè)。開發(fā)完成“751光筆圖形顯示器基本軟件系統(tǒng)”，1977年獲得靠前屆全國科技大會重大科技成果獎，1978年獲得陜西省首屆科技成果一等獎，1980年獲得四機(jī)部電子工業(yè)科技成果二等獎（首屆，當(dāng)年優(yōu)選獎）。1983年2月起參加全國高校師資數(shù)據(jù)庫研制工作。1986年受聘中央廣播電視大學(xué)靠前屆離散數(shù)學(xué)主講教師，錄有100學(xué)時教學(xué)錄像帶。1995年-2002年作為靠前主要起草人制定國家標(biāo)準(zhǔn)：信息處理系統(tǒng)CGM（四本）、CGI（六本）?？壳巴獍l(fā)表多篇重要論文。1985年投入人工智能及機(jī)器證明領(lǐng)域?，F(xiàn)為北京化工大學(xué)計算機(jī)系教授，享受國家政府津貼。
	
	
	
	
	
	
圖書目錄

	

	
緒論
第一篇  用經(jīng)典方法證明初等幾何定理
  第一章  Morley定理與三角、解析幾何證明
    1．1  Morley定理概述
      1．1．1  ti，si，t'i，s'i，t i，s i 直線方程
      1．1．22  7個點
      1．1．3  Morley定理百年前的證明與結(jié)論
    1．2  （用三角與解析幾何）證明Morley定理
      1．2．1  證明△DEF為正三角形
      1．2．2  證明△D11E11F11為正三角形
      1．2．3  證明△D22E22F22為正三角形
      1．2．4  證明一組平行線之一與另一組平行線之一夾角為60°
      1．2．5  證明Morley定理有27個正三角形
    1．3  M0rley定理有多少三角形
      1．3．1  形如△DqyEypFpq（簡化為△[p，q，y]）的三角形（見圖1-8）
      1．3．2  形如△LqyMypNpq（簡化為△[p，g，y]）的三角形
      1．3．3  另有6個非正三角形
      1．3．4相應(yīng)對1．3．3的共軛三角形
      1．3．5  另有18個有一個角為60°的非正三角形
  第二章  Morley定理的Gauss消去法證明
    2．1  坐標(biāo)的數(shù)字化
    2．2  27個正三角形的證明
  第三章  實例
第二篇  初等幾何定理的機(jī)器證明
  第四章  初等幾何定理的坐標(biāo)化
    4．1  范例1的坐標(biāo)化
    4．2  范例2的坐標(biāo)化
      4．2．1  hi公式組的推導(dǎo)
      4．2．22  7個三角形的驗證
      4．2．3  由hi公式組反解出27個三角形
    4．3  其他定解條件
      4．3．1  另一種定解條件
      4．3．2  再一種定解條件
  第五章  hi=O公式組或Fi=0公式組的經(jīng)典代數(shù)解法
    5．1  范例1的代數(shù)解法
      5．1．1  范例l的Fi=0公式組的第一種解法
      5．1．2  范例1的Fi=O公式組的第二種解法
    5．2  范例2的hi=0公式組的解法
  第六章  Grobner基算法
    6．1  范例1的Grobner基算法
    6．2  范例2的Grobner基算法
  第七章  國內(nèi)引入的非線性消去法（推演范例1）
    7．1  對g1（從Fi解出xi=時，改為fi）
    7．2  對g2
    7．3  對g3
    7．4  用實例簡化
  第八章  引入gj=0公式組所產(chǎn)生的問題
  第九章  △ABC外接圓的同心圓上一點到△ABC三邊垂足形成的三角形面積問題
    9．1  關(guān)于Simson線
    9．2  面積問題
參考文獻(xiàn)
后記
	
	

	

    
       
    
	
	

   

   

   

    
   

   
本目錄推薦







掃描二維碼










    

        

            
        

        
Copyright ? 讀書網(wǎng) rgspecialties.com 2005-2020, All Rights Reserved.

        
鄂ICP備15019699號  鄂公網(wǎng)安備 42010302001612號