TY  - RPRT
TI  - A functional analytic approach to computer-interactive mathematics.
AU  - Chris Ninness
AU  - Robin Rumph
AU  - Glen McCuller
AU  - Carol Harrison
AU  - Angela M Ford
AU  - Sharon K Ninness
PY  - 2005
DO  - 10.1901/jaba.2005.2-04
UR  - https://pubmed.ncbi.nlm.nih.gov/15898471/
ID  - 15898471
ER  -