IS GOV PLUS LEGIT

I am a PhD candidate of Mathematics at Dalhousie University. I work under the supervision of Prof. Peter Selinger. You can contact me by bian@dal.ca . For more information, here is my CV .

HAWK TUAH CRYPTO

Mathematical logic, category theory, and their applications to theoretical computer science.

• Thesis proposal and slides.

FUD MEANING CRYPTO

• Normalize Boolean Circuits
• Compile Quipper quantum circuit to OpenQasm 2.0 program
• A simple online string rewriting tool
• gate.io login
• Qutrit Matsumoto-Amano normal form
• Matsumoto-Amano normal form
• Finding Lagrange's four squares --- Implementation of a version of Rabin and Shallit's algorithm by Pollack and Trevino
• parseQcir --- a program that parses and draws quantum circuit
• Learn Agda
• Learn Haskell

BITCOIN LIVE CASINO

See arXiv

Opened on: 08/15/2015. Last edited on: 10/10/2022