Stream: quantum computing

Topic: instantiation of bounded operators

view this post on Zulip Jose Manuel Rodríguez Caballero (Jul 04 2019 at 07:14):

The proof (instantiation) that the complex-linear bounded operators (type complex_bounded) are a complex Banach space (type cbanach) is complete. Good news for automated reasoning :robot: about infinitely many degrees of freedom :atom:

Last updated: Oct 01 2022 at 11:21 UTC