• Skip to primary navigation
  • Skip to content
  • Skip to footer
Haruhisa Enomoto
  • FD Applet
  • Papers
  • Talks
  • Notes
  • Programs
  • Questions
  • CV
    Haruhisa Enomoto

    Haruhisa Enomoto

    R&D Researcher at Parakeet Inc.

    • Tokyo, Japan
    • Parakeet Inc.
    • Email
    • arXiv
    • ResearchGate
    • Twitter
    • GitHub
    • YouTube
    • Google Scholar
    • ORCID

    Computation of the structure of module categories using FD Applet

    Date: September 05, 2023

    Conference Talk in The 55th Symposium on Ring Theory and Representation Theory at Hybrid (Osaka Metropolitan University)

    Talk (Japanese) about

    • FD Applet
    • Lean Theorem Prover

    Links

    • Abstract (pdf)
    • Slide
    Direct link

    Share on

    Twitter Facebook LinkedIn
    Previous Next
    © 2025 Haruhisa Enomoto. Powered by Jekyll & Minimal Mistakes. I use Google analytics to help understand how visitors engage with this website. It reports website trends using cookies and web beacons without identifying individual visitors. You can read Google Analytics Privacy Policy.