The Robbins problem: computer proofs and human proofs

ISSN： 0368-492X

Source： Kybernetes: The International Journal of Systems & Cybernetics, Vol.30, Iss.5-6, 2001-07, pp. : 726-752

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: Computer Assisted Proofs of Bifurcating Solutions for Nonlinear Heat Convection Problems

By Nakao Mitsuhiro Watanabe Yoshitaka Yamamoto Nobito Nishida Takaaki Kim Myoungnyoun

Journal of Scientific Computing, Vol. 44, Iss. 1, 2010-07 ,pp. : 107-107

Springer Publishing Company

Access to resources Recommend Favorite

Patenting Logic, Mathematics or Logarithms? The Case of Computer-Assisted Proofs

Recent Patents on Computer Science, Vol. 4, Iss. 1, 2011-01 ,pp. : 66-70

Bentham Science Publishers

Access to resources Recommend Favorite

Towards the animation of proofs - testing proofs by examples

By Hayashi S. Sumitomo R. Shii K.-i.

Theoretical Computer Science, Vol. 272, Iss. 1, 2002-02 ,pp. : 177-195

Elsevier

Access to resources Recommend Favorite

Planning Proofs of Equations in CCS

By Monroy R.

Automated Software Engineering, Vol. 7, Iss. 3, 2000-07 ,pp. : 263-304

Springer Publishing Company

Access to resources Recommend Favorite

Scott Induction and Equational Proofs

By Esik Z. Bernatsky L.

Electronic Notes in Theoretical Computer Science, Vol. 1, Iss. 1, 2004-01 ,pp. : 1-28

Elsevier

Access to resources Recommend Favorite