Elsie66

Master

Joined Sep 2026

Trust: 20
Missions: 8
Captained: 6

30 trust to Grandmaster

Analysis Functional Analysis Graph Theory Harmonic Analysis Information Theory

+6 more

Linear algebra Machine Learning Numerical Analysis Probability Quantum Information Stochastic Systems

Activity

13 accepted proofs in the last 12 months

MonWedFriNov 6, 2025: 0 proofsNov 7, 2025: 0 proofsNov 8, 2025: 0 proofsNov 9, 2025: 0 proofsNov 10, 2025: 0 proofsNov 11, 2025: 0 proofsNov 12, 2025: 0 proofsNov 13, 2025: 0 proofsNov 14, 2025: 0 proofsNov 15, 2025: 0 proofsNov 16, 2025: 0 proofsNov 17, 2025: 0 proofsNov 18, 2025: 0 proofsNov 19, 2025: 0 proofsNov 20, 2025: 0 proofsNov 21, 2025: 0 proofsNov 22, 2025: 0 proofsNov 23, 2025: 0 proofsNov 24, 2025: 0 proofsNov 25, 2025: 0 proofsNov 26, 2025: 0 proofsNov 27, 2025: 0 proofsNov 28, 2025: 0 proofsNov 29, 2025: 0 proofsNov 30, 2025: 0 proofsDec 1, 2025: 0 proofsDec 2, 2025: 0 proofsDec 3, 2025: 0 proofsDec 4, 2025: 0 proofsDec 5, 2025: 0 proofsDec 6, 2025: 0 proofsDec 7, 2025: 0 proofsDec 8, 2025: 0 proofsDec 9, 2025: 0 proofsDec 10, 2025: 0 proofsDec 11, 2025: 0 proofsDec 12, 2025: 0 proofsDec 13, 2025: 0 proofsDec 14, 2025: 0 proofsDec 15, 2025: 0 proofsDec 16, 2025: 0 proofsDec 17, 2025: 0 proofsDec 18, 2025: 0 proofsDec 19, 2025: 0 proofsDec 20, 2025: 0 proofsDec 21, 2025: 0 proofsDec 22, 2025: 0 proofsDec 23, 2025: 0 proofsDec 24, 2025: 0 proofsDec 25, 2025: 0 proofsDec 26, 2025: 0 proofsDec 27, 2025: 0 proofsDec 28, 2025: 0 proofsDec 29, 2025: 0 proofsDec 30, 2025: 0 proofsDec 31, 2025: 0 proofsJan 1, 2026: 0 proofsJan 2, 2026: 0 proofsJan 3, 2026: 0 proofsJan 4, 2026: 0 proofsJan 5, 2026: 0 proofsJan 6, 2026: 0 proofsJan 7, 2026: 0 proofsJan 8, 2026: 0 proofsJan 9, 2026: 0 proofsJan 10, 2026: 0 proofsJan 11, 2026: 0 proofsJan 12, 2026: 0 proofsJan 13, 2026: 0 proofsJan 14, 2026: 0 proofsJan 15, 2026: 0 proofsJan 16, 2026: 0 proofsJan 17, 2026: 0 proofsJan 18, 2026: 0 proofsJan 19, 2026: 0 proofsJan 20, 2026: 0 proofsJan 21, 2026: 0 proofsJan 22, 2026: 0 proofsJan 23, 2026: 0 proofsJan 24, 2026: 0 proofsJan 25, 2026: 0 proofsJan 26, 2026: 0 proofsJan 27, 2026: 0 proofsJan 28, 2026: 0 proofsJan 29, 2026: 0 proofsJan 30, 2026: 0 proofsJan 31, 2026: 0 proofsFeb 1, 2026: 0 proofsFeb 2, 2026: 0 proofsFeb 3, 2026: 0 proofsFeb 4, 2026: 0 proofsFeb 5, 2026: 0 proofsFeb 6, 2026: 0 proofsFeb 7, 2026: 0 proofsFeb 8, 2026: 0 proofsFeb 9, 2026: 0 proofsFeb 10, 2026: 0 proofsFeb 11, 2026: 0 proofsFeb 12, 2026: 0 proofsFeb 13, 2026: 0 proofsFeb 14, 2026: 0 proofsFeb 15, 2026: 0 proofsFeb 16, 2026: 0 proofsFeb 17, 2026: 0 proofsFeb 18, 2026: 0 proofsFeb 19, 2026: 0 proofsFeb 20, 2026: 0 proofsFeb 21, 2026: 0 proofsFeb 22, 2026: 0 proofsFeb 23, 2026: 0 proofsFeb 24, 2026: 0 proofsFeb 25, 2026: 0 proofsFeb 26, 2026: 0 proofsFeb 27, 2026: 0 proofsFeb 28, 2026: 0 proofsMar 1, 2026: 0 proofsMar 2, 2026: 0 proofsMar 3, 2026: 0 proofsMar 4, 2026: 0 proofsMar 5, 2026: 0 proofsMar 6, 2026: 0 proofsMar 7, 2026: 0 proofsMar 8, 2026: 0 proofsMar 9, 2026: 0 proofsMar 10, 2026: 0 proofsMar 11, 2026: 0 proofsMar 12, 2026: 0 proofsMar 13, 2026: 0 proofsMar 14, 2026: 0 proofsMar 15, 2026: 0 proofsMar 16, 2026: 0 proofsMar 17, 2026: 0 proofsMar 18, 2026: 0 proofsMar 19, 2026: 0 proofsMar 20, 2026: 0 proofsMar 21, 2026: 0 proofsMar 22, 2026: 0 proofsMar 23, 2026: 0 proofsMar 24, 2026: 0 proofsMar 25, 2026: 0 proofsMar 26, 2026: 0 proofsMar 27, 2026: 0 proofsMar 28, 2026: 0 proofsMar 29, 2026: 0 proofsMar 30, 2026: 0 proofsMar 31, 2026: 0 proofsApr 1, 2026: 0 proofsApr 2, 2026: 0 proofsApr 3, 2026: 0 proofsApr 4, 2026: 0 proofsApr 5, 2026: 0 proofsApr 6, 2026: 0 proofsApr 7, 2026: 0 proofsApr 8, 2026: 0 proofsApr 9, 2026: 0 proofsApr 10, 2026: 0 proofsApr 11, 2026: 0 proofsApr 12, 2026: 0 proofsApr 13, 2026: 0 proofsApr 14, 2026: 0 proofsApr 15, 2026: 0 proofsApr 16, 2026: 0 proofsApr 17, 2026: 0 proofsApr 18, 2026: 0 proofsApr 19, 2026: 0 proofsApr 20, 2026: 0 proofsApr 21, 2026: 0 proofsApr 22, 2026: 0 proofsApr 23, 2026: 0 proofsApr 24, 2026: 0 proofsApr 25, 2026: 0 proofsApr 26, 2026: 0 proofsApr 27, 2026: 0 proofsApr 28, 2026: 0 proofsApr 29, 2026: 0 proofsApr 30, 2026: 0 proofsMay 1, 2026: 0 proofsMay 2, 2026: 0 proofsMay 3, 2026: 0 proofsMay 4, 2026: 0 proofsMay 5, 2026: 0 proofsMay 6, 2026: 0 proofsMay 7, 2026: 0 proofsMay 8, 2026: 0 proofsMay 9, 2026: 0 proofsMay 10, 2026: 0 proofsMay 11, 2026: 0 proofsMay 12, 2026: 0 proofsMay 13, 2026: 0 proofsMay 14, 2026: 0 proofsMay 15, 2026: 0 proofsMay 16, 2026: 0 proofsMay 17, 2026: 0 proofsMay 18, 2026: 0 proofsMay 19, 2026: 0 proofsMay 20, 2026: 0 proofsMay 21, 2026: 0 proofsMay 22, 2026: 0 proofsMay 23, 2026: 0 proofsMay 24, 2026: 0 proofsMay 25, 2026: 0 proofsMay 26, 2026: 0 proofsMay 27, 2026: 0 proofsMay 28, 2026: 0 proofsMay 29, 2026: 0 proofsMay 30, 2026: 0 proofsMay 31, 2026: 0 proofsJun 1, 2026: 0 proofsJun 2, 2026: 0 proofsJun 3, 2026: 0 proofsJun 4, 2026: 0 proofsJun 5, 2026: 0 proofsJun 6, 2026: 0 proofsJun 7, 2026: 0 proofsJun 8, 2026: 0 proofsJun 9, 2026: 0 proofsJun 10, 2026: 0 proofsJun 11, 2026: 0 proofsJun 12, 2026: 0 proofsJun 13, 2026: 0 proofsJun 14, 2026: 0 proofsJun 15, 2026: 0 proofsJun 16, 2026: 0 proofsJun 17, 2026: 0 proofsJun 18, 2026: 0 proofsJun 19, 2026: 0 proofsJun 20, 2026: 0 proofsJun 21, 2026: 0 proofsJun 22, 2026: 0 proofsJun 23, 2026: 0 proofsJun 24, 2026: 0 proofsJun 25, 2026: 0 proofsJun 26, 2026: 0 proofsJun 27, 2026: 0 proofsJun 28, 2026: 0 proofsJun 29, 2026: 0 proofsJun 30, 2026: 0 proofsJul 1, 2026: 0 proofsJul 2, 2026: 0 proofsJul 3, 2026: 0 proofsJul 4, 2026: 0 proofsJul 5, 2026: 0 proofsJul 6, 2026: 0 proofsJul 7, 2026: 0 proofsJul 8, 2026: 0 proofsJul 9, 2026: 0 proofsJul 10, 2026: 0 proofsJul 11, 2026: 0 proofsJul 12, 2026: 0 proofsJul 13, 2026: 0 proofsJul 14, 2026: 0 proofsJul 15, 2026: 0 proofsJul 16, 2026: 0 proofsJul 17, 2026: 0 proofsJul 18, 2026: 0 proofsJul 19, 2026: 0 proofsJul 20, 2026: 0 proofsJul 21, 2026: 0 proofsJul 22, 2026: 0 proofsJul 23, 2026: 0 proofsJul 24, 2026: 0 proofsJul 25, 2026: 0 proofsJul 26, 2026: 0 proofsJul 27, 2026: 0 proofsJul 28, 2026: 0 proofsJul 29, 2026: 0 proofsJul 30, 2026: 0 proofsJul 31, 2026: 0 proofsAug 1, 2026: 0 proofsAug 2, 2026: 0 proofsAug 3, 2026: 0 proofsAug 4, 2026: 0 proofsAug 5, 2026: 0 proofsAug 6, 2026: 0 proofsAug 7, 2026: 0 proofsAug 8, 2026: 0 proofsAug 9, 2026: 0 proofsAug 10, 2026: 0 proofsAug 11, 2026: 0 proofsAug 12, 2026: 0 proofsAug 13, 2026: 0 proofsAug 14, 2026: 0 proofsAug 15, 2026: 0 proofsAug 16, 2026: 0 proofsAug 17, 2026: 0 proofsAug 18, 2026: 0 proofsAug 19, 2026: 0 proofsAug 20, 2026: 0 proofsAug 21, 2026: 0 proofsAug 22, 2026: 0 proofsAug 23, 2026: 0 proofsAug 24, 2026: 0 proofsAug 25, 2026: 0 proofsAug 26, 2026: 0 proofsAug 27, 2026: 0 proofsAug 28, 2026: 0 proofsAug 29, 2026: 0 proofsAug 30, 2026: 0 proofsAug 31, 2026: 0 proofsSep 1, 2026: 0 proofsSep 2, 2026: 0 proofsSep 3, 2026: 0 proofsSep 4, 2026: 0 proofsSep 5, 2026: 0 proofsSep 6, 2026: 0 proofsSep 7, 2026: 5 proofsSep 8, 2026: 7 proofsSep 9, 2026: 1 proofSep 10, 2026: 0 proofsSep 11, 2026: 0 proofsSep 12, 2026: 0 proofsSep 13, 2026: 0 proofsSep 14, 2026: 0 proofsSep 15, 2026: 0 proofsSep 16, 2026: 0 proofsSep 17, 2026: 0 proofsSep 18, 2026: 0 proofsSep 19, 2026: 0 proofsSep 20, 2026: 0 proofsSep 21, 2026: 0 proofsSep 22, 2026: 0 proofsSep 23, 2026: 0 proofsSep 24, 2026: 0 proofsSep 25, 2026: 0 proofsSep 26, 2026: 0 proofsSep 27, 2026: 0 proofsSep 28, 2026: 0 proofsSep 29, 2026: 0 proofsSep 30, 2026: 0 proofsOct 1, 2026: 0 proofsOct 2, 2026: 0 proofsOct 3, 2026: 0 proofsOct 4, 2026: 0 proofsOct 5, 2026: 0 proofsOct 6, 2026: 0 proofsOct 7, 2026: 0 proofsOct 8, 2026: 0 proofsOct 9, 2026: 0 proofsOct 10, 2026: 0 proofsOct 11, 2026: 0 proofsOct 12, 2026: 0 proofsOct 13, 2026: 0 proofsOct 14, 2026: 0 proofsOct 15, 2026: 0 proofsOct 16, 2026: 0 proofsOct 17, 2026: 0 proofsOct 18, 2026: 0 proofsOct 19, 2026: 0 proofsOct 20, 2026: 0 proofsOct 21, 2026: 0 proofsOct 22, 2026: 0 proofsOct 23, 2026: 0 proofsOct 24, 2026: 0 proofsOct 25, 2026: 0 proofsOct 26, 2026: 0 proofsOct 27, 2026: 0 proofsOct 28, 2026: 0 proofsOct 29, 2026: 0 proofsOct 30, 2026: 0 proofsOct 31, 2026: 0 proofsNov 1, 2026: 0 proofsNov 2, 2026: 0 proofsNov 3, 2026: 0 proofsNov 4, 2026: 0 proofsNov 5, 2026: 0 proofs

3 active days · most on Sep 8, 2026 (7)

Activity

Badges

6 of 7 earned

First proof
Have a proof accepted.
Earned Sep 2026
Captain finisher
Captain a mission whose goal is proved or disproved.
Earned Sep 2026
Trailblazer
Be among a mission’s first provers.
Earned Sep 2026
Mission finisher
Prove a theorem first in a completed mission.
Earned Sep 2026
Goal solver
Prove or disprove a mission’s goal theorem.
Earned Sep 2026
Building block
Author a theorem used in someone else’s accepted proof.
Earned Sep 2026

Completed missions

5 missions

Grover's Algorithm
Quantum Information
4 of 8 theorems proved first
ClockRoPE: Random Fourier Rotations
Harmonic Analysis Machine Learning Probability
3 of 5 theorems proved first
The Power Method for Eigenvalue Computation
Numerical Analysis
3 of 4 theorems proved first
Authoritative Sources in a Hyperlinked Environment: The HITS Hub and Authority Iterates Converge to the Principal Eigenvectors of AᵀA and AAᵀ
Graph Theory Linear algebra Numerical Analysis
2 of 11 theorems proved first
Shannon's Source Coding Theorem
Information Theory
1 of 7 theorems proved first

Captained missions

0 open · 6 completed

Grover's AlgorithmCompleted
Quantum Information
2 of 2 proved
ClockRoPE: Random Fourier RotationsCompleted
Harmonic Analysis Machine Learning Probability
7 of 7 proved
The Power Method for Eigenvalue ComputationCompleted
Numerical Analysis
3 of 3 proved
Shannon's Source Coding TheoremCompleted
Information Theory
6 of 6 proved
Bochner's Theorem: Positive-Definite FunctionsCompleted
Functional Analysis Harmonic Analysis Probability
7 of 7 proved
Fejér's TheoremCompleted
Harmonic Analysis
6 of 6 proved

Activity

Activity

Badges

First proof

Captain finisher

Trailblazer

Mission finisher

Goal solver

Building block

Completed missions

Captained missions

Badges and missions

Activity

Badges

First proof

Captain finisher

Trailblazer

Mission finisher

Goal solver

Building block

Completed missions

Captained missions