621. Issue Information. Issue 6 (9th November 2020) Journal: Computational and mathematical methods Issue: Volume 2:Issue 6(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
622. Kalman Filter Riccati Equation for the Prediction, Estimation, and Smoothing Error Covariance Matrices. (11th December 2013) Authors: Assimakis, Nicholas; Adam, Maria Other Names: Corti D. S. Academic Editor.; Lima F. W. S. Academic Editor.; Ruskin H. J. Academic Editor. Journal: ISRN computational mathematics Issue: Volume 2013(2013) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
623. Knapsack problems in products of groups. (May 2016) Authors: Frenkel, Elizaveta; Nikolaev, Andrey; Ushakov, Alexander Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 96 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
624. Knapsack problems in products of groups. (May 2016) Authors: Frenkel, Elizaveta; Nikolaev, Andrey; Ushakov, Alexander Journal: Journal of symbolic computation Issue: Volume 74(2016) Page Start: 96 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
625. KP solitons from tropical limits. (January 2023) Authors: Agostini, Daniele; Fevola, Claudia; Mandelshtam, Yelena; Sturmfels, Bernd Journal: Journal of symbolic computation Issue: Volume 114(2023) Page Start: 282 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
626. Krandick's proof of Lagrange's real root bound claim. (September 2015) Authors: Collins, George E. Journal: Journal of symbolic computation Issue: Volume 70(2015) Page Start: 106 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
627. Krandick's proof of Lagrange's real root bound claim. (September 2015) Authors: Collins, George E. Journal: Journal of symbolic computation Issue: Volume 70(2015) Page Start: 106 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
628. Laplace Decomposition Method to Study Solitary Wave Solutions of Coupled Nonlinear Partial Differential Equation. (4th September 2012) Authors: Kumar, Arun; Pankaj, Ram Dayal Other Names: Amodio P. Academic Editor.; Heath L. S. Academic Editor. Journal: ISRN computational mathematics Issue: Volume 2012(2012) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
629. Law of the iterated logarithm for estimators of parameters in partially linear errors‐in‐variables models. Issue 3 (17th February 2020) Authors: Wei, Lili Journal: Computational and mathematical methods Issue: Volume 2:Issue 3(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
630. Learning-assisted theorem proving with millions of lemmas. (July 2015) Authors: Kaliszyk, Cezary; Urban, Josef Journal: Journal of symbolic computation Issue: Volume 69(2015) Page Start: 109 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗