Jiheon Lee

University of Toronto, Computer Science, Physics, and Mathematics

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT
COURSES

Home Tags Autoprover

Tag

Autoprover 1

Prover9-Mace4 May 12, 2024

Recently Updated

Diagonalization of Pauli XX + Pauli YY
Note on Real Mathematical Analysis - Real Numbers
A Fast Quantum Mechanical Algorithm for Database Search
Prover9-Mace4
Towards an Ontology for Generative Design of Mechanical Assemblies

Trending Tags

Quantum Simulation Quantum Physics First-Order Logic Artificial Intelligence Autoprover Generative AI Grover's Algorithm Quantum Algorithm Quantum Information Real Analysis

© 2024 Jiheon Lee. Some rights reserved.

Trending Tags

Quantum Simulation Quantum Physics First-Order Logic Artificial Intelligence Autoprover Generative AI Grover's Algorithm Quantum Algorithm Quantum Information Real Analysis

A new version of content is available.