Skip to content

DEV Community

# math

👋 Sign in for the ability to sort posts by relevant, latest, or top.

SEN LLC

May 1

The Three Conditions for Seeing the ISS — A Browser-Only Visibility Calculator with Spherical Trigonometry

#javascript #space #math #webdev

5 min read

Nobuki Fujimoto

Apr 27

Power x Thermodynamics x D-FUMT-8: A 9-Theory Bridge from CPU/GPU Engineering to Information Thermodynamics (Paper 141)

#math #lean #research #ai

7 min read

Nobuki Fujimoto

Apr 27

Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Paper 137)

#lean #math #research #ai

9 min read

Nobuki Fujimoto

Apr 27

Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)

#math #ai #research #lean

11 min read

Nobuki Fujimoto

Apr 26

FIDT as a Domain-Specific Generator: A Honest Reframing of Fujimoto Infinite Dot Theory (Paper 140)

#compression #research #math #ai

9 min read

Nobuki Fujimoto

Apr 26

Godel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Paper 138)

#math #philosophy #lean #research

11 min read

Nobuki Fujimoto

Apr 25

Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)

#math #lean #research #ai

9 min read

Orkhan

Apr 24

Why Does 0.999… Equal 1? The Surprising Truth Explained Simply

#computerscience #math #infinity

2 min read

Nobuki Fujimoto

Apr 23

Sylvester-Schur Partial Lean 4 Formalization and the 699 <-> 961 Bridge (Rei-AIOS Paper 133)

#math #lean #research #combinatorics

11 min read

Nobuki Fujimoto

Apr 23

Rei-AIOS Meets 2024-2026 AI Math Tooling: A Survey and Integration Roadmap (Paper 134)

#math #ai #research #lean

8 min read

Nobuki Fujimoto

Apr 23

Five Classical Open Problems — Rei-AIOS Next Lean 4 Deep-Dive Roadmap (Paper 132)

#math #lean #research #classification

15 min read

Nobuki Fujimoto

Apr 22

First Lean 4 Formalization of Bipartite Ramsey Number b(2,2)=5 with native_decide Certification (Rei-AIOS Paper 131)

#math #lean #combinatorics #ramsey

7 min read

Nobuki Fujimoto

Apr 22

Open Problems META-DB (Rei-AIOS): D-FUMT8 META-Classification of 713 Open Problems (Rei-AIOS Paper 130)

#math #research #lean #classification

12 min read

Mathias Leonhardt

Apr 21

Your Ridge Parameter Is PageRank's Damping Factor (and Why BLAS Beats GPU for Mid-Sized KRR)

#machinelearning #python #math #ai

6 min read

Nobuki Fujimoto

Apr 21

First Lean 4 Formalization of the Davenport Constant D(Z_n) and D(Z2 x Z2): native_decide Certificates with EGZ Bridge (Rei-AIOS Paper 128)

#math #lean #research #combinatorics

11 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.