pith. sign in

Michael O'Connor

Identifiers

  • name variant Michael O'Connor 0.60 · backfill

Papers (5)

  1. A Technical Policy Blueprint for Trustworthy Decentralized AI cs.CY · 2025 · author #14
  2. Interactive molecular dynamics in virtual reality from quantum chemistry to drug binding: An open-source multi-person framework physics.chem-ph · 2019 · author #1
  3. An Introduction to Smooth Infinitesimal Analysis math.GM · 2008 · author #1
  4. The Order-Theoretic Structure of Free Heyting Algebras math.LO · 2007 · author #1
  5. Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic math.LO · 2007 · author #1

Mentions

  • 2512.11878 #14 · arxiv_oai · confidence 0.70 Michael O'Connor
  • 0805.3307 #1 · backfill · confidence 0.70 Michael O'Connor

Frequent Coauthors