Alexander Bentkamp

 

Website: https://www.cs.vu.nl/~abp290/

 

Entries

2018

October 19: Formalization of the Embedding Path Order for Lambda-Free Higher-Order Terms

 

2016

November 10: Expressiveness of Deep Learning

 

2015

December 2: Latin Square

 

2010

August 10: Executable Multivariate Polynomials