
Automated Inequality Proving and Discovering (English, Bican Xia | Lu Yang)
Delivery options
₹13,100
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹13,100
Book Details
Publisher
World Scientific Publishing Company
Language
English
ISBN-13
9789814759113
ISBN-10
9814759112
Author
Bican Xia | Lu Yang
About the Book
This is the first book that focuses on practical algorithms for polynomial inequality proving and discovering. It is a summary of the work by the authors and their collaborators on automated inequality proving and discovering in recent years. Besides brief introduction to some classical results and related work in corresponding chapters, the book mainly focuses on the algorithms initiated by the authors and their collaborators, such as real root…
ISBN: 9789814759113
ISBN-13: 9789814759113
ISBN-10: 9814759112
Frequently Asked Questions
What is the price of Automated Inequality Proving and Discovering?
Automated Inequality Proving and Discovering starts from ₹13100 at BookBajar. Available in Paperback.
Who is the author of Automated Inequality Proving and Discovering?
Bican Xia | Lu Yang is the author of Automated Inequality Proving and Discovering. Browse more books by Bican Xia | Lu Yang on BookBajar.
Is Automated Inequality Proving and Discovering available in Paperback and Hardcover?
Yes, Automated Inequality Proving and Discovering is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Automated Inequality Proving and Discovering?
Yes, BookBajar offers free delivery for Automated Inequality Proving and Discovering across India. No minimum order value required.
Is Cash on Delivery available for Automated Inequality Proving and Discovering?
Yes, Cash on Delivery (COD) is available for Automated Inequality Proving and Discovering on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9789814759113
🛒 Customers Also Bought

An Illustrated Guide to Anatomical Eponyms (English, Hans J. Ten Donkelaar | Marina Quartu | David Kachlík)
₹16,497
Das Dritte Dogma Des Empirismus Das ABC Der Modernen Logik Und Semantik Der Begriff Der Erklärung Un (English, Wolfgang Stegmüller)
₹1,791
Vorlesungen Über Massivbau (English, F. Leonhardt)
₹4,141
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Chemoarchitecture of the Brain (English, R. Nieuwenhuys)
₹5,648
Gerichtliche Medizin (English, Berthold Mueller)
₹4,171Related Products

Io: A New View of Jupiter’s Moon (English, Rosaly M. C. Lopes | Katherine de Kleer | James Tuttle Keane)
₹11,975
Der Untergang Des Niederländischen Volksliedes (English, H. F. Wirth)
₹3,587
Classification Theory of Algebraic Varieties and Compact Complex Spaces (English, P. Cherenack | K. Ueno)
₹5,724
Sternverzeichnis Enthaltend Alle Sterne Bis Zur 6.5ten Grösse Für Das Jahr 1900.0 (English, Na Ambronn)
₹3,508
Five Types of Ethical Theory (English, Broad C.D.)
₹36,229