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

ISSN： 1012-2443

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

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

Theano: the world's first female mathematician?

By Deakin Michael A.B.

International Journal of Mathematical Education in Science and Technology, Vol. 44, Iss. 3, 2013-04 ,pp. : 350-364

Taylor & Francis Ltd

Access to resources Recommend Favorite

A New Algebraic Tool for Automatic Theorem Provers

By Cordero P.

Annals of Mathematics and Artificial Intelligence, Vol. 42, Iss. 4, 2004-12 ,pp. : 369-398

Springer Publishing Company

Access to resources Recommend Favorite

How to understand a theorem?

By Abramovitz Buma

International Journal of Mathematical Education in Science and Technology, Vol. 40, Iss. 5, 2009-01 ,pp. : 577-586

Taylor & Francis Ltd

Access to resources Recommend Favorite

Modelling and Process Control - a Tool for Quality Control and Validation?

By Rohner Markus Hoeks Frans W.J.M.M. Böhlen Elisabeth Meyer Hans-Peter

CHIMIA International Journal for Chemistry, Vol. 48, Iss. 10, 1994-10 ,pp. : 466-467

Swiss Chemical Society

Access to resources Recommend Favorite

Fast Determination of Chlorophenols at the ppt Level. A New Analytical Tool for Quality Control of Cork Stoppers?

By Berthod Raphaël Flaction Olivier Frey Urban

CHIMIA International Journal for Chemistry, Vol. 58, Iss. 7-8, 2004-07 ,pp. : 560-562

Swiss Chemical Society

Access to resources Recommend Favorite