Mathematics mechanization and applications
by
 
Gao, Xiao-Shan.

Title
: 
Mathematics mechanization and applications

Author
: 
Gao, Xiao-Shan.

ISBN
: 
9780127347608

Publication Information
: 
San Diego : Academic Press, c2000.

Physical Description
: 
1 online resource (xix, 551 p.) : ill.

Subject Term
: 
Equations -- Numerical solutions -- Data processing.
 
Automatic theorem proving.
 
Aufsatzsammlung.
 
Automatisches Beweisverfahren.
 
Computeralgebra.
 
Geometrische Modellierung.

Added Author
: 
Gao, Xiao-Shan.
 
Wang, Dongming, 1961-

Electronic Access
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780127347608


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book256505-1001ONLINEElektronik Kütüphane