Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Support the actual Mathematics Genealogy Project by making a donation, so that they can run their services again, instead of this temporary static unofficial mirror.

Amer Tahat

Original record
Institution
Michigan Technological University
Year
2016
Country
United States
MGP identifier
299099

Dissertation: On the Applications of Interactive Theorem Proving in Computational Sciences and Engineering

Mathematics Subject Classification: 68—Computer science

Advisor 1

Students 0

No students recorded in this snapshot.

Genealogy