Mathematics mechanization and applications /

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...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Gao, Xiao-Shan, Wang, Dongming, 1961-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: San Diego : Academic Press, �2000.
Temas:
Equations > Numerical solutions > Data processing.
Automatic theorem proving.
�Equations > Solutions num�eriques > Informatique.
Th�eor�emes > D�emonstration automatique.
Automatic theorem proving
Equations > Numerical solutions > Data processing
Aufsatzsammlung
Automatisches Beweisverfahren
Computeralgebra
Geometrische Modellierung
Acceso en línea:Texto completo

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares