2 citations
2 papers
astro-ph.SR2024★ 2 cited
RatanSunPy: A robust preprocessing pipeline for RATAN-600 solar radio observations data
I. Knyazeva, I. Lysov, E. Kurochkin +3
The advancement of observational technologies and software for processing and visualizing spectro-polarimetric microwave data obtained with the RATAN-600 radio telescope opens new…
cs.LO2020
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them
Ekaterina Komendantskaya, Dmitry Rozplokhas, Henning Basold
In sequent calculi, cut elimination is a property that guarantees that any provable formula can be proven analytically. For example, Gentzen's classical and intuitionistic calculi…