Suchergebnisse - Sadykov, Rustam
- Treffer 1 - 4 von 4
-
1
On the Mather stability theorem for smooth maps Autoría: Sadykov, Rustam
Veröffentlicht 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
A homotopy invariant of stable maps to oriented surfaces Autoría: Kahmeyer, Liam, Sadykov, Rustam
Veröffentlicht 2022Fuente: arXivTipo de material: PreprintAcceso al recurso -
3
Manturov Projection for Virtual Legendrian Knots in $ST^*F$ Autoría: Chernov, Vladimir, Sadykov, Rustam
Veröffentlicht 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
4
Cache-a-lot: Pushing the Limits of Unsatisfiable Core Reuse in SMT-Based Program Analysis Autoría: Sadykov, Rustam, Abdullin, Azat, Akhin, Marat
Veröffentlicht 2025Fuente: arXivTipo de material: PreprintAcceso al recurso