Mathematics mechanization and applications/
Mathematics mechanization and applications/
edited by Xiao-Shan Gao and Dongming Wang.
- San Diego : Academic Press , 2000.
- xix, 551 pages : illustrations ; 27 cm.
Includes index.
Includes bibliographical references.
9780127347608 (hardback)
Automatic theorem proving.
Equations--Numerical solutions--Data processing.
Programming (Mathematics).
Includes index.
Includes bibliographical references.
9780127347608 (hardback)
Automatic theorem proving.
Equations--Numerical solutions--Data processing.
Programming (Mathematics).