pith. sign in

Arthur F. Ramos

Identifiers

  • name variant Arthur F. Ramos 0.60 · backfill

Papers (14)

  1. Formalizing Singer Sidon Constructions and Sidon Set Infrastructure in Lean 4 math.CO · 2026 · author #2
  2. Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL cs.LO · 2026 · author #2
  3. Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0 cs.LO · 2026 · author #2
  4. Exterior-Model Spinors in Split Rank: Exact Levi Images and Square-Determinant Obstructions math.RA · 2026 · author #1
  5. Pair-Trace Absorption Certificates for Regular Induced Subgraphs math.CO · 2026 · author #1
  6. Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model cs.LO · 2026 · author #2
  7. Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions cs.LO · 2026 · author #2
  8. A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4 math.AC · 2026 · author #1
  9. An alternative approach to the calculation of fundamental groups based on labeled natural deduction cs.LO · 2019 · author #2
  10. On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths cs.LO · 2018 · author #2
  11. On the Use of Computational Paths in Path Spaces of Homotopy Type Theory cs.LO · 2018 · author #1
  12. On Computational Paths and the Fundamental Groupoid of a Type cs.LO · 2015 · author #1
  13. On the Groupoid Model of Computational Paths cs.LO · 2015 · author #1
  14. On the Identity Type as the Type of Computational Paths cs.LO · 2015 · author #1

Mentions

  • 1509.06429 #1 · backfill · confidence 0.70 Arthur F. Ramos
  • 1506.02721 #1 · backfill · confidence 0.70 Arthur F. Ramos
  • 1504.04759 #1 · backfill · confidence 0.70 Arthur F. Ramos

Frequent Coauthors