Author:
Bentkamp Alexander,Blanchette Jasmin Christian,Klakow Dietrich
Publisher
Springer International Publishing
Reference34 articles.
1. Bader, B.W., Kolda, T.G.: Algorithm 862: MATLAB tensor classes for fast algorithm prototyping. ACM Trans. Math. Softw. 32(4), 635–653 (2006)
2. Bentkamp, A.: Expressiveness of deep learning. Archive of Formal Proofs (2016).
http://isa-afp.org/entries/Deep_Learning.shtml
. Formal proof development
3. Bentkamp, A.: An Isabelle formalization of the expressiveness of deep learning. M.Sc. thesis, Universität des Saarlandes (2016).
http://matryoshka.gforge.inria.fr/pubs/bentkamp_msc_thesis.pdf
4. Bernard, S., Bertot, Y., Rideau, L., Strub, P.: Formal proofs of transcendence for
$$e$$
and
$$\pi $$
as an application of multivariate and symmetric polynomials. In: Avigad, J., Chlipala, A. (eds.) CPP 2016, pp. 76–87. ACM (2016)
5. Lecture Notes in Computer Science;Y Bertot,2008
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献