Skip to main content

Supported by

Search Results

Search terms

Main navigation

Talks
Collections
Sources
Help
About Us

Searching

Search terms

Speaker(s)

From

To

Source

Subject

Activities

Astrophysics

Computer Science

Condensed Matter

General Relativity & Quantum Cosmology

High Energy Physics

Mathematical Physics

Physics

Quantum Physics

String Theory

Talk Type

Conference

Course

Other

Public Lectures

Scientific Series

Search terms

Title

From

To

Source

Type

Rodolfo Reis Soldati

Talks by Rodolfo Reis Soldati

A Formalization of the Generalized Quantum Stein's Lemma in Lean

Rodolfo Reis Soldati Institute for Quantum Computing (IQC)
March 18, 2026

PIRSA:26030069
Quantum Physics

Footer menu

Accessibility
Contact
Help
Terms of use

User account menu

Log in

© Copyright 2020-2026 SciVideos