Formula Simplification via Invariance Detection by Algebraically Indexed Types
Authors: Takuya Matsuzaki and Tomohiro Fujita
Paper Information
| Title: | Formula Simplification via Invariance Detection by Algebraically Indexed Types |
| Authors: | Takuya Matsuzaki and Tomohiro Fujita |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | Invariance, Formula Simplification, Geometry Problem Solving, Type Theory |
| Pages: | 19 |
| Talk: | Aug 08 17:00 (Session 98D: Preprocessing and Simplification) |
| Paper: |  |