Complexity of Σ0n-classifications for definable subsets. - Svetlana Aleksandrova; Nikolay Bazhenov 001; Maxim V. Zubkov (Arch. Math. Log., 2023)

XCALibre.jl: A Julia XPU unstructured finite volume Computational Fluid Dynamics library. - Humberto Medina; Christopher D. Ellis; Tom Mazin; Oscar Osborn; Timothy Ward; Stephen Ambrose; Svetlana Aleksandrova; Benjamin Rothwell; Carol Eastwick (J. Open Source Softw., 2025)