Synthesizing mathematical identities with e-graphs-Reference-Cited by-同舟云学术

Synthesizing mathematical identities with e-graphs

Published:2022-06-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 1st ACM SIGPLAN International Symposium on E-Graph Research, Applications, Practices, and Human-factors
language:
Short-container-title:

Author:

Briggs Ian¹,Panchekha Pavel¹

Affiliation:

1. University of Utah, USA

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3520308.3534506

Reference9 articles.

1. Nasrine Damouche Matthieu Martel Pavel Panchekha Jason Qiu Alex Sanchez-Stern and Zachary Tatlock. 2016. Toward a Standard Benchmark Format and Suite for Floating-Point Analysis. Nasrine Damouche Matthieu Martel Pavel Panchekha Jason Qiu Alex Sanchez-Stern and Zachary Tatlock. 2016. Toward a Standard Benchmark Format and Suite for Floating-Point Analysis.

2. Designing Custom Arithmetic Data Paths with FloPoCo

3. Metalibm: A Mathematical Functions Code Generator

4. Jay P. Lim and Santosh Nagarakatte . 2021 . RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes. CoRR , abs/2108.06756 (2021), arXiv:2108.06756. arxiv:2108.06756 Jay P. Lim and Santosh Nagarakatte. 2021. RLIBM-ALL: A Novel Polynomial Approximation Method to Produce Correctly Rounded Results for Multiple Representations and Rounding Modes. CoRR, abs/2108.06756 (2021), arXiv:2108.06756. arxiv:2108.06756

5. Rewrite rule inference using equality saturation

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Equality Saturation Theory Exploration à la Carte;Proceedings of the ACM on Programming Languages;2023-10-16