Mathematics Genealogy

Static mirror of the Mathematics Genealogy Project

Anirudh Prabhu

Original record
Institution
Rensselaer Polytechnic Institute
Year
2021
Country
United States
MGP identifier
275090

Dissertation: Towards Automated Axiom Generation: A semi-automated approach to generating "knowledge and rule base" corpora from text narratives

Mathematics Subject Classification: 94—Information and communication, circuits

Advisors 2

Students 0

No students recorded in this snapshot.

Genealogy