Browse by IISc Authors

Gadgil, S and Tadipatri, AR (2024) Formalizing Giles Gardam's Disproof of Kaplansky's Unit Conjecture. In: 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2024, in affiliation with the annual Symposium on Principles of Programming, Languages, ,POPL 2024, 15 - 16 January 2024, London, pp. 177-189.

Gadgil, S and Cane, MA and Francis, PA (2023) On rogue La Niñas, with below-average monsoon rainfall. In: Journal of Earth System Science, 132 (3).

Das, S and Gadgil, S (2023) Surfaces of infinite-type are non-Hopfian Les surfaces de type infini sont non-Hopfian. In: Comptes Rendus Mathematique, 361 . pp. 1349-1356.

Gadgil, S and Tadipatri, A (2022) Euclidean Geometry by High-performance Solvers? In: Resonance, 27 (5). pp. 801-816.

Gadgil, S and Krishnapur, M (2022) Random words in free groups, non-crossing matchings and RNA secondary structures. In: Indian Journal of Pure and Applied Mathematics .

Gadgil, S (2021) Conway, Knots and Groups. In: Resonance, 26 (5). pp. 615-627.

Kulkarni, A and Guhathakurta, P and Patwardhan, S and Gadgil, S (2020) Meteorological sub-divisions of India: Assessment of coherence, homogeneity and recommended redelineation. In: Mausam, 71 (4). pp. 585-604.

Pai, DS and Bandgar, A and Devi, S and Musale, M and Badwaik, MR and Kundale, AP and Gadgil, S and Mohapatra, M and Rajeevan, M (2020) Normal dates of onset/progress and withdrawal of southwest monsoon over india. In: Mausam, 71 (4). pp. 553-570.

Gadgil, S and Francis, PA and Vinayachandran, PN (2019) Summer monsoon of 2019: Understanding the performance so far and speculating about the rest of the season. In: Current Science, 117 (5). pp. 783-793.

Gadgil, S and Rajendran, K and Pai, DS (2019) A new rain-based index for the Indian summer monsoon rainfall. In: Mausam, 70 (3). pp. 485-500.

Gadgil, S (2019) Homogeneous Length Functions on Groups: Intertwined Computer and Human Proofs. In: Journal of Automated Reasoning .

Sanki, B and Gadgil, S (2019) Graphs of systoles on hyperbolic surfaces. In: Journal of Topology and Analysis, 11 (1). pp. 1-20.

Fritz, T and Gadgil, S and Khare, A and Nielsen, PP and Silberman, LA and Tao, T and Polymath, DHJ (2018) Homogeneous length functions on groups. In: Algebra and Number Theory, 12 (7). pp. 1773-1786.