| 10860759 |
System for reversible circuit compilation with space constraint, method and program |
Martin Roetteler, Alex Parent |
2020-12-08 |
| 10726350 |
Method and system for efficient quantum ternary arithmetic |
Xingshan Cui, Alexei Bocharov, Martin Roetteler |
2020-07-28 |
| 10699208 |
Method and system for computing distance measures on a quantum computer |
Nathan O. Wiebe, Ashish Kapoor |
2020-06-30 |
| 10699209 |
Quantum circuit libraries for floating-point arithmetic |
Thomas Haener, Martin Roetteler |
2020-06-30 |
| 10664249 |
Verified compilation of reversible circuits |
Matthew Amy, Martin Roetteler |
2020-05-26 |
| 10664761 |
Generating quantum computing circuits by distributing approximation errors in a quantum algorithm |
Thomas Haener, Martin Roetteler, Vadym Kliuchnikov |
2020-05-26 |
