William M. Farmer, Joshua D. Guttman, F. Javier Thayer. Context in Mathematical Reasoning and Computation. Journal of Symbolic Computation, 19(1-3):210-206, 1995.
@article{FarmerGT95,
title = {Context in Mathematical Reasoning and Computation},
author = {William M. Farmer and Joshua D. Guttman and F. Javier Thayer},
year = {1995},
tags = {context-aware},
researchr = {https://researchr.org/publication/FarmerGT95},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {19},
number = {1-3},
pages = {210},
}