Screening for breakthroughs: Omitted proofs

0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Gregorio Curello, Ludvig Sinander

Ngôn ngữ: eng

Ký hiệu phân loại: 511.36 Proof theory and constructive mathematics

Thông tin xuất bản: 2021

Mô tả vật lý:

Bộ sưu tập: Metadata

ID: 166679

Thêm vào giỏ Liên kết toàn văn

Comment: arXiv admin note: text overlap with arXiv:2011.10090This document contains all proofs omitted from our working paper 'Screening for breakthroughs'
specifically, the March 2025 version of the paper (arXiv:2011.10090v9).

Tạo bộ sưu tập với mã QR