Search Results - McCasland, Roy

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
    Scheme-based theorem discovery and concept invention

    Scheme-based theorem discovery and concept invention by Montano-Rivas, Omar, McCasland, Roy, Dixon, Lucas, Bundy, Alan

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    The Theory behind Theory Mine

    The Theory behind Theory Mine by Bundy, Alan, Cavallo, Flaminia, Dixon, Lucas, Johansson, Moa, McCasland, Roy

    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  3. 3
    The Theory behind TheoryMine

    The Theory behind TheoryMine by Bundy, A., Cavallo, F., Dixon, L., Johansson, Moa, McCasland, R.

    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    Uniform dimension of modules

    Uniform dimension of modules by McCasland, Roy L., Smith, Patrick F.

    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Automatic Construction and Verification of Isotopy Invariants

    Automatic Construction and Verification of Isotopy Invariants by Sorge, Volker, Meier, Andreas, McCasland, Roy, Colton, Simon

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  6. 6
    Zariski Spaces of Modules over Arbitrary Rings

    Zariski Spaces of Modules over Arbitrary Rings by McCasland, Roy L., Smith, Patrick F.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  7. 7
    On Isolated Submodules

    On Isolated Submodules by McCasland, Roy L., Smith, Patrick F.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  8. 8
    Ascertaining Mathematical Theorems

    Ascertaining Mathematical Theorems by McCasland, Roy L., Bundy, Alan, Smith, Patrick F.

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  9. 9
    MATHsAiD: A Mathematical Theorem Discovery Tool

    MATHsAiD: A Mathematical Theorem Discovery Tool by McCasland, R.L., Bundy, A.

    Request full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: