:: Library Catalog

Imagem da capa

Na minha lista:

Detalhes bibliográficos
Autor principal:	zhao, yinze
Formato:	Recurso digital
Idioma:
Publicado em:	Zenodo 2026
Acesso em linha:	https://doi.org/10.5281/zenodo.20072317
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registos relacionados

Arithmetic Extermination II–IV: Rigorous Descent Proofs for Fermat's Last Theorem in the Energy-Lattice Framework
Por: scott, eron
Publicado em: (2025)

Logical Model of Dark Energy (Λ) Attenuation Based on Living Cosmic Cycle Theory
Por: zhao, wei
Publicado em: (2026)

On the Internal Mechanism Why the Expansion Velocity of Cosmic Spacetime Exceeds the Speed of Light
Por: zhao, wei
Publicado em: (2026)

Analysis on Force Bearing Characteristics of Dark Matter
Por: zhao, wei
Publicado em: (2026)

Data of paper "Grid ,Hydrodynamic boundary and Uncertainty analysis of 2D-SWEs in the context of digital twins: Taking numerical simulation of river networksas an example"
Por: zhao, xu
Publicado em: (2025)

Data of paper "Grid ,Hydrodynamic boundary and Uncertainty analysis of 2D-SWEs in the context of digital twins: Taking numerical simulation of river networksas an example"
Por: zhao, xu
Publicado em: (2025)

A Rigorous Proof of the Riemann Hypothesis
Por: Fisher, Christopher
Publicado em: (2025)

A karyosystematic study of the genus Bombina from China (Amphibia: Discoglossidae)
Por: Liu, Wan-zhao
Publicado em: (1993)

A Complete and Rigorous Proof of the Hodge Conjecture
Por: Letsikas, Christopher, et al.
Publicado em: (2025)

Rigorous Security Proofs for Practical Quantum Key Distribution
Por: Tupkary, Devashish
Publicado em: (2026)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
Por: Thakur, Amitayush, et al.
Publicado em: (2025)

A Rigorous Proof of the Riemann Hypothesis Based on the SIRIC System
Por: Huang, Zhihao
Publicado em: (2026)

The Direct Integration Theorem: A Rigorous Framework for Consistent Discrete Solutions of the Inverse Radon Problem
Por: Mozerov, Mikhail G.
Publicado em: (2026)

The Geometric Origin of the Cayley-Hamilton Theorem: A Constructive Proof via Dimensional Syzygy
Por: Wang, Xiao
Publicado em: (2026)

Rigorous and Generalized Proof of Security of Bitcoin Protocol with Bounded Network Delay
Por: Blake, Christopher, et al.
Publicado em: (2026)

A Geometric–Analytic Synthesis: A Rigorous Proof of the Riemann Hypothesis
Por: Roy, Vivasi
Publicado em: (2025)

An Algebraic Proof of Hrushovski's Theorem
Por: Wisson, Thomas
Publicado em: (2024)

A New Elementary Proof of Landau's Prime Ideal Theorem, and Associated Results
Por: Burgin, Alex
Publicado em: (2024)

A Rigorous and Self--Contained Proof of the Grover--Rudolph State Preparation Algorithm
Por: Falco, Antonio, et al.
Publicado em: (2026)

EQST-GP Theory: A Rigorous 11-Dimensional Unification Framework(Simple preliminary version)
Por: ProfessorAli, Ahmed
Publicado em: (2025)

Resolution of the Birch and Swinnerton-Dyer Conjecture Over ℚ: A Rigorous Proof Framework Aligned with Clay Institute Standards
Por: Lippy, Donald
Publicado em: (2025)

When is $A + x A =\mathbb{R}$
Por: Ye, Jinhe, et al.
Publicado em: (2025)

Generating Theorems by Generating Proof Structures
Por: Wernhard, Christoph
Publicado em: (2026)

Proof of the Generalization of the Sawayama-Thébault Theorem
Por: Płatek, Miłosz
Publicado em: (2026)

An Algebraic Proof of Weierstrass's Approximation Theorem
Por: Barrios, José M. González, et al.
Publicado em: (2025)

An Elementary Proof of a Minimax Theorem
Por: Calder, Jeff
Publicado em: (2025)

Two Simple Proofs of Müller's Theorem
Por: Epstein, Samuel
Publicado em: (2024)

An Algebraic Proof of Thermal Wick's Theorem
Por: Chen, Ruofan
Publicado em: (2025)

Understanding Fermat's Last Theorem's Proofs
Por: Qiu, Alex, et al.
Publicado em: (2025)

On the BCSS Proof of the Fundamental Theorem of Algebra
Por: Rojas, J. Maurice
Publicado em: (2024)

Rigorous Index Theory for One-Dimensional Interacting Topological Insulators
Por: Tasaki, Hal
Publicado em: (2021)

An Information Theoretic Proof of the Radon-Nikodym Theorem
Por: Harremoës, Peter
Publicado em: (2026)

Proof of Millennium Theorem "P versus NP"
Por: Syzdykov, Mirzakhmet
Publicado em: (2023)

A Non-Constructive Proof of Cantor's Theorem
Por: Salehi, Saeed
Publicado em: (2025)

Another Proof of Segre's Theorem about Ovals
Por: Müller, Peter
Publicado em: (2013)

On Kakeya's Geometric Proof of Eneström-Kakeya's Theorem
Por: Annaby, Mahmoud, et al.
Publicado em: (2024)

REFACTOR: Learning to Extract Theorems from Proofs
Por: Zhou, Jin Peng, et al.
Publicado em: (2024)

A Constructive Proof of the Four-Color Theorem
Por: Ding, Dagong
Publicado em: (2025)

A New Proof of the Nešetřil-Rödl Theorem
Por: Masulovic, Dragan
Publicado em: (2017)

A Peculiar Proof of the Martingale Convergence Theorem
Por: Fitzsimmons, P. J.
Publicado em: (2024)