Similarity-based equational inference in physics
Automating the derivation of published results is a challenge, in part due to the informal use of mathematics by physicists compared to that of mathematicians. Following demand, we describe a method for converting informal handwritten derivations into datasets and present an example dataset crafted...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
American Physical Society
2021-10-01
|
| Series: | Physical Review Research |
| Online Access: | http://doi.org/10.1103/PhysRevResearch.3.L042010 |