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
:
Library | Material Type | Item Barcode | Shelf Number | [[missing key: search.ChildField.HOLDING]] | Status |
---|
Online Library | E-Book | 256505-1001 | ONLINE | | Elektronik Kütüphane |