Generating and using examples in the proving process

ISSN： 0013-1954

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

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

Erratum to: Generating and using examples in the proving process

By Sandefur J. Mason J. Stylianides G. Watson A.

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

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