129 citations · 491 across the 32 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.LO2026
Higher Tripos Theory
Yoshihiro Maruyama
Tripos theory constructs categorical models of higher-order logic from indexed logical data. We develop higher tripos theory and higher tripos-to-topos construction recovering the…
gr-qc2026
Including higher-order modes in a quadrupolar eccentric numerical relativity surrogate using universal eccentric modulation functions
Tousif Islam, Adhrit Ravichandran, Peter James Nee +15
\texttt{gwNRHME} is a framework that converts multi-modal (i.e., containing several spherical harmonic modes) quasi-circular waveforms into their eccentric counterparts, provided t…