Automated inequality proving and discovering

• Tác giả: Bican Xia, Lu Yang
• Ngôn ngữ: eng
• ISBN: 9789814759113 (hardcover : alk. paper)
• Ký hiệu phân loại: 515.26 Inequalities
• Mô tả vật lý: xii, 332 pages : , illustrations (some color) ; , 24 cm
• Bộ sưu tập: Khoa học tự nhiên
• ID: 274373
• Chủ đề: 1. Algorithms; 2. Inequalities (Mathematics)--Data processing; 3. Mathematical statistics--Data processing; 4. Numerical analysis--Data processing

Includes bibliographical references and index.