@misc{indiciaea30ee812fc7f,
  title = {A functional analytic approach to computer-interactive mathematics.},
  author = {Chris Ninness and Robin Rumph and Glen McCuller and Carol Harrison and Angela M Ford and Sharon K Ninness},
  year = {2005},
  doi = {10.1901/jaba.2005.2-04},
  url = {https://pubmed.ncbi.nlm.nih.gov/15898471/},
  note = {Source identifier: 15898471}
}