A Coq for Linear O(N) Time Quantum Computation (CPU) | Zenodo
Skip to main
You are using an outdated browser. Please upgrade your browser to improve your experience.
Published August 16, 2026
| Version v1
Computational notebook
Open
A Coq for Linear O(N) Time Quantum Computation (CPU)
Authors/Creators
Tibedo, Charles
Description
The thesis is simple. No more bottlenecks in traditional semiconducting, superconducting, and thermally based quantum environments or hardware constraints. Quantum mechanics can run drect from a single CPU.
Coq is your to run and prove locally on your systems.
Files
origin_zero_certificate.json
Files<br>(1.6 MB)
Name<br>Size
Download all
origin_zero_certificate.json
md5:427cb358eae73fe1f0e87997292e8d38
1.6 kB
Preview
Download
State_Dependent_Quantum_Transport_Barycentric_Networks_OPERATOR_TENSOR_FINAL.pdf
md5:29f187b10d03e15ce2f16254277f9cbc
1.6 MB
Preview
Download
Additional details
Dates
Copyrighted
2026-08-16
Views
Downloads
Show more details
All versions<br>This version
Views
Total views
Downloads
Total downloads
Data volume
Total data volume
0 Bytes<br>0 Bytes
More info on how stats are collected....
Versions
External resources
Indexed in
OpenAIRE
Communities
Keywords and subjects
EuroSciVoc
Computer hardware
Computer processors
Quantum computers
Quantum physics
Quantum optics
Statistics and probability
Pure mathematics
Applied mathematics
Discrete mathematics
MeSH
Computer Security
Computers
Computer Simulation
Details
DOI
DOI Badge
DOI
10.5281/zenodo.21969140
Markdown
[](https://doi.org/10.5281/zenodo.21969140)
reStructuredText
.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.21969140.svg<br>:target: https://doi.org/10.5281/zenodo.21969140
HTML
Image URL
https://zenodo.org/badge/DOI/10.5281/zenodo.21969140.svg
Target URL
https://doi.org/10.5281/zenodo.21969140
Resource type<br>Computational notebook
Publisher<br>Zenodo
Rights
License
Creative Commons Attribution 4.0 International
The Creative Commons Attribution license allows re-distribution and re-use of a licensed work on the condition that the creator is appropriately credited.
Read more
Citation
Export
Technical metadata
Created
August 16, 2026
Modified
August 16, 2026
Jump up
This site uses cookies. Find out more on how we use cookies
Accept all cookies<br>Accept only essential cookies