Invited Talk Department of Computer Science and Engineering Indian Institute of Technology Kanpur Date: July 22, 2016 Time: 3:00 pm to 4:30 pm Venue: KD 102 Formal Hardware Verification of Arithmetic Data-paths using Alg

Source URL: cse.iitk.ac.in

• Computer algebra
• Algebraic geometry
• Computer science
• Grbner basis
• Symbolic computation
• Computer-aided design
• Finite field
• Polynomial
• Algorithm
• Theoretical computer science
• Vladimir Gerdt