Information technology in university‐level mathematics teaching and learning: a mathematician’s point of view
暂无分享,去创建一个
[1] Chris Sangwin. Assessing elementary algebra with STACK , 2007 .
[2] Donald Ervin Knuth. Digital typography , 1999, CSLI lecture notes series.
[3] John Etchemendy,et al. The language of first-order logic - including the Macintosh version of Tarski's world 4.0, Third Edition , 1993, CSLI lecture notes series.
[4] Dave Barker-Plummer,et al. Tarski's world , 2008 .
[5] Keith Price. Review of "TEX and METAFONT, New Directions in Typesetting by Donald Knuth", Digital Press and the American Mathematical Society. , 1980, SGAR.
[6] Donald E. Knuth,et al. The TeXbook , 1984 .
[7] J Neubüser. Groups '93 Galway / St Andrews: An invitation to computational group theory , 1995 .
[8] Leslie Lamport,et al. LATEX. A document preparation system. User's Guide and Reference Manual , 1996 .
[9] Jim Hefferon,et al. Linear Algebra , 2012 .
[10] Dave Barker-Plummer,et al. Language, Proof and Logic , 1999 .
[11] Donald E. Knuth,et al. TeX: The Program , 1986 .
[12] Donald E. Knuth,et al. TEX and METAFONT: New directions in typesetting , 1979 .
[13] Yves Chevallard,et al. La transposition didactique : du savoir savant au savoir enseigné / , 1985 .
[14] Sun-Joo Shin,et al. Heterogeneous Reasoning and Its Logic , 2004, Bulletin of Symbolic Logic.
[15] Jon Barwise,et al. Computers, visualization, and the nature of reasoning , 1998 .
[16] H. Bass. Mathematics, mathematicians, and mathematics education , 2005 .
[17] Donald E. Knuth,et al. 3:16 Bible Texts Illuminated , 1991 .
[18] Gary R. Hall. Digitize This Book!: The Politics of New Media, or Why We Need Open Access Now , 2008 .
[19] Stanley Morison,et al. First Principles of Typography , 1936 .