Mathematics
and Interactions
-
Videos linked to Symbolic ComputationMore +
![Polyhedral sets, lattice points, optimizing compilers and computer algebra - lecture 2]()
01:22:23published on April 4, 2025Polyhedral sets, lattice points, optimizing compilers and computer algebra - lecture 2
By Marc Moreno Maza
![Polyhedral sets, lattice points, optimizing compilers and computer algebra - lecture 1]()
01:26:46published on April 4, 2025Polyhedral sets, lattice points, optimizing compilers and computer algebra - lecture 1
By Marc Moreno Maza
![Algorithmic methods for enumerative combinatorics - lecture 2]()
01:16:04published on March 31, 2025Algorithmic methods for enumerative combinatorics - lecture 2
By Christoph Koutschan
![Algorithmic methods for enumerative combinatorics - lecture 1]()
01:14:19published on March 31, 2025Algorithmic methods for enumerative combinatorics - lecture 1
By Christoph Koutschan
![Summation theory of difference rings and applications - lecture 3]()
59:39published on March 13, 2025Summation theory of difference rings and applications - lecture 3
By Carsten Schneider
![Summation theory of difference rings and applications - lecture 2]()
01:03:17published on March 13, 2025Summation theory of difference rings and applications - lecture 2
By Carsten Schneider
![Summation theory of difference rings and applications - lecture 1]()
01:03:31published on March 13, 2025Summation theory of difference rings and applications - lecture 1
By Carsten Schneider
