Mathematics Mechanization and Applications
Contributors: Dongming Wang (Editor); Xiao-Shan Gao (Editor)
Edition: 1st edition
Publisher: Academic Press
Published: January 15, 2000
Language: eng
Format: Hardcover
Number of pages: 550
ISBN-13: 9780127347608
Subjects: Mathematical & statistical software; Mathematical logic; Mathematical theory of computation; Numerical solutions; Discrete Mathematics; Foundations Of Geometry; Theory Of Equations; Science/Mathematics; Mathematics; Geometry - General; Equations; Algebra - Elementary; Applied; Programming Languages - General; Computers / Programming Languages / General; Computers-Programming Languages - General; Mathematics / Applied; Mathematics-Algebra - Elementary; Algebra - General; Automatic theorem proving; Data processing
First sentence: There are two main activities of mathematics: theorem proving and equation solving.