Forgot password? New user? Sign up

Existing user? Log in

In January 2020, I attended Formal Methods in Mathematics / Lean Together 2020

Formal Mathematics, broadly, is the process of documenting mathematics including but not limited to definitions, theorems, proofs, …

You may have seen the discussion on finite state automata on the Brilliant Wiki, or your own Theory of Computation course.

Weighted Automata are a generalization of the same concept …

Quantum gates are the elementary operations for the qubits of a quantum computer. They are comparable to the logic gates for classical bits. In contrast to the Boolean operators, all …

Already with a single qubit you can perform complicated operations, because you can make arbitrary superpositions of the two basis states. However, it only becomes interesting when you have a …

Hey folks,

I'm really excited to share with you something I've been working on for a past few weeks. The paper is about mathematical model underlying PCA algorithm and it's …

Problem Loading...

Note Loading...

Set Loading...