External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formalizing jordan normal forms in Isabelle/HOL

René Thiemann, Akihisa Yamada 0002. Formalizing jordan normal forms in Isabelle/HOL. In Jeremy Avigad, Adam Chlipala, editors, Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016. pages 88-99, ACM, 2016. [doi]

Authors

René Thiemann

This author has not been identified. Look up 'René Thiemann' in Google

Akihisa Yamada 0002

This author has not been identified. Look up 'Akihisa Yamada 0002' in Google
runs on