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.
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.
Celik, Ahmet
Palmskog, Karl
and
Gligoric, Milos
2017.
ICoq: Regression proof selection for large-scale verification projects.
p.
171.
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,
Wadler, Philip
2018.
Formal Methods: Foundations and Applications.
Vol. 11254,
Issue. ,
p.
56.
Wang, Qingxiang
Kaliszyk, Cezary
and
Urban, Josef
2018.
Intelligent Computer Mathematics.
Vol. 11006,
Issue. ,
p.
255.
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.
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.
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.
Bertot, Yves
2018.
Theoretical Aspects of Computing – ICTAC 2018.
Vol. 11187,
Issue. ,
p.
3.
Carette, Jacques
Farmer, William M.
and
Laskowski, Patrick
2018.
Interactive Theorem Proving.
Vol. 10895,
Issue. ,
p.
215.
Palmskog, Karl
Celik, Ahmet
and
Gligoric, Milos
2018.
piCoq: parallel regression proving for large-scale verification projects.
p.
344.
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.
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,
Grayson, Daniel
2018.
An introduction to univalent foundations for mathematicians.
Bulletin of the American Mathematical Society,
Vol. 55,
Issue. 4,
p.
427.
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.
Uluturk, Ismail
Uysal, Ismail
and
Chen, Kwang-Cheng
2019.
Efficient 3D Placement of Access Points in an Aerial Wireless Network.
p.
1.
Smirnov, A. V.
Ponomarev, S. G.
Tarasovskii, V. P.
Rybal’chenko, V. V.
Vasin, A. A.
and
Belov, V. V.
2019.
Hard-Sphere Close-Packing Models: Possible Applications for Developing Promising Ceramic and Refractory Materials (Review).
Glass and Ceramics,
Vol. 75,
Issue. 9-10,
p.
345.
Huang, Calvin
Kong, Soonho
Gao, Sicun
and
Zufferey, Damien
2019.
Numerical Software Verification.
Vol. 11652,
Issue. ,
p.
85.
Magron, Victor
Seidler, Henning
and
de Wolff, Timo
2019.
Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials.
p.
291.