@fc0web

108Contributions
96
Posts2
Followees3
Followers

Following Organizations(20)See all

works-hiqiita-incsaison-technologydip-nettomosiareqtctisi-incinfreedbeex-incnahato_data...

Contributions

article is Stocked

【第51論文】Braid Theorem Prover から Lean 4 / Coq への自動コンパイル — 数学者コミュニティへの誠実な架け橋

article is Liked

【第51論文】Braid Theorem Prover から Lean 4 / Coq への自動コンパイル — 数学者コミュニティへの誠実な架け橋

article is Liked

Majorana = SELF: Superconductivity x Eight-Valued Logic (8 Phenomena, Beta1=63)

article is Liked

SELF Numerical Universal Constant and Golden-Section Localization Between Planck and Cosmos

article is Liked

Fixed Point Atlas of D-FUMT8 (672 Checks, SELF 57.1%, CDF=0.5=NEITHER, 40% Theorem)

article is Liked

D-FUMT8 Trinity of Centers, Weak Conservation Law, and Wave-Number Inverse Property of SELF

article is Liked

【世界初】Hodge 6D は β₂=64 個の3次元穴を持つ — Hodge Laplacian Spectrum と Persistence Landscape で見る Millennium 問題の多次元構造

posted an article

第107論文: Collatz tier2_axiom 全数式 compendium (Paper 106 companion)

posted an article

第106論文: Collatz tier2_axiom 条件付 complete proof — 査読依頼

posted an article

第105論文: Collatz tier2_axiom 最終状態 — 2026-04-16 audit