Menu
  • About & Contact
  • Feedback
  • Contribute
  • Help
  • zbMATH

swMATH

swmath-logo
  • Search
  • Advanced search
  • Browse
  • browse software by name
  • browse software by keywords
  • browse software by MSC
  • browse software by types

AURA

Reference manual for the environmental theorem prover: An incarnation of AURA (AUtomated Reasoning Assistant)

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

  • automated reasoning
  • equivalential calculus
  • paramodulation
  • automated theorem proving
  • strategy
  • resolution
  • partitioning strategy
  • Logic programming
  • Program verification
  • ever-increasing length conjecture of deducible formulas
  • hyperresolution
  • Knuth-Bendix completion
  • finite semigroup
  • Nonclassical logic
  • conference on automated deduction
  • proof finding
  • user-supplied hint clause
  • Robbins algebra
  • conjecture formulation
  • theorem proving
  • AURA
  • depth-size strategy
  • hints strategy
  • linked inference rules
  • OTTER
  • object construction
  • combinatory logic
  • unsolved research problem
  • shortest single axiom property
  • sorted logic

  • URL: www.osti.gov/energycit...
  • InternetArchive
  • Authors: Smith, B.T.

  • Add information on this software.


  • Related software:
  • OTTER
  • NQTHM
  • RRL
  • SbReve2
  • Roo

References in zbMATH (referenced in 9 articles )

Showing results 1 to 9 of 9.
y Sorted by year (citations)

  1. Veroff, Robert: Using hints to increase the effectiveness of an automated reasoning program: Case studies (1996)
  2. Wos, Larry: Basic research problems: The problem of strategy and hyperresolution (1994)
  3. Lusk, Ewing L.; McCune, William W.: Uniform strategies: The CADE-11 theorem proving contest (1993)
  4. Veroff, Robert; Wos, Larry: The linked inference principle. I: The formal treatment (1992)
  5. Wos, Larry; McCune, William: The application of automated reasoning to questions in mathematics and logic (1992)
  6. Wos, Larry: Meeting the challenge of fifty years of logic (1990)
  7. Wick, Cynthia A.; McCune, William W.: Automated reasoning about elementary point-set topology (1989)
  8. Wos, L.; Pereira, Fernando; Hong, Robert; Boyer, Robert S.; Moore, J. Strother; Bledsoe, W. W.; Henschen, L. J.; Buchanan, Bruce G.; Wrightson, Graham; Green, Cordell: An overview of automated reasoning and related fields (1985)
  9. Wos, L.; Winker, S.; Smith, B.: A new use of an automated reasoning assistant: Open questions in equivalential calculus an the study of infinite domains (1984)

  • Article statistics & filter:

  • Search for articles
  • MSC classification / top
    • Top MSC classes
      • 03 Mathematical logic
      • 68 Computer science

  • Publication year
    • 2010 - today
    • 2005 - 2009
    • 2000 - 2004
    • before 2000
  • Terms & Conditions
  • Imprint
  • Privacy Policy