Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Aransay, Jesús
and
Divasón, Jose
2016.
Formalisation of the computation of the echelon form of a matrix in Isabelle/HOL.
Formal Aspects of Computing,
Vol. 28,
Issue. 6,
p.
1005.
Cohn, Henry
Kumar, Abhinav
Miller, Stephen
Radchenko, Danylo
and
Viazovska, Maryna
2017.
The sphere packing problem in dimension $24$.
Annals of Mathematics,
Vol. 185,
Issue. 3,
Celik, Ahmet
Palmskog, Karl
and
Gligoric, Milos
2017.
ICoq: Regression proof selection for large-scale verification projects.
p.
171.
Nord, Ashley L
Gachon, Emilie
Perez-Carrasco, Ruben
Nirody, Jasmine A.
Barducci, Alessandro
Berry, Richard M.
and
Pedaci, Francesco
2017.
Catch bond drives stator mechanosensitivity in the bacterial flagellar motor.
Proceedings of the National Academy of Sciences,
Vol. 114,
Issue. 49,
p.
12952.
Maimbourg, Thibaud
Sellitto, Mauro
Semerjian, Guilhem
and
Zamponi, Francesco
2018.
Generating dense packings of hard spheres by soft interaction design.
SciPost Physics,
Vol. 4,
Issue. 6,
Wadler, Philip
2018.
Formal Methods: Foundations and Applications.
Vol. 11254,
Issue. ,
p.
56.
Carette, Jacques
Farmer, William M.
and
Laskowski, Patrick
2018.
Interactive Theorem Proving.
Vol. 10895,
Issue. ,
p.
215.
Grayson, Daniel
2018.
An introduction to univalent foundations for mathematicians.
Bulletin of the American Mathematical Society,
Vol. 55,
Issue. 4,
p.
427.
Palmskog, Karl
Celik, Ahmet
and
Gligoric, Milos
2018.
piCoq: parallel regression proving for large-scale verification projects.
p.
344.
Bancerek, Grzegorz
Byliński, Czesław
Grabowski, Adam
Korniłowicz, Artur
Matuszewski, Roman
Naumowicz, Adam
and
Pąk, Karol
2018.
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar.
Journal of Automated Reasoning,
Vol. 61,
Issue. 1-4,
p.
9.
Hermosilla, Pedro
Ritschel, Tobias
Vázquez, Pere-Pau
Vinacua, Àlvar
and
Ropinski, Timo
2018.
Monte Carlo convolution for learning on non-uniformly sampled point clouds.
ACM Transactions on Graphics,
Vol. 37,
Issue. 6,
p.
1.
Wang, Qingxiang
Kaliszyk, Cezary
and
Urban, Josef
2018.
Intelligent Computer Mathematics.
Vol. 11006,
Issue. ,
p.
255.
Li, Yusheng
2018.
Optimization for Blob-Based Image Reconstruction With Generalized Kaiser–Bessel Basis Functions.
IEEE Transactions on Computational Imaging,
Vol. 4,
Issue. 2,
p.
257.
Atia, Lior
Bi, Dapeng
Sharma, Yasha
Mitchel, Jennifer A.
Gweon, Bomi
A. Koehler, Stephan
DeCamp, Stephen J.
Lan, Bo
Kim, Jae Hun
Hirsch, Rebecca
Pegoraro, Adrian F.
Lee, Kyu Ha
Starr, Jacqueline R.
Weitz, David A.
Martin, Adam C.
Park, Jin-Ah
Butler, James P.
and
Fredberg, Jeffrey J.
2018.
Geometric constraints during epithelial jamming.
Nature Physics,
Vol. 14,
Issue. 6,
p.
613.
Bertot, Yves
2018.
Theoretical Aspects of Computing – ICTAC 2018.
Vol. 11187,
Issue. ,
p.
3.
Klein, Gerwin
Andronick, June
Fernandez, Matthew
Kuz, Ihor
Murray, Toby
and
Heiser, Gernot
2018.
Formally verified software in the real world.
Communications of the ACM,
Vol. 61,
Issue. 10,
p.
68.
Zhan, Bohua
Ji, Zhenyan
Zhou, Wenfan
Xiang, Chaozhu
Hou, Jie
and
Sun, Wenhui
2019.
Formal Methods and Software Engineering.
Vol. 11852,
Issue. ,
p.
86.
Lewis, Robert Y.
2019.
A formal proof of Hensel's lemma over the p-adic integers.
p.
15.
Uluturk, Ismail
Uysal, Ismail
and
Chen, Kwang-Cheng
2019.
Efficient 3D Placement of Access Points in an Aerial Wireless Network.
p.
1.
Paulson, Lawrence C.
Nipkow, Tobias
and
Wenzel, Makarius
2019.
From LCF to Isabelle/HOL.
Formal Aspects of Computing,
Vol. 31,
Issue. 6,
p.
675.