Deepak KapurBooksGeometric reasoningSymbolic and numerical computation for artificial intelligenceComputer MathematicsAutomated ReasoningTheoretical Aspects of Computing – ICTAC 2017Dependable Software Engineering : Theories, Tools, and ApplicationsAutomated Deduction - Cade-11Author data: Open Library
