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,
Carette, Jacques
Farmer, William M.
and
Laskowski, Patrick
2018.
Interactive Theorem Proving.
Vol. 10895,
Issue. ,
p.
215.
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.
Bertot, Yves
2018.
Theoretical Aspects of Computing – ICTAC 2018.
Vol. 11187,
Issue. ,
p.
3.
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,
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.
Grayson, Daniel
2018.
An introduction to univalent foundations for mathematicians.
Bulletin of the American Mathematical Society,
Vol. 55,
Issue. 4,
p.
427.
Wang, Qingxiang
Kaliszyk, Cezary
and
Urban, Josef
2018.
Intelligent Computer Mathematics.
Vol. 11006,
Issue. ,
p.
255.
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.
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.
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.
Wadler, Philip
2018.
Formal Methods: Foundations and Applications.
Vol. 11254,
Issue. ,
p.
56.
Magron, Victor
Seidler, Henning
and
de Wolff, Timo
2019.
Exact Optimization via Sums of Nonnegative Circuits and Arithmetic-geometric-mean-exponentials.
p.
291.
Huang, Calvin
Kong, Soonho
Gao, Sicun
and
Zufferey, Damien
2019.
Numerical Software Verification.
Vol. 11652,
Issue. ,
p.
85.
Magron, Victor
Safey El Din, Mohab
and
Schweighofer, Markus
2019.
Algorithms for weighted sum of squares decomposition of non-negative univariate polynomials.
Journal of Symbolic Computation,
Vol. 93,
Issue. ,
p.
200.
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.