Analysis of constructed mathematical responses by numeric tests for equivalence
暂无分享,去创建一个
[1] Anatolii A. Logunov,et al. Analytic functions of several complex variables , 1965 .
[2] Richard Bellman. ON PROVING THEOREMS IN PLANE GEOMETRY VIA DIGITAL COMPUTER , 1966 .
[3] Jean E. Sammet,et al. Survey of formula manipulation , 1966, CACM.
[4] W. A. Martin,et al. Symbolic mathematical laboratory , 1967 .
[5] G. K. Manacher. A content-evaluating mode of computer-aided instruction , 1967 .
[6] G. K. Manacher. A Content-Evaluating Mode of Computer-Aided Instruction , 1968 .
[7] Max E. Engeli. Achievements and problems in formula manipulation , 1968, IFIP Congress.
[8] B. F. Caviness. On Canonical Forms and Simplification , 1970, JACM.