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

Marco David

Talks by Marco David

Formal reasoning with a computer assistant: A quantitative solution to Hilbert's Tenth Problem

Marco David University of California, Berkeley
October 14, 2025

PIRSA:25100157
Quantum Physics

Footer menu

Accessibility
Contact
Help
Terms of use

User account menu

Log in

© Copyright 2020-2025 SciVideos