Amenability and hyperfiniteness for group actions on trees
By Pieter Spaas
Creative telescoping for D-finite functions - Lecture 1
By Christoph Koutschan
Creative telescoping for D-finite functions - Lecture 2
By Christoph Koutschan
Appears in collection : 2014 - T2 - Semantics of proofs and certified mathematics
« Semantics of proofs and certified mathematics » trimester presentation