Skip to main content

The Legacy of a Great Researcher

  • Chapter
Automated Reasoning and Mathematics

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

  • 859 Accesses

Abstract

This article presents examples of the monumental contributions of Bill McCune to mathematics, logic, computer science, and especially automated reasoning. The examples are presented in the form of short stories and recollections of the author during his long association with Bill. In addition to Bill’s accomplishments as a researcher, the author provides personal memories giving glimpses into Bill’s complex personality and his generosity as a collaborator.

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

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hart, J., Kunen, K.: Single axioms for odd exponent groups. J. Automated Reasoning 14, 383–412 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  2. Kolata, G.: With major math proof, brute computers show flash of reasoning power. New York Times (December 10, 1996)

    Google Scholar 

  3. Lusk, E., McCune, W., Overbeek, R.: ITP at Argonne National Laboratory. In: Siekmann, J.H. (ed.) CADE 1986. LNCS, vol. 230, pp. 697–698. Springer, Heidelberg (1986)

    Chapter  Google Scholar 

  4. McCune, W.: Mace4 reference manual and guide. Technical Memorandum ANL/MCS-TM-264 (August 2003)

    Google Scholar 

  5. McCune, W.: Otter 1.0 users’ guide. Tech. report ANL-88/44, Argonne National Laboratory (January 1989)

    Google Scholar 

  6. McCune, W.: Single axioms for the left group and right group calculi. Notre Dame J. Formal Logic 34(1), 132–139 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  7. McCune, W.: Solution of the Robbins problem. J. Automated Reasoning 19(3), 263–276 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  8. McCune, W., Padmanabhan, R.: Automated Deduction in Equational Logic and Cubic Curves. LNCS, vol. 1095. Springer, Heidelberg (1996)

    MATH  Google Scholar 

  9. McCune, W., Padmanabhan, R.: Single identities for lattice theory and for weakly associative lattices. Algebra Universalis 36(4), 436–449 (1996)

    Article  MathSciNet  MATH  Google Scholar 

  10. McCune, W., Padmanabhan, R., Rose, M.A., Veroff, R.: Automated discovery of single axioms for ortholattices. Algebra Universalis 52, 541–549 (2005)

    Article  MathSciNet  MATH  Google Scholar 

  11. McCune, W., Wos, L.: The absence and the presence of fixed point combinators. Theoretical Computer Science 87, 221–228 (1991)

    Article  MathSciNet  MATH  Google Scholar 

  12. Smullyan, R.: To mock a mockingbird, and other logic puzzles: Including an amazing adventure in combinatory logic. Knopf (1985)

    Google Scholar 

  13. Wos, L.: The kernel strategy and its use for the study of combinatory logic. J. Automated Reasoning 10(3), 287–343 (1993)

    Article  MathSciNet  MATH  Google Scholar 

  14. Wos, L., Pieper, G.W.: Automated reasoning and the discovery of missing and elegant proofs. Rinton Press (2003)

    Google Scholar 

  15. Wos, L., Pieper, G.W.: The hot list strategy. J. Automated Reasoning 22(1), 1–44 (1999)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Wos, L. (2013). The Legacy of a Great Researcher. In: Bonacina, M.P., Stickel, M.E. (eds) Automated Reasoning and Mathematics. Lecture Notes in Computer Science(), vol 7788. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36675-8_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36675-8_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36674-1

  • Online ISBN: 978-3-642-36675-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics