Marco David

Generating author description...

All published works

Action	Title	Year	Authors
+	Mathematical Proof Between Generations	2023	Jonas Bayer Christoph Benzmüller Kevin Buzzard Marco David Leslie Lampert Yuri Matiyasevich Lawrence Paulsen Dierk Schleicher Benedikt Stock Efim Zelmanov
+ PDF Chat	Symplectic learning for Hamiltonian neural networks	2023	Marco David Florian Méhats
+ PDF Chat	Generalized fast quasiadiabatic population transfer for improved qubit readout, shuttling, and noise mitigation	2023	Felix Fehse Marco David Michel Pioro-Ladrière W. A. Coish
+	Mathematical Proof Between Generations	2022	Jonas Bayer Christoph Benzmüller Kevin Buzzard Marco David Leslie Lamport Yuri Matiyasevich Lawrence C. Paulson Dierk Schleicher Benedikt Stock Efim Zelmanov
+ PDF Chat	Symplectic Learning for Hamiltonian Neural Networks	2021	Marco David Florian Méhats
+ PDF Chat	Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle	2019	Jonas Bayer Marco David Abhik Pal Benedikt Stock
+ PDF Chat	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle	2018	Benedikt Stock Abhik Pal Maria Antonia Oprea Yufei Liu Malte S. Haßler Simon Dubischar Prabhat Devkota Yiping Deng Marco David Bogdan Ciurezu
+	A generalization of a theorem of J. Steinberg	1967	Marco David

Common Coauthors

Coauthor	Papers Together
Jonas Bayer	4
Benedikt Stock	4
Efim Zelmanov	2
Florian Méhats	2
Abhik Pal	2
Yuri Matiyasevich	2
Kevin Buzzard	2
Christoph Benzmüller	2
Dierk Schleicher	2
Simon Dubischar	1
Felix Fehse	1
Prabhat Devkota	1
Lawrence C. Paulson	1
Leslie Lampert	1
Bogdan Ciurezu	1
Yufei Liu	1
Malte S. Haßler	1
Michel Pioro-Ladrière	1
Maria Antonia Oprea	1
Lawrence Paulsen	1
Yiping Deng	1
W. A. Coish	1
Deepak Aryal	1
Leslie Lamport	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+ PDF Chat	A FORMAL PROOF OF THE KEPLER CONJECTURE	2017	Thomas Hales Mark Adams Gertrud Bauer TAT DAT DANG John Harrison Hoang Le Truong Cezary Kaliszyk Victor Magron Sean McLaughlin TAT THANG NGUYEN	2
+ PDF Chat	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle	2018	Benedikt Stock Abhik Pal Maria Antonia Oprea Yufei Liu Malte S. Haßler Simon Dubischar Prabhat Devkota Yiping Deng Marco David Bogdan Ciurezu	2
+ PDF Chat	On Connected Preimages of Simply-Connected Domains Under Entire Functions	2019	Lasse Rempe David J. Sixsmith	2
+ PDF Chat	On proof and progress in mathematics	1994	William P. Thurston	2
+	Hilbert's Tenth Problem.	1995	Martin Davis Yuri Matiyasevich	2
+ PDF Chat	Beginners’ Quest to Formalize Mathematics: A Feasibility Study in Isabelle	2019	Jonas Bayer Marco David Abhik Pal Benedikt Stock	2
+ PDF Chat	Qubit interference at avoided crossings: The role of driving shape and bath coupling	2015	Ralf Blattmann Peter Hänggi Sigmund Kohler	1
+ PDF Chat	<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline"><mml:mn mathvariant="bold-sans-serif">1</mml:mn><mml:mo>/</mml:mo><mml:mi mathvariant="sans-serif-bold-italic">f</mml:mi></mml:math>noise: Implications for solid-state quantum information	2014	E. Paladino Y. M. Galperin G. Falci B. L. Altshuler	1
+	Geometric Numerical Integration: Structure-Preserving Algorithms for Ordinary Differential Equations	2009	Ernst Hairer Christian Lubich Gerhard Wanner	1
+ PDF Chat	Coherent Manipulation of Electronic States in a Double Quantum Dot	2003	T. Hayashi T. Fujisawa Hai Du Cheong Yong‐Cheol Jeong Y. Hirayama	1
+ PDF Chat	Quantum search by parallel eigenvalue adiabatic passage	2008	D. Daems S. Guérin Nicolas J. Cerf	1
+	Quantum control and process tomography of a semiconductor quantum dot hybrid qubit	2014	Dohun Kim Zhan Shi C. B. Simmons Daniel R. Ward J. R. Prance Teck Seng Koh John King Gamble D. E. Savage M. G. Lagally Mark Friesen	1
+	Towards computer aided mathematics	2005	Christoph Benzmüller	1
+ PDF Chat	Quantum Coherence in a One-Electron Semiconductor Charge Qubit	2010	K. D. Petersson J. R. Petta Hong Lü A. C. Gossard	1
+ PDF Chat	Gauging a Quantum Heat Bath with Dissipative Landau-Zener Transitions	2006	Martijn Wubs Keiji Saito Sigmund Kohler Peter Hänggi Yōsuke Kayanuma	1
+ PDF Chat	Landau-Zener Transitions in a Dissipative Environment: Numerically Exact Results	2009	P. Nalbach Michael Thorwart	1
+ PDF Chat	Theory of Control of the Spin-Photon Interface for Quantum Networks	2005	Wang Yao Ren‐Bao Liu L. J. Sham	1
+ PDF Chat	Numerical integrators based on modified differential equations	2007	Philippe Chartier Ernst Hairer Gilles Vilmart	1
+ PDF Chat	Non-Gaussian Low-Frequency Noise as a Source of Qubit Decoherence	2006	Y. M. Galperin B. L. Altshuler Joakim Bergli D. V. Shantsev	1
+ PDF Chat	Low- and High-Frequency Noise from Coherent Two-Level Systems	2005	Alexander Shnirman Gerd Schön Ivar Martin Yuriy Makhlin	1
+ PDF Chat	Non-Abelian Operations on Majorana Fermions via Single-Charge Control	2011	Karsten Flensberg	1
+ PDF Chat	How to enhance dephasing time in superconducting qubits	2008	Łukasz Cywiński Roman M. Lutchyn Cody P. Nave S. Das Sarma	1
+ PDF Chat	Correlating Decoherence in Transmon Qubits: Low Frequency Noise by Single Fluctuators	2019	Steffen Schlör J. Lisenfeld Clemens Müller Alexander Bilmes Andre Schneider D. P. Pappas A. V. Ustinov Martin Weides	1
+	Proceedings of the 25th international conference on Machine learning	2008	William W. Cohen Andrew McCallum Sam T. Roweis	1
+ PDF Chat	Triplet–singlet spin relaxation via nuclei in a double quantum dot	2005	A. C. Johnson J. R. Petta Jacob M. Taylor Amir Yacoby Mikhail D. Lukin C. M. Marcus M. Hanson A. C. Gossard	1
+	A family of embedded Runge-Kutta formulae	1980	John R. Dormand P.J. Prince	1
+ PDF Chat	Quantum search by local adiabatic evolution	2002	Jérémie Roland Nicolas J. Cerf	1
+ PDF Chat	Speeding up Adiabatic Quantum State Transfer by Using Dressed States	2016	Alexandre Baksic Hugo Ribeiro Aashish A. Clerk	1
+	Discovering governing equations from data by sparse identification of nonlinear dynamical systems	2016	Steven L. Brunton Joshua L. Proctor J. Nathan Kutz	1
+ PDF Chat	Microscopic models for charge-noise-induced dephasing of solid-state qubits	2015	F. Beaudoin W. A. Coish	1
+ PDF Chat	Dissipative Landau-Zener transitions of a qubit: Bath-specific and universal behavior	2007	Keiji Saito Martijn Wubs Sigmund Kohler Yōsuke Kayanuma Peter Hänggi	1
+ PDF Chat	Accelerated quantum control using superadiabatic dynamics in a solid-state lambda system	2016	Brian B. Zhou Alexandre Baksic Hugo Ribeiro Christopher G. Yale F. Joseph Heremans Paul C. Jerger Adrian Auer Guido Burkard Aashish A. Clerk D. D. Awschalom	1
+ PDF Chat	Minimizing irreversible losses in quantum systems by local counterdiabatic driving	2017	Dries Sels Anatoli Polkovnikov	1
+ PDF Chat	Fast Hybrid Silicon Double-Quantum-Dot Qubit	2012	Zhan Shi C. B. Simmons J. R. Prance John King Gamble Teck Seng Koh Yun-Pil Shim Xuedong Hu D. E. Savage M. G. Lagally M. A. Eriksson	1
+ PDF Chat	Multiqubit spectroscopy of Gaussian quantum noise	2017	Gerardo A. Paz-Silva Leigh Norris Lorenza Viola	1
+ PDF Chat	Explicit symplectic approximation of nonseparable Hamiltonians: Algorithm and long time performance	2016	Molei Tao	1
+ PDF Chat	Dissipative effects in Josephson qubits	2003	Yuriy Makhlin Gerd Schön Alexander Shnirman	1
+ PDF Chat	Suppression of the Landau-Zener transition probability by weak classical noise	2017	Rajesh K. Malla E. G. Mishchenko M. É. Raǐkh	1
+ PDF Chat	Superadiabatic quantum state transfer in spin chains	2017	R. R. Agundez Charles D. Hill Lloyd C. L. Hollenberg Sven Rogge M. Blaauboer	1
+ PDF Chat	A quantum-dot spin qubit with coherence limited by charge noise and fidelity higher than 99.9%	2017	Jun Yoneda Kenta Takeda Tomohiro Otsuka Takashi Nakajima Matthieu R. Delbecq Giles Allison Takumu Honda Tetsuo Kodera Shunri Oda Yusuke Hoshi	1
+	A Lean formalization of Matiyasevič's Theorem	2018	Mario Carneiro	1
+ PDF Chat	Spin Lifetime and Charge Noise in Hot Silicon Quantum Dot Qubits	2018	Luca Petit Jelmer M. Boter H. G. J. Eenink G. Droulers M. L. V. Tagliaferri Ruoyu Li David P. Franke Kanwal Jit Singh Jim Clarke R. N. Schouten	1
+ PDF Chat	The Matiyasevich Theorem. Preliminaries	2017	Karol Pąk	1
+ PDF Chat	Readout of Majorana parity states using a quantum dot	2016	Kaveh Gharavi Darryl Hoving Jonathan Baugh	1
+ PDF Chat	Diophantine sets. Preliminaries	2018	Karol Pąk	1
+	Decoupled Weight Decay Regularization	2017	Ilya Loshchilov Frank Hutter	1
+ PDF Chat	Storage and retrieval of single photons transmitted between remote quantum memories	2005	T. Chanelière Dzmitry Matsukevich S. D. Jenkins Shau-Yu Lan Tom Kennedy A. Kuzmich	1
+ PDF Chat	Reshaping the metaphor of proof	2019	N. A. Vavilov	1
+ PDF Chat	Formalizing an Analytic Proof of the Prime Number Theorem	2009	John Harrison	1
+	A formal proof of the four color theorem	2009	Limin Xiang	1