Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Title
Author
???browse.menu.advisor???
Issue Date
Subject
???browse.menu.type???
???browse.menu.department???
Help
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Digital Repository at Indian Institute of Science Education and Research Pune
Browsing by ???browse.type.metadata.advisor??? Gadgil, Siddhartha
Jump to a point in the index:
(Choose year)
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1985
1980
1975
1970
1960
1950
(Choose month)
January
February
March
April
May
June
July
August
September
October
November
December
Or type in a year:
Sort by:
issue date
title
submit date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 1 to 2 of 2
Issue Date
Title
Author(s)
Apr-2020
An Overview of Homotopy Type Theory and Formal Methods
Gadgil, Siddhartha
;
NYAPATHI, HARSHA
;
Dept. of Mathematics
;
20151058
May-2023
Proved Algorithms in Geometric Group Theory
Gadgil, Siddhartha
;
TADIPATRI, ANAND RAO
;
Dept. of Mathematics
;
20181122
