Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

New Generation Computing

Quantum Computation: a Tutorial

Benoît Valiron

Published Oct 1, 2012• 13 citations
Publisher
DOI
10.1007/s00354-012-0401-7

Related papers

Quantum Computation: Overview

Mahn‐Soo Choi

Springer eBooks•Jan 1, 2022•0 citations

IEEE Quantum Week 2020 Tutorial Abstracts

Scott Koziol, Bruce Kraemer

The shortage of skilled labor is one of the quantum computing sector's greatest challenges. The week-long Tutorials program at the IEEE International Conference on Quantum Computing and Engineering (QCE20) includes sixteen engaging tutorials by leading experts aimed squarely at workforce development and training considerations. These tutorials are ideally suited to develop quantum champions for industry, academia, government, and build expertise for emerging quantum ecosystems. Virtual IEEE Quantum Week will cover a broad range of topics in quantum computing and technologies including a lineup of fantastic hands-on tutorials on programming and applications.

IEEE International Conference on Quantum Computing and Engineering (QCE)•Oct 1, 2020•0 citations

Tutorials Program

The shortage of skilled labor is one of the quantum computing sector's greatest challenges.The week-long tutorials program, with tutorials by leading experts, is aimed squarely at workforce development and training considerations.The tutorials are ideally suited to develop quantum champions for industry, academia, government, and build expertise for emerging quantum ecosystems.IEEE Quantum Week will cover a broad range of topics in quantum computing and engineering including a lineup of fantastic hands-on tutorials on programming and applications.lxxxiii

IEEE International Conference on Quantum Computing and Engineering (QCE)•Sep 17, 2023•0 citations

Quantum Computation: An Introduction

James Taylor Lewis Grimmelmann

•Apr 17, 2015•1 citation

QUANTUM COMPUTATION: AN INTRODUCTION

Adriano Barenco

WORLD SCIENTIFIC eBooks•Oct 1, 1998•13 citations

Advancing Quantum Computing with Formal Methods

Arend-Jan Quist, Jingyi Mei, Tim J. Coopmans +1 more

Abstract This tutorial introduces quantum computing with a focus on the applicability of formal methods in this relatively new domain. We describe quantum circuits and convey an understanding of their inherent combinatorial nature and the exponential blow-up that makes them hard to analyze. Then, we show how weighted model counting (#SAT) can be used to solve hard analysis tasks for quantum circuits. This tutorial is aimed at everyone in the formal methods community with an interest in quantum computing. Familiarity with quantum computing is not required, but basic linear algebra knowledge (particularly matrix multiplication and basis vectors) is a prerequisite. The goal of the tutorial is to inspire the community to advance the development of quantum computing with formal methods.

arXiv:2407.11675•Lecture notes in computer science•Sep 12, 2024•10 citations
The shortage of skilled labor is one of the quantum computing sector's greatest challenges. The week-long Tutorials program at the IEEE International Conference on Quantum Computing and Engineering (QCE20) includes sixteen engaging tutorials by leading experts aimed squarely at workforce development and training considerations. These tutorials are ideally suited to develop quantum champions for industry, academia, government, and build expertise for emerging quantum ecosystems. Virtual IEEE Quantum Week will cover a broad range of topics in quantum computing and technologies including a lineup of fantastic hands-on tutorials on programming and applications.
The shortage of skilled labor is one of the quantum computing sector's greatest challenges.The week-long tutorials program, with tutorials by leading experts, is aimed squarely at workforce development and training considerations.The tutorials are ideally suited to develop quantum champions for industry, academia, government, and build expertise for emerging quantum ecosystems.IEEE Quantum Week will cover a broad range of topics in quantum computing and engineering including a lineup of fantastic hands-on tutorials on programming and applications.lxxxiii
Abstract This tutorial introduces quantum computing with a focus on the applicability of formal methods in this relatively new domain. We describe quantum circuits and convey an understanding of their inherent combinatorial nature and the exponential blow-up that makes them hard to analyze. Then, we show how weighted model counting (#SAT) can be used to solve hard analysis tasks for quantum circuits. This tutorial is aimed at everyone in the formal methods community with an interest in quantum computing. Familiarity with quantum computing is not required, but basic linear algebra knowledge (particularly matrix multiplication and basis vectors) is a prerequisite. The goal of the tutorial is to inspire the community to advance the development of quantum computing with formal methods.