pith. sign in

Ruy J. G. B. de Queiroz

Identifiers

  • name variant Ruy J. G. B. de Queiroz 0.60 · backfill

Papers (21)

  1. Formalizing Singer Sidon Constructions and Sidon Set Infrastructure in Lean 4 math.CO · 2026 · author #3
  2. Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL cs.LO · 2026 · author #3
  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 #3
  4. Exterior-Model Spinors in Split Rank: Exact Levi Images and Square-Determinant Obstructions math.RA · 2026 · author #3
  5. Pair-Trace Absorption Certificates for Regular Induced Subgraphs math.CO · 2026 · author #3
  6. Recursive Completion in Higher K-Models: Front-Seed Semantics, Proof-Relevant Witnesses, and the K-Infinity Model cs.LO · 2026 · author #3
  7. Token-Sensitive Enclosure Semantics for Measurement-Bearing Expressions cs.LO · 2026 · author #3
  8. A Prime-Generated Formalization of Nagata's Factoriality Theorem in Lean 4 math.AC · 2026 · author #2
  9. An alternative approach to the calculation of fundamental groups based on labeled natural deduction cs.LO · 2019 · author #3
  10. On the Calculation of Fundamental Groups in Homotopy Type Theory by Means of Computational Paths cs.LO · 2018 · author #3
  11. On the Use of Computational Paths in Path Spaces of Homotopy Type Theory cs.LO · 2018 · author #2
  12. Sequentialization for full N-Graphs via sub-N-Graphs cs.LO · 2018 · author #4
  13. Explicit Computational Paths cs.LO · 2016 · author #2
  14. Formalization of context-free language theory cs.FL · 2015 · author #2
  15. Formalization of the pumping lemma for context-free languages cs.FL · 2015 · author #2
  16. On Computational Paths and the Fundamental Groupoid of a Type cs.LO · 2015 · author #2
  17. Formalization of simplification for context-free grammars cs.FL · 2015 · author #2
  18. Formalization of closure properties for context-free grammars cs.FL · 2015 · author #2
  19. On the Groupoid Model of Computational Paths cs.LO · 2015 · author #2
  20. Context-Free Language Theory Formalization cs.FL · 2015 · author #2
  21. Sequences of Rewrites: A Categorical Interpretation cs.LO · 2014 · author #2

Mentions

  • 1510.09092 #2 · backfill · confidence 0.70 Ruy J. G. B. de Queiroz
  • 1510.04748 #2 · backfill · confidence 0.70 Ruy J. G. B. de Queiroz
  • 1509.06429 #2 · backfill · confidence 0.70 Ruy J. G. B. de Queiroz
  • 1509.02032 #2 · backfill · confidence 0.70 Ruy J. G. B. de Queiroz
  • 1506.03428 #2 · backfill · confidence 0.70 Ruy J. G. B. de Queiroz
  • 1506.02721 #2 · backfill · confidence 0.70 Ruy J. G. B. de Queiroz
  • 1505.00061 #2 · backfill · confidence 0.70 Ruy J. G. B. de Queiroz
  • 1412.2105 #2 · backfill · confidence 0.70 Ruy J. G. B. de Queiroz

Frequent Coauthors