Skip to main content
MathOverflow
ahelwer's user avatar
ahelwer's user avatar
ahelwer's user avatar
ahelwer
  • Member for 7 years, 7 months
  • Last seen more than 2 years ago
Profile Activity
Stats
123
reputation
118
reached
0
answers
1
question
Communities
View all
About

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
3
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
Top posts
question
2
What are the sufficient conditions for a set P to be the set of all majority subsets of a set S?
May 2, 2017
Top network posts
View all network posts
36
How to derive the CNOT matrix for a 3-qubit system where the control & target qubits are not adjacent?
21
Tools for creating quantum circuit diagrams
20
Copying or moving a remote file using SSH.NET with C#
16
Density matrix after measurement on density matrix
14
How can I set CONSTANTS in TLA+ configuration file when using VS Code?