Pinned Repositories
4StatesIn4Qubits
Companion code for https://arxiv.org/abs/2101.08381
CLQO
Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint learning.
ComputableReal
computable implementation of real numbers in Lean4
DVFS_PACE2022
Directed Feedback Vertex Set (for PACE 2022)
EQUANIMITY3000
Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000
FastQuantumReversal
Speedier quantum reversal, a-la arxiv:2103.03264
generalizedHartreeFock
Generalized Hartree Fock simulations. Written in Julia.
JNA_SCIP
Java bindings for the SCIP optimization library
lean-descartes-signs
Lean 4 proof of Descartes' Rule of Signs
Lean-QuantumInfo
Quantum information theory in Lean 4
Timeroot's Repositories
Timeroot/ComputableReal
computable implementation of real numbers in Lean4
Timeroot/CLQO
Solver for Unconstrained Binary Quadratic Optimization (UBQO, BQO, QUBO) and Max 2-SAT, based on semidefinite relaxation with constraint learning.
Timeroot/Lean-QuantumInfo
Quantum information theory in Lean 4
Timeroot/lean-descartes-signs
Lean 4 proof of Descartes' Rule of Signs
Timeroot/DVFS_PACE2022
Directed Feedback Vertex Set (for PACE 2022)
Timeroot/JNA_SCIP
Java bindings for the SCIP optimization library
Timeroot/4StatesIn4Qubits
Companion code for https://arxiv.org/abs/2101.08381
Timeroot/EQUANIMITY3000
Evolved QUantum Adversarial Neural Incrypted Messages In The Year 3000
Timeroot/FastQuantumReversal
Speedier quantum reversal, a-la arxiv:2103.03264
Timeroot/generalizedHartreeFock
Generalized Hartree Fock simulations. Written in Julia.
Timeroot/julia
The Julia Language: A fresh approach to technical computing.
Timeroot/othello
Timeroot/Polynomials.jl
Polynomial manipulations in Julia
Timeroot/Tergiversative
Experimental SAT solver
Timeroot/Twinwidth
Graph Twinwidth computation, for PACE 2023.
Timeroot/ZooClasses
Machine-readable Complexity Zoo, and viewer
Timeroot/equational_theories
A project to map out the relations between different equational theories of Magmas.
Timeroot/FLT
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Timeroot/Pseudostates
Timeroot/Timeroot.github.io
Personal website