Switch to: References

Add citations

You must login to add citations.
  1. Understanding proofs.Jeremy Avigad - manuscript
    “Now, in calm weather, to swim in the open ocean is as easy to the practised swimmer as to ride in a spring-carriage ashore. But the awful lonesomeness is intolerable. The intense concentration of self in the middle of such a heartless immensity, my God! who can tell it? Mark, how when sailors in a dead calm bathe in the open sea—mark how closely they hug their ship and only coast along her sides.” (Herman Melville, Moby Dick, Chapter 94).
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   23 citations  
  • A decision procedure for linear “big o” equations.Jeremy Avigad - manuscript
    Let F be the set of functions from an infinite set, S, to an ordered ring, R.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark