Elimination Practice: Software Tools And Applications (With Cd-rom)

Composite Mathematics For Class 6

A Combination of Geometry Theorem Proving and Nonstandard Analysis with Application to Newton’s Principia

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

Composite Mathematics For Class 7

Automated Deduction in Geometry: 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers

Composite Mathematics For Class 8

Differential Equations with Symbolic Computation

New Mathematics Today Class 8

Problems and Solutions for Integer and Combinatorial Optimization: Building Skills in Discrete Optimization

Symbolic-Numeric Computation

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

Programming in Haskell: Edition 2

Automated Practical Reasoning: Algebraic Approaches

New Mathematics Today Class 7

NCERT Mathematics Practice Book 7

Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth