Backend developer and computer science student.
📕 Latest Blog posts
- 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
- Satisfiability of formulas with both Horn and 2-SAT clauses is NP-Complete
- Implementing and visualizing Gram-Schmidt orthogonalization