Inequalities, assessment and computer algebra

References

• Sangwin CJ. Computer aided assessment of mathematics. Oxford: Oxford University Press; 2013.
   Google Scholar
• Davenport JH, Siret Y, Tournier E. Computer algebra: systems and algorithms for algebraic computation. London: Academic Press Professional; 1993.
   Google Scholar
• Wester M. Computer algebra systems: a practical guide. Chichester: Wiley; 1999.
   Google Scholar
• Grabmeier J, Kaltofen E, Weispfenning V. Computer algebra handbook. Berlin: Springer; 2003.
   Google Scholar
• Harper D, Wooff C, Hodgkinson D. A guide to computer algebra systems. Chichester: Wiley; 1991.
   Google Scholar
• Hardy GH. Inequalities. 2nd ed. Cambridge: Cambridge University Press; 1988.
   Google Scholar
• Bradley CJ. Introduction to inequalities. Leeds: The United Kingdom Mathematics Trust; 2010.
   Google Scholar
• Fenichel RR. An on-line system for algebraic manipulation (PhD thesis). Cambridge (MA): Harvard Graduate School of Arts and Sciences; 1966.
   Google Scholar
• Chrystal G. Algebra, an elementary text-book for the higher classes of secondary schools and for colleges. 3rd ed. Vol. 1. London: Adam and Charles Black; 1893.
   Google Scholar
• Nicaud JF, Bouhineau D, Chaachoua H. Mixing microworlds and CAS features in building computer systems that help students learn algebra. Int J Comput Math Learn. 2004;9(2):169–211.
   Google Scholar
• Euler L. Elements of algebra. St Albans: Tarquin Publications; 2006.
   Google Scholar
• Maxwell EA. Fallacies in mathematics. Cambridge: Cambridge University Press; 1959.
   Google Scholar
• Northrop EP. Riddles in mathematics: a book of paradoxes. London: The English Universities Press; 1945.
   Google Scholar
• Stoutemyer DR. Crimes and misdemeanors in the computer algebra trade. Not Am Math Soc. 1991;38(7):778–785.
   Google Scholar
• Karian ZA, editor,. Symbolic computation in undergraduate mathematics education. MAA notes, Vol. 24. Washington (DC): Mathematical Association of America; 1992.
   Google Scholar
• Hardy GH. A course of pure mathematics. Cambridge: Cambridge University Press; 1908.
   Google Scholar
• Ager TA, Dooley S. Representation of inference in computer algebra systems with application to intelligent tutoring. In: Kaltofen E, Watt, SM, editors. Computers and mathematics. New York: Springer-Verlag; 1989. p. 215–227.
   Google Scholar
• Beeson M. Logic and computation in MATHPERT: an expert system for learning mathematics. In: Kaltofen E, Watt SM, editors. Computers and mathematics. New York: Springer-Verlag; 1989. p. 202–214.
   Google Scholar
• Stoutemyer DR. Ten commandments for good default expression simplification. J Symb Comput. 2011;46(7):859–887.
   Web of Science ®Google Scholar
• Beeson M. Design principles of MATHPERT: software to support education in algebra and calculus. In: Norbert K, editor. Computer– human interaction in symbolic computation. New York: Springer-Verlag; 1998. p. 89–115.
   Google Scholar
• Beeson M. The mechanization of mathematics. In: Teuscher, C, editor. Alan Turing: life and legacy of a great thinker. New York: Springer; 2004. p. 77–134.
   Google Scholar
• Fitch J. On algebraic simplification. Comput J. 1973;16(1):23–27.
   Web of Science ®Google Scholar
• Harriot T. Artis analyticae praxis. London: Barker; 1631.
   Google Scholar
• Cajori F. A history of mathematical notations. London: Open Court; 1928.
   Google Scholar
• Babbage C. On the influence of signs in mathematical reasoning. Trans Camb Philos Soc. 1827;II:325–377.
   Google Scholar
• Hehner CR. From Boolean algebra to unified algebra. Math Intell. 2004;26(2):3–19.
   Web of Science ®Google Scholar
• Kirshner D, Awtry T. Visual salience of algebraic transformations. J Res Math Educ. 2004;35:224–257.
   Web of Science ®Google Scholar
• International Organization for Standardization. ISO80000-2:2009. Quantities and units – part 2: mathematical signs and symbols to be used in the natural sciences and technology. ISO80000-2 ed.; 2009.
   Google Scholar
• Read M. Developing a computer algebra system for use in computer-aided assessment (BSc project). Birmingham (UK): University of Birmingham; 2012.
   Google Scholar