:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	박, 철웅
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.20339172
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Using binary string to prove the Collatz conjecture
by: Feng, Jishe
Published: (2023)

Exact solution of the 1D riemann problem in Newtonian and relativistic hydrodynamics
by: F. D. Lora-Clavijo
Published: (2013)

FAMED by computer: proving the Andersen-Kashaev volume conjecture for 42,000 knots
by: Aribi, Fathi Ben, et al.
Published: (2025)

A framework for proving quantum modularity: Application to Witten's asymptotic expansion conjecture
by: Murakami, Yuya
Published: (2025)

The riemann framework and higher order godunov schemes for parallel, self-adaptive computational astrophysics
by: Dinshaw Balsara
Published: (2000)

riemann-bracket: Selberg-calibrated interval predictor for Riemann zeta zeros (v0.2.0)
by: Lebedevs, Aleksejs
Published: (2026)

Quantum automated theorem proving
by: Sun, Zheng-Zhi, et al.
Published: (2026)

World proved crude oil reserves
Published: (2024)

Increasing delay as a strategy to prove stability
by: AlSharawi, Ziyad, et al.
Published: (2025)

On proving consistency of equational theories in Bounded Arithmetic
by: Beckmann, Arnold, et al.
Published: (2022)

Did Turing prove the undecidability of the halting problem?
by: Hamkins, Joel David, et al.
Published: (2024)

a¿Quién provee a los ambulantes?

A criterion for proving entropy chaos on path space
by: Borasi, Luigi, et al.
Published: (2026)

Dynamical sequences: closure properties and automatic identity proving
by: Bell, Jason P., et al.
Published: (2026)

A fully new path to prove Riemann Hypothesis
by: Zhu, Jing Min
Published: (2018)

A local framework for proving combinatorial matrix inversion theorems
by: Khanna, Aditya, et al.
Published: (2025)

On proving the robustness of algorithms for early fault-tolerant quantum computers
by: Kshirsagar, Rutuja, et al.
Published: (2022)

Eigenvalue equations for sieved polynomials or proving Askey right again
by: Vinet, Luc, et al.
Published: (2025)

An AB(L) E bodied vehivle proves its worth
Published: (1996)

How to prove it : a structured approach / Daniel J. Velleman
by: Velleman, Daniel J
Published: (1994)

Low metallicity solar model finds the prove in Borexino data
by: Bezrukov, L. B., et al.
Published: (2025)

Can the FCC-hh prove the B-L gauge symmetry?
by: Queiroz, Farinaldo S., et al.
Published: (2025)

“I dunno, as long as it proves my point”: A concept‐based approach to teaching citation and intertextuality to emerging writers
by: Yiran Xu, et al.
Published: (2025)

A new way to prove configuration reducibility using gauge theory
by: Baldridge, Scott, et al.
Published: (2024)

On proving an Inequality of Ramanujan using Explicit Order Estimates for the Mertens Function
by: De, Subham
Published: (2024)

Rare anomalies require large datasets: About proving the existence of anomalies
by: Klüttermann, Simon, et al.
Published: (2025)

"Determinèd to prove a villain": La necesidad de Ricardo III
by: Juan Carlos Calvillo R.
Published: (2017)

A method for the automated generation of proof exercises with comparable levels of proving complexity
by: Mendes, João, et al.
Published: (2026)

Application of multiple proxies in Mexican tropical coasts to prove evidence of tsunami deposits
by: María Teresa Ramírez-Herrera
Published: (2018)

Algebraic identities to prove that a neat finite free algebra is tracically étale
by: Quitté, Claude, et al.
Published: (2025)

A graphical framework for proving holographic entanglement entropy inequalities in multipartite systems
by: Chou, Chia-Jui, et al.
Published: (2025)

A Beals criterion for magnetic pseudodifferential operators proved with magnetic Gabor frames
by: Cornean, Horia D., et al.
Published: (2018)

Proceedings 12th International Workshop on Theorem proving components for Educational software
by: Narboux, Julien, et al.
Published: (2024)

Proceedings The 13th International Workshop on Theorem proving components for Educational software
by: Narboux, Julien, et al.
Published: (2025)

Automated proving in planar geometry based on the complex number identity method and elimination
by: Kovács, Zoltán, et al.
Published: (2025)

Campus sexual assault prevention education tailored to men proves more effective
by: Halley Sutton
Published: (2024)

A novel strategy to prove chiral symmetry breaking in QCD-like theories
by: Ciambriello, Luca, et al.
Published: (2024)

FibRace: a large-scale benchmark of client-side proving on mobile devices
by: Malatrait, Simon, et al.
Published: (2025)

Using stationary information flows to prove kinetic uncertainty relations in biochemical control systems
by: Ripsman, Ryan, et al.
Published: (2025)

A multi-point maximum principle to prove global Harnack inequalities for Schrödinger operators
by: Andrews, Ben, et al.
Published: (2025)