Automated Reasoning in Differential Geometry and Mechanics

Program
Fulbright Visiting Scholar Program
Program Country
Grant Activity Type
Research
Discipline
Academic Year
Flex
No
Scholar type
Non-U.S. (Visiting) Scholar
Project Title
Automated Reasoning in Differential Geometry and Mechanics

Scholar Information

Grantee
Abdelilah Kandri-Rody
Title
Professor
Institution
Department
Department of Mathematics, Faculty of Sciences
Host Institutions
Faculty
Dr. Deepak Kapur
Host Department
Department of Computer Science