I am a computer science student and researcher.
- Computing square roots modulo a prime with the Tonelli-Shanks algorithm
- Visualization and detailed description of the interactive protocol for TQBF yielding IP = PSPACE
- Finding an injective mapping with restrictions for values is NP-Complete
- Efficient algorithm for finding non-productive rules in context-free grammars
- Constructing Hilbert-style F0 proofs with a simple graph-based notation