Author: Selden Annie McKee Kerry Selden John
Publisher: Taylor & Francis Ltd
ISSN: 1464-5211
Source: International Journal of Mathematical Education in Science and Technology, Vol.41, Iss.2, 2010-01, pp. : 199-215
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
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. :
By Bruno Escoffier Vangelis Paschos
International Journal of Computer Mathematics, Vol. 82, Iss. 2, 2005-02 ,pp. :
Proving the Reflective Property of an Ellipse
Mathematics Magazine, Vol. 87, Iss. 4, 2014-10 ,pp. :
Parallel cooperative propositional theorem proving
By Okushi F.
Annals of Mathematics and Artificial Intelligence, Vol. 26, Iss. 1-4, 1999-01 ,pp. :