Skip to main content
SpringerLink
Log in

The crisis in finite mathematics: Automated reasoning as cause and cure

  • Invited Talk
  • Conference paper
  • First Online:
Automated Deduction — CADE-12 (CADE 1994)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 814))

Included in the following conference series:

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K. Appel & W Haken, Proof of the 4-Color Theorem, Discrete Mathematics, 16 (1977), pp. 179–180.

    Google Scholar 

  2. B. Benhamou & L. Sais, Theoretical Study of Symmetries in Propositional Calculus and Applications, Proc. 11th International Conference on Automated Deduction (1992), pp. 281–294.

    Google Scholar 

  3. F. Bennett & L. Zhu, Conjugate-Orthogonal Latin Squares and Related Structures, Contemporary Design Theory: A Collection of Surveys, ed. J. Dinitz & D. Stinson, New York, Wiley, 1992.

    Google Scholar 

  4. M. Fujita, J. Slaney & F. Bennett, Automatic Generation of Some Results in Finite Algebra, Proc. 13th International Joint Conference on Artificial Intelligence (1993), pp. 52–57.

    Google Scholar 

  5. G. Kolata, Computers Still Can't Do Beautiful Mathematics, New York Times, Week in Review §E, Sunday, July 14, 1991, p.4.

    Google Scholar 

  6. C. W. H. Lam, L. Thiel & S. Swiercz, The Non-existence of Finite Projective Planes of Order 10, Canadian Journal of Mathematics 41 (1989), pp. 1117–1123.

    Google Scholar 

  7. A. Mackworth, Constraint Satidfaction, Encyclopedia of Artificial Intelligence (ed. Shapiro) 1987, pp. 205–211.

    Google Scholar 

  8. R. Manthey & F. Bry, SATCHMO: A Theorem Prover Implemented in Prolog, Proc. 9th International Conference on Automated Deduction (1988), pp 415–434.

    Google Scholar 

  9. B. McKay & S. Radziszowski, R(4, 5) = 25, Journal of Graph Theory, forthcoming.

    Google Scholar 

  10. J. Horgan, The Death of Proof, Scientific American, 237.4 (October 1993), pp. 74–82.

    Google Scholar 

  11. J. Slaney, M. Stickel & M. Fujita, Automated Reasoning and Exhaustive search: Quasigroup Existence Problems, Journal of Computers in Mathematics with Applications, special issue on Automated Reasoning, forthcoming.

    Google Scholar 

  12. H. Zhang & M. Stickel, Implementing the Davis-Putnam Algorithm by Tries, typescript, University of Iowa, 1994.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Australian National University, 0200, Canberra, Australia

    John Slaney

Authors
  1. John Slaney
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Alan Bundy

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Slaney, J. (1994). The crisis in finite mathematics: Automated reasoning as cause and cure. In: Bundy, A. (eds) Automated Deduction — CADE-12. CADE 1994. Lecture Notes in Computer Science, vol 814. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58156-1_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-58156-1_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58156-7

  • Online ISBN: 978-3-540-48467-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation