Skip to content

Instantly share code, notes, and snippets.

View siddhartha-gadgil's full-sized avatar

Siddhartha Gadgil siddhartha-gadgil

View GitHub Profile
speaker title date time venue
Siddhartha Gadgil and Apoorva Khare (IISc Mathematics)
Eigenfunctions Seminar: Homogeneous length functions on Groups: A polymath adventure
15 January, 2018
4 pm
LH-1, Mathematics Department

Terence Tao posted on his blog a question of Apoorva Khare, asking whether the free group on two generators has a length function $l: F_2 \to\mathbb{R}$ (i.e., satisfying the triangle inequality) which is homogeneous, i.e.,

- author: "Gupta, Subhojoy and Wolf, Michael"
title: "Meromorphic quadratic differentials with complex residues and spiralling foliations"
booktitle: "In the Tradition of Ahlfors--Bers, VII, Contemporary Mathematics"
year: 2017
volume: 696
pages: 153-181
- author: "Rangarajan, G."
title: "Symplectic integration of nonlinear Hamiltonian systems"
journal: "Pramana -- Journal of Physics"
---
title: Publications - Dept of Mathematics, IISc
---
<div class="row">
<div class="col-md-12">
<h2> Publications (by year) </h2>
{% assign years = site.data.pubs | group_by: "year" | sort: 'name' | reverse %}
jan2018:
core1:
- code: MA 213
name: Algebra II
instructor: Abhishek Banerjee
timing: "Tue, Thu: 3:30-5:00"
credits: "3:1"
- code: MA 222
name: Measure and Integration
{% include header.html %}
<h3>{{ page.code }}: {{ page.title }}</h3>
<p>&nbsp;</p>
{% if page.prereqs %}
Pre-requisites : <br>
{{ page.prereqs }}
{% endif %}
<p>&nbsp;</p>
{{ content }}
---
title: Course Catalogue
---
<h2>Course Catalogue</h2>
{% assign sorted = (site.all-courses | sort: 'code') %}
{% for course in sorted %}

title: Algebraic Number Theory code: MA 313 books:

  • author: Artin, E. title: Galois Theory publ: University of Notre Dame Press, 1944
  • author: Borevich, Z. and Shafarevich, I. title: Number Theory publ: Academic Press, New York, 1966
- name: Arvind Ayyer
user-id: arvind
research-areas: Probability, combinatorics, statistical mechanics, mathematical physics, experimental mathematics
phd: Rutgers
phone-ext: 3215
office: X15
- name: Abhishek Banerjee
user-id: abhishek
research-areas: Algebraic geometry, noncommutative geometry
---
title: Faculty Members
---
<div class="col-md-12">
<h2>Faculty members</h2>
<h4>Alphabetically by last name</h4>
<p><b>To send email: <font face="Courier New" size="3">UserID[at]iisc.ac.in</font></b></p>
postulate
extensionality : {A B : Set} → (f g : A → B) → ((x : A) → (f x) == (g x)) → f == g