1. Predavanje o uporabi programa PovRay, ki z metodo sledenja žarkom riše realistične slike, pri poučevanju geometrije in računalniškem ustrvarjanju.

    # vimeo.com/89290886 Uploaded 47 Plays / / 0 Comments Watch in Couch Mode
  2. Ta video smo posneli kot primer lekcije na predavanju "Kako posnamemo video lekcijo brez kamere", ki je bilo 3. februarja 2012 na Fakulteti za matematiko in fiziko, Univerza v Ljubljani.

    # vimeo.com/36422706 Uploaded 146 Plays / / 0 Comments Watch in Couch Mode
  3. # vimeo.com/36428165 Uploaded 177 Plays / / 0 Comments Watch in Couch Mode
  4. In the context of homotopy type theory there are several notions of two spaces being "the same up to equivalence". We investigate three such notions: isomorphism, adjoint equivalence, and equivalence in the sense of contractible homotopy fibers. We explain the relationship between them.

    # vimeo.com/33218969 Uploaded 802 Plays / / 1 Comment Watch in Couch Mode
  5. A talk given at the conference Mathematics and Art in Ljubljana on June 27th, 2011, see gregas.eu/news-and-events/math-art

    # vimeo.com/29362242 Uploaded 116 Plays / / 0 Comments Watch in Couch Mode

Talks

Andrej Bauer Plus

Research and seminar talks by Andrej Bauer, see math.andrej.com/ for the related blog.

Browse This Channel

Shout Box

Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. Channels