Counterexamples for Validation and Discovering of New Theorems

  • Pertti Lounesto

Abstract

This chapter describes an experiment which took place over the two year period 1997-1999. The chapter consists of an adaptation of excerpts from the two Web Pages http://www.hit.fi/~lounesto/counterexamples.htm http://www,hit.fi/~lounesto/sci.math.htm.

Keywords

Settling Defend Katos Lawson Sten 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media New York 2001

Authors and Affiliations

  • Pertti Lounesto

There are no affiliations available

Personalised recommendations