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.

Smooth manifolds and types to sets for linear algebra in Isabelle/HOL

Fabian Immler, Bohua Zhan. Smooth manifolds and types to sets for linear algebra in Isabelle/HOL. In Assia Mahboubi, Magnus O. Myreen, editors, Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2019, Cascais, Portugal, January 14-15, 2019. pages 65-77, ACM, 2019. [doi]

Authors

Fabian Immler

This author has not been identified. Look up 'Fabian Immler' in Google

Bohua Zhan

This author has not been identified. Look up 'Bohua Zhan' in Google
runs on