Formalizing Mathematical Knowledge as a Biform Theory Graph: A Case Study
Work
Year: 2017
Type: book-chapter
Authors Jacques Carette, William M. Farmer
Institution McMaster University
Cites: 18
Cited by: 7
Related to: 10
FWCI: 1.439
Citation percentile (by year/subfield): 66.14
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: closed