Subject: Ssreflect Users Discussion List
List archive
- From: Laurent Thery <>
- To:
- Subject: Re: [ssreflect] Mathematical Components for Quantum Computing
- Date: Tue, 12 Sep 2017 01:25:39 +0200
Great!
This is somewhat realted I think.
I've been trying to formalize the nice proof by Selinger of Matsumoto
and Amano’s normal form algorithm
https://arxiv.org/abs/1312.6584
It is unfinished but I've put the current state of my code here:
https://github.com/thery/Selinger
maybe it can help
--
Laurent
- [ssreflect] Mathematical Components for Quantum Computing, Robert Rand, 09/12/2017
- Re: [ssreflect] Mathematical Components for Quantum Computing, Laurent Thery, 09/12/2017
- Re: [ssreflect] Mathematical Components for Quantum Computing, Cyril, 09/12/2017
- Re: [ssreflect] Mathematical Components for Quantum Computing, Bas Spitters, 09/12/2017
- Re: [ssreflect] Mathematical Components for Quantum Computing, Robert Rand, 09/12/2017
- Re: [ssreflect] Mathematical Components for Quantum Computing, Emilio Jesús Gallego Arias, 09/13/2017
- Re: [ssreflect] Mathematical Components for Quantum Computing, Robert Rand, 09/13/2017
- Re: [ssreflect] Mathematical Components for Quantum Computing, Emilio Jesús Gallego Arias, 09/13/2017
- Re: [ssreflect] Mathematical Components for Quantum Computing, Robert Rand, 09/13/2017
- Re: [ssreflect] Mathematical Components for Quantum Computing, Bas Spitters, 09/12/2017
Archive powered by MHonArc 2.6.18.