Search Results - Wraback, Catherine M

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Formalizing chemical physics using the Lean theorem prover

    Formalizing chemical physics using the Lean theorem prover by Bobbin, Maxwell P, Sharlin, Samiha, Feyzishendi, Parivash, Dang, An Hong, Wraback, Catherine M, Josephson, Tyler R

    Published in Digital discovery
    Get full text
    Items that this one cites
    Article
    Save to List
    Saved in:
  2. 2
    Formalizing Chemical Physics using the Lean Theorem Prover

    Formalizing Chemical Physics using the Lean Theorem Prover by Bobbin, Maxwell P, Sharlin, Samiha, Feyzishendi, Parivash, An Hong Dang, Wraback, Catherine M, Josephson, Tyler R

    Published in arXiv.org
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: