Erratum to: Generating and using examples in the proving process

Author： Sandefur J.   Mason J.   Stylianides G.   Watson A.  

Publisher： Springer Publishing Company

ISSN： 0013-1954

Source： Educational Studies in Mathematics, Vol.84, Iss.3, 2013-11, pp. : 487-487

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Generating and using examples in the proving process

By Sandefur J.  

Educational Studies in Mathematics, Vol. 83, Iss. 3, 2013-07 ,pp. : 323-340

Springer Publishing Company

Access to resources Recommend Favorite

A new approach for proving or generating combinatorial identities

By Gonzalez Luis  

International Journal of Mathematical Education in Science and Technology, Vol. 41, Iss. 3, 2010-01 ,pp. : 359-372

Taylor & Francis Ltd

Access to resources Recommend Favorite

Affect, behavioural schemas and the proving process

By Selden Annie   McKee Kerry   Selden John  

International Journal of Mathematical Education in Science and Technology, Vol. 41, Iss. 2, 2010-01 ,pp. : 199-215

Taylor & Francis Ltd

Access to resources Recommend Favorite

Using tactics to reformulate formulae for resolution theorem proving

By Kerber M.   Präcklein A.  

Annals of Mathematics and Artificial Intelligence, Vol. 18, Iss. 2-4, 1997-01 ,pp. : 221-241

Springer Publishing Company

Access to resources Recommend Favorite

Generating polynomials using function composition

By Aichinger Erhard  

Quaestiones Mathematicae, Vol. 36, Iss. 1, 2013-03 ,pp. : 39-46

Taylor & Francis Ltd

Access to resources Recommend Favorite