Quantum Computing
ahelwer
  • Member for 3 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
3,818
reputation
46k
reached
35
answers
31
questions
Communities
View all
About

Software engineering consultant specializing in formal methods & distributed systems, especially Z3 and TLA+.

Badges
View all badges
This user doesn’t have any gold badges yet.
11
silver badges
30
bronze badges
Top tags
View all tags
31
Score
9
Posts
14
Posts %
30
Score
10
Posts
15
Posts %
25
Score
9
Posts
14
Posts %
24
Score
6
Posts
9
Posts %
22
Score
5
Posts
8
Posts %
18
Score
11
Posts
17
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
28
How to derive the CNOT matrix for a 3-qubit system where the control & target qubits are not adjacent?
Sep 18 '18
15
Tools for creating quantum circuit diagrams
Oct 30 '18
13
What do they mean by "qubit can't be copied"?
Sep 12 '18
11
Density matrix after measurement on density matrix
Nov 30 '18
10
What exactly are Quantum XOR Games?
Sep 17 '18
10
How would I implement the quantum oracle in Deutsch's algorithm?
Oct 30 '18
10
How does measurement of one qubit affect the others?
Sep 1 '18
9
Do any educational quantum computing toys or devices exist?
Oct 8 '18
8
Proof of optimality for CHSH game classical strategy
Jan 5 '19
8
Are there any organised resources available from where I can begin my quantum computing studies?
Feb 16 '19
Top network posts
View all network posts
12
Copying or moving a remote file using SSH.NET with C#
10
Managed C++ with .NET Core 2.1
6
What is required for a minimum viable Bell test experiment at home?
5
How can I set CONSTANTS in TLA+ configuration file when using VS Code?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.