Cover Image

RGG Theorem — Formal Mathematical Structure

Fuente: Zenodo

Saved in:

Bibliographic Details
Main Author:	Juntaramalee, Narakorn
Format:	Recurso digital
Published:	Zenodo 2025
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

"A Memory-Inertia Framework for Emergent Lorentzian Geometry and Non-Markovian Cosmological Signals"
by: Juntaramalee, Narakorn
Published: (2026)

Analytical Solutions to the Wheeler-DeWitt Equation in Rosen-Lagrangian Cosmology via the Eisenhart Lift
by: Kaewkhao, Narakorn, et al.
Published: (2026)

Factors Affecting Liquid‐Liquid Phase Separation of RGG Peptides with DNA G‐Quadruplex
by: Sumit Shil, et al.
Published: (2024)

A Luminous X-ray AGN in the Dwarf-Dwarf Galaxy Merger RGG 66
by: Kimbrell, Seth, et al.
Published: (2024)

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
by: Tang, Xichen
Published: (2024)

Traversable Wormholes in Einstein-Euler-Heisenberg Gravity: Geometry, Energy Conditions, and Gravitational Lensing
by: Channuie, Phongpichit, et al.
Published: (2025)

Traversable Wormholes in Minimally Geometrical Deformed Trace-Free Gravity using Gravitational Decoupling
by: Panyasiripan, Piyachat, et al.
Published: (2024)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
by: Li, Sirui, et al.
Published: (2025)

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification
by: Rao, Balaji, et al.
Published: (2025)

COMPOSE: Composing Future Theorems from Citations and Formal Structure
by: Busbib, David, et al.
Published: (2026)

Formalizing Mathematics at Scale
by: Rammal, Ahmad, et al.
Published: (2026)

Mathematical Theorems on Turbulence
by: Drivas, Theodore D.
Published: (2026)

Fluctuation Theorem and Thermodynamic Formalism
by: Cuneo, Noé, et al.
Published: (2017)

Formalizing Pick's Theorem, efficiently
by: Eisermann, Michael
Published: (2026)

Recursive Reinforcement Scaling: A Formal Framework for Emergent Mathematical Structures
by: McManus
Published: (2025)

NeuroCore™: Mathematical Formalization
by: Nicoletti, Davide Luca
Published: (2026)

Scalar Field Dynamics in Non-Minimally Coupled Theories via the Noether Symmetry and the Eisenhart-Duval Lift
by: Talek, Ahmadfikri, et al.
Published: (2023)

Steering LLMs for Formal Theorem Proving
by: Kirtania, Shashank, et al.
Published: (2025)

Formalizing Pick's Theorem in Isabelle/HOL
by: Binder, Sage, et al.
Published: (2024)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
by: Bryant, Dustin, et al.
Published: (2025)

Front Cover: Factors Affecting Liquid‐Liquid Phase Separation of RGG Peptides with DNA G‐Quadruplex (ChemMedChem 2/2025)
by: Sumit Shil, et al.
Published: (2025)

On Compositional Learning Behaviours in Formal Mathematics
by: Denamganaï, Kevin Yandoka
Published: (2026)

Categorical Foundations of Formalized Condensed Mathematics
by: Asgeirsson, Dagur, et al.
Published: (2024)

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
by: Yu, Zhouliang, et al.
Published: (2025)

FormalRewardBench: A Benchmark for Formal Theorem Proving Reward Models
by: Uluşan, Zeynel A., et al.
Published: (2026)

A Formalization of the Ionescu-Tulcea Theorem in Mathlib
by: Marion, Etienne
Published: (2025)

DRIFT: Decompose, Retrieve, Illustrate, then Formalize Theorems
by: Zhang, Meiru, et al.
Published: (2025)

What are the Right Symmetries for Formal Theorem Proving?
by: Olejniczak, Krzysztof, et al.
Published: (2026)

An In-Context Learning Agent for Formal Theorem-Proving
by: Thakur, Amitayush, et al.
Published: (2023)

Jurnal Theorems (The Original Research of Mathematics)
Published: (2021)

A Mathematical Aspect of Bloch's Theorem
by: Li, Yan, et al.
Published: (2024)

Explorable Theorems: Making Written Theorems Explorable by Grounding Them in Formal Representations
by: Kambhamettu, Hita, et al.
Published: (2026)

Possest__PQF__Mathematics_of_FiltrationΔ__Formalization_of_Access__Recursio__and_Structural_Collapse.pdf
by: Schimmelpfennig, Yochanan
Published: (2025)

Mathematical Formalization of Human–AI Cognitive Resonance: Structural Coupling and Externalized Executive Function
by: Kimura, Hinano
Published: (2026)

The L_σ(n) Theorem: Formal Structural Limits in SAT Solving and Information Loss Analysis
by: Ednyashev, Sanal
Published: (2025)

Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
by: Sivakumar, Jasivan Alex, et al.
Published: (2025)

The Mathematical Core: Formal Foundations of the Five Principles
by: Smith, John Richard, et al.
Published: (2026)

Interactive Formal Specification for Mathematical Problems of Engineers
by: Neuper, Walther
Published: (2024)

A Mathematical Formalization of Self-Determining Agency
by: Ohmura, Yoshiyuki, et al.
Published: (2026)

Learning Formal Mathematics From Intrinsic Motivation
by: Poesia, Gabriel, et al.
Published: (2024)