Alexander Bentkamp

Homepages 🌐

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

E-Mails 📧

• moc.liamg @pmaktneb

Entries

2018

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

by Alexander Bentkamp 🌐

Oct 19

2016

Expressiveness of Deep Learning

by Alexander Bentkamp 📧

Nov 10

2015

Latin Square

by Alexander Bentkamp 📧

Dec 02

2010

Executable Multivariate Polynomials

by Christian Sternagel 📧, René Thiemann 🌐, Alexander Maletzky 🌐, Fabian Immler 🌐, Florian Haftmann 🌐, Andreas Lochbihler 🌐 and Alexander Bentkamp 📧

Aug 10