Talks

Slides from research talks I've given, in reverse chronological order.

2014

Tensors — notions and notations

tensors-141112.pdf (pdf 463 kB)

Västerås, 2014-11-12.

 

Ordering Networks — PROP quasi-orders and ordered PROPs

orderingnw-talk.pdf (pdf 392 kB)

14th International Workshop on Termination (WST) FLoC 2014, VSL, Wien 2014-07-17.

 

Critical Pairs in Network Rewriting

cpnw-talk.pdf (pdf 294 kB)

International Workshop on Confluence (IWC), FLoC/VSL 2014, Wien, 2014-07-13.

 

The eval symbol for axiomatising variadic functions — The list4 content dictionary

eval-talk.pdf (pdf 168 kB)

OpenMath Workshop, Conference on Intelligent Computer Mathematics 2014, Coimbra, 2014-07-07.

 

Literate Sources for Content Dictionaries — A Progress Report

progress2014-talk.pdf (pdf 221 kB)

OpenMath Workshop, Conference on Intelligent Computer Mathematics 2014, Coimbra, 2014-07-07.

 

Beauty in What Lies Beyond

wbem-talk.pdf (pdf 315 kB)

Workshop on Beauty and Explanation in Mathematics (WBEM), Umeå, 2014-03-12.

 

Rewriting and the Diamond Lemma

rewriting-140226.pdf (pdf 353 kB)

Västerås, 2014-02-26.

 

2013

Geometrically saturated growth and self-thinning of tree branches

talk.pdf (pdf 5,7 MB)

Swedish–Indian Workshop on Applied Mathematics, Västerås, 2013-10-21.

 

Literate Sources for Content Dictionaries? — A Work in Progress

literate-talk.pdf (pdf 223 kB)

OpenMath workshop, Conference on Intelligent Computer Mathematics 2013, Bath, 2013-07-10.

 

Quantifiers and n-ary Binders — An OpenMath Standard Enhancement Proposal

lindstrom-talk.pdf (pdf 267 kB)

OpenMath workshop, Conference on Intelligent Computer Mathematics 2013, Bath, 2013-07-10.

 

2012

PROPs defined by generators and relations (In particular the Hopf case)

genrelprops.pdf (pdf 440 kB)

Algebra, Combinatorics, Dynamics, and Applications, Belfast, 2012-08-29.

 

2011

A More General Edge Elimination Polynomial (All Your Polynomials Combined)

omega-talk.pdf (pdf 662 kB)

23rd British Combinatorial Conference (BCC), Exeter, 2013-07-??.