Automated theorem provers: a practical tool for the working mathematician?

By Bundy Alan  

Annals of Mathematics and Artificial Intelligence, Vol. 61, Iss. 1, 2011-01 ,pp. : 3-14

Springer Publishing Company

Access to resources Recommend Favorite

What is first-year Mathematics students' actual knowledge about improper integrals?

By Alejandro S. González-Martín  

International Journal of Mathematical Education in Science and Technology, Vol. 35, Iss. 1, 2004-01 ,pp. : 73-89

Taylor & Francis Ltd

Access to resources Recommend Favorite

First‐Principles Study of Sc1−xTixF3 (x ≤ 0.375): Negative Thermal Expansion, Phase Transition, and Compressibility

By  

JOURNAL OF THE AMERICAN CERAMIC SOCIETY, Vol. 2-7820, Iss. 9, 2015-09 ,pp. : 2852-2857

John Wiley & Sons Inc

Access to resources Recommend Favorite

First‐Principles Study of Sc1−xTixF3 (x ≤ 0.375): Negative Thermal Expansion, Phase Transition, and Compressibility

By  

JOURNAL OF THE AMERICAN CERAMIC SOCIETY, Vol. 98, Iss. 9, 2015-09 ,pp. : 2852-2857

John Wiley & Sons Inc

Access to resources Recommend Favorite

Nuclear safety?

By Hassard J.  

Contemporary Physics, Vol. 40, Iss. 3, 1999-05 ,pp. : 219-221

Taylor & Francis Ltd

Access to resources Recommend Favorite