Cover Image

Mathematics mechanization and applications /

Show other versions (1)

Mathematics Mechanization and Applications provides a uniform presentation of major developments, carried out mostly in Wu's extended Chinese group, on algorithms and software tools for mechanizing algebraic equations solving and geometric theorem proving together with their applications to pro...

Full description

Bibliographic Details
Corporate Author: ScienceDirect (Online service)
Other Authors: Gao, Xiao-Shan, Wang, Dongming, 1961-
Format: eBook
Language:English
Language Notes:English.
Published: San Diego : Academic Press, ©2000.
Subjects:
Equations > Numerical solutions > Data processing.
Automatic theorem proving.
Équations > Solutions numériques > Informatique.
Théorèmes > Démonstration automatique.
Automatic theorem proving
Equations > Numerical solutions > Data processing
Aufsatzsammlung
Automatisches Beweisverfahren
Computeralgebra
Geometrische Modellierung
Electronic books.
Online Access:Connect to the full text of this electronic book

Internet

Connect to the full text of this electronic book

Available Online

Holdings details from Available Online
Call Number: QA218 .M19 2000eb
 
Call Number Status Get It
QA218 .M19 2000eb Available