| |
Panchekha, Pavel
|
EGRAPHS '22: "Synthesizing Mathematical ..."
Synthesizing Mathematical Identities with E-Graphs
Ian Briggs and Pavel Panchekha
(University of Utah, USA)
@InProceedings{EGRAPHS22p1,
author = {Ian Briggs and Pavel Panchekha},
title = {Synthesizing Mathematical Identities with E-Graphs},
booktitle = {Proc.\ EGRAPHS},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3520308.3534506},
year = {2022},
}
Publisher's Version
|