Similarity-Based Equational Inference in Physics

Open in new window