Rabe, Florian; Watt, Stephen M. Extracting theory graphs from Aldor libraries. (English) Zbl 07810743 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 315-320 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{F. Rabe} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 14101, 315--320 (2023; Zbl 07810743) Full Text: DOI
Corless, Robert M.; Jeffrey, David J.; Shakoori, Azar Teaching linear algebra in a mechanized mathematical environment. (English) Zbl 07810727 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 113-129 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{R. M. Corless} et al., Lect. Notes Comput. Sci. 14101, 113--129 (2023; Zbl 07810727) Full Text: DOI arXiv
Caminati, Marco B. Isabelle formalisation of original representation theorems. (English) Zbl 07810726 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 98-112 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{M. B. Caminati}, Lect. Notes Comput. Sci. 14101, 98--112 (2023; Zbl 07810726) Full Text: DOI arXiv
Bracken, Paul Algebraic realizations of the solutions for three quantum mechanical systems. (English) Zbl 07798695 Int. J. Theor. Phys. 62, No. 11, Paper No. 247, 16 p. (2023). MSC: 82Bxx 81-XX 81Vxx PDFBibTeX XMLCite \textit{P. Bracken}, Int. J. Theor. Phys. 62, No. 11, Paper No. 247, 16 p. (2023; Zbl 07798695) Full Text: DOI
Vavilov, N. A. Computers as a novel mathematical reality. II: Waring’s problem. (English) Zbl 07786634 Dokl. Math. 107, No. 3, 143-172 (2023). MSC: 11-03 11P05 11P55 11D85 PDFBibTeX XMLCite \textit{N. A. Vavilov}, Dokl. Math. 107, No. 3, 143--172 (2023; Zbl 07786634) Full Text: DOI
Nagasaka, Kosaku SLRA interpolation for approximate GCD of several multivariate polynomials. (English) Zbl 07760793 Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 470-479 (2023). MSC: 68W30 PDFBibTeX XMLCite \textit{K. Nagasaka}, in: Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24--27, 2023. New York, NY: Association for Computing Machinery (ACM). 470--479 (2023; Zbl 07760793) Full Text: DOI
Brehard, Florent; Poteaux, Adrien; Soudant, Léo Validated root enclosures for interval polynomials with multiplicities. (English) Zbl 07760751 Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 90-99 (2023). MSC: 68W30 PDFBibTeX XMLCite \textit{F. Brehard} et al., in: Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24--27, 2023. New York, NY: Association for Computing Machinery (ACM). 90--99 (2023; Zbl 07760751) Full Text: DOI
Ataeva, O. M.; Serebryakov, V. A.; Tuchkova, N. P. Ontological approach to a knowledge graph construction in a semantic library. (English) Zbl 1528.68399 Lobachevskii J. Math. 44, No. 6, 2229-2239 (2023). MSC: 68V30 68T30 68V35 PDFBibTeX XMLCite \textit{O. M. Ataeva} et al., Lobachevskii J. Math. 44, No. 6, 2229--2239 (2023; Zbl 1528.68399) Full Text: DOI
Pokusiński, Bartłomiej; Kamiński, Marcin Numerical convergence and error analysis for the truncated iterative generalized stochastic perturbation-based Finite element method. (English) Zbl 07737572 Comput. Methods Appl. Mech. Eng. 410, Article ID 115993, 39 p. (2023). MSC: 74-XX 65-XX PDFBibTeX XMLCite \textit{B. Pokusiński} and \textit{M. Kamiński}, Comput. Methods Appl. Mech. Eng. 410, Article ID 115993, 39 p. (2023; Zbl 07737572) Full Text: DOI
Znojil, Miloslav Hybrid form of quantum theory with non-Hermitian Hamiltonians. (English) Zbl 1511.81051 Phys. Lett., A 457, Article ID 128556, 5 p. (2023). MSC: 81Q12 35J10 46C05 18A32 60B15 PDFBibTeX XMLCite \textit{M. Znojil}, Phys. Lett., A 457, Article ID 128556, 5 p. (2023; Zbl 1511.81051) Full Text: DOI arXiv
Müller, Dennis; Kohlhase, Michael Injecting formal mathematics into LaTeX. (English) Zbl 07691298 Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 168-183 (2022). MSC: 68Vxx PDFBibTeX XMLCite \textit{D. Müller} and \textit{M. Kohlhase}, Lect. Notes Comput. Sci. 13467, 168--183 (2022; Zbl 07691298) Full Text: DOI
Ataeva, O. M.; Serebryakov, V. A.; Tuchkova, N. P. Development of the semantic space “mathematics” by integrating a subspace of its applied area. (English) Zbl 1516.68119 Lobachevskii J. Math. 43, No. 12, 3435-3446 (2022). MSC: 68V35 68T30 68V30 PDFBibTeX XMLCite \textit{O. M. Ataeva} et al., Lobachevskii J. Math. 43, No. 12, 3435--3446 (2022; Zbl 1516.68119) Full Text: DOI
Elizarov, A. M.; Kirillovich, A. V.; Lipachev, E. K.; Nevzorova, O. A. \(\text{OntoMath}^{\text{PRO}}\): an ontology of mathematical knowledge. (English. Russian original) Zbl 1512.68435 Dokl. Math. 106, No. 3, 429-435 (2022); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 507, 29-35 (2022). MSC: 68V30 68T30 PDFBibTeX XMLCite \textit{A. M. Elizarov} et al., Dokl. Math. 106, No. 3, 429--435 (2022; Zbl 1512.68435); translation from Dokl. Ross. Akad. Nauk, Mat. Inform. Protsessy Upr. 507, 29--35 (2022) Full Text: DOI
Nagashima, Yutaka Definitional quantifiers realise semantic reasoning for proof by induction. (English) Zbl 1514.68311 Kovács, Laura (ed.) et al., Tests and proofs. 16th international conference, TAP 2022, held as part of STAF 2022, Nantes, France, July 5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13361, 48-66 (2022). MSC: 68V15 PDFBibTeX XMLCite \textit{Y. Nagashima}, Lect. Notes Comput. Sci. 13361, 48--66 (2022; Zbl 1514.68311) Full Text: DOI arXiv
Mezö, István The extension of a functional equation of the Lambert \(W\) function. (English) Zbl 1527.33018 Integral Transforms Spec. Funct. 33, No. 9, 761-765 (2022). Reviewer: Faitori Omer Salem (Tripoli) MSC: 33E99 PDFBibTeX XMLCite \textit{I. Mezö}, Integral Transforms Spec. Funct. 33, No. 9, 761--765 (2022; Zbl 1527.33018) Full Text: DOI
Odessa, Itay; Shufrin, Igor Nonlinear mechanics of fragmented beams. (English) Zbl 07477398 Eur. J. Mech., A, Solids 93, Article ID 104488, 14 p. (2022). MSC: 74-XX PDFBibTeX XMLCite \textit{I. Odessa} and \textit{I. Shufrin}, Eur. J. Mech., A, Solids 93, Article ID 104488, 14 p. (2022; Zbl 07477398) Full Text: DOI
Nagasaka, Kosaku Relaxed NewtonSLRA for approximate GCD. (English) Zbl 07497960 Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 272-292 (2021). MSC: 68W30 PDFBibTeX XMLCite \textit{K. Nagasaka}, Lect. Notes Comput. Sci. 12865, 272--292 (2021; Zbl 07497960) Full Text: DOI
Brandt, Alexander; Moreno Maza, Marc On the complexity and parallel implementation of Hensel’s lemma and Weierstrass preparation. (English) Zbl 1506.13001 Boulier, François (ed.) et al., Computer algebra in scientific computing. 23rd international workshop, CASC 2021, Sochi, Russia, September 13–17, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12865, 78-99 (2021). Reviewer: Amir Hashemi (Isfahan) MSC: 13-04 13F25 68W30 PDFBibTeX XMLCite \textit{A. Brandt} and \textit{M. Moreno Maza}, Lect. Notes Comput. Sci. 12865, 78--99 (2021; Zbl 1506.13001) Full Text: DOI arXiv
Gaál, István Calculating “small” solutions of inhomogeneous relative Thue inequalities. (English) Zbl 1491.11111 Funct. Approximatio, Comment. Math. 65, No. 2, 141-156 (2021). Reviewer: Nikos Tzanakis (Iraklion) MSC: 11Y50 11D41 11D57 11D59 11D75 PDFBibTeX XMLCite \textit{I. Gaál}, Funct. Approximatio, Comment. Math. 65, No. 2, 141--156 (2021; Zbl 1491.11111) Full Text: DOI arXiv
Gutnik, Sergey A.; Sarychev, Vasily A. Symbolic computations of the equilibrium orientations of a system of two connected bodies moving on a circular orbit around the Earth. (English) Zbl 07433041 Math. Comput. Sci. 15, No. 3, 407-417 (2021). MSC: 70-08 PDFBibTeX XMLCite \textit{S. A. Gutnik} and \textit{V. A. Sarychev}, Math. Comput. Sci. 15, No. 3, 407--417 (2021; Zbl 07433041) Full Text: DOI
Bourne, Martin; Winkler, Joab R.; Su, Yi The computation of the greatest common divisor of three bivariate Bernstein polynomials defined in a rectangular domain. (English) Zbl 1472.65021 Appl. Numer. Math. 166, 348-368 (2021). MSC: 65D15 PDFBibTeX XMLCite \textit{M. Bourne} et al., Appl. Numer. Math. 166, 348--368 (2021; Zbl 1472.65021) Full Text: DOI
Gutnik, S. A.; Sarychev, V. A. Symbolic-analytic methods for studying equilibrium orientations of a satellite on a circular orbit. (English. Russian original) Zbl 1476.70083 Program. Comput. Softw. 47, No. 2, 119-123 (2021); translation from Programmirovanie 47, No. 2, 28-33 (2021). MSC: 70M20 70G55 13P10 68W30 PDFBibTeX XMLCite \textit{S. A. Gutnik} and \textit{V. A. Sarychev}, Program. Comput. Softw. 47, No. 2, 119--123 (2021; Zbl 1476.70083); translation from Programmirovanie 47, No. 2, 28--33 (2021) Full Text: DOI
Pérez-Díaz, Sonia; Shen, Li-Yong Inversion, degree, reparametrization and implicitization of improperly parametrized planar curves using \(\mu \)-basis. (English) Zbl 1465.14056 Comput. Aided Geom. Des. 84, Article ID 101957, 14 p. (2021). Reviewer: Franz Winkler (Linz) MSC: 14Q05 65D18 68U07 PDFBibTeX XMLCite \textit{S. Pérez-Díaz} and \textit{L.-Y. Shen}, Comput. Aided Geom. Des. 84, Article ID 101957, 14 p. (2021; Zbl 1465.14056) Full Text: DOI
Moir, Robert H. C.; Corless, Robert M.; Jeffrey, David J. An unwinding number pair for continuous expressions of integrals. (English) Zbl 1481.30025 J. Symb. Comput. 105, 97-117 (2021). MSC: 30E20 65D30 68W30 PDFBibTeX XMLCite \textit{R. H. C. Moir} et al., J. Symb. Comput. 105, 97--117 (2021; Zbl 1481.30025) Full Text: DOI
Nagasaka, Kosaku Toward the best algorithm for approximate GCD of univariate polynomials. (English) Zbl 1475.13050 J. Symb. Comput. 105, 4-27 (2021). MSC: 13P05 68W30 PDFBibTeX XMLCite \textit{K. Nagasaka}, J. Symb. Comput. 105, 4--27 (2021; Zbl 1475.13050) Full Text: DOI
Bourne, Martin; Winkler, Joab R.; Su, Yi An approximate factorisation of three bivariate Bernstein basis polynomials defined in a triangular domain. (English) Zbl 1503.65037 J. Comput. Appl. Math. 390, Article ID 113381, 19 p. (2021). MSC: 65D17 41A10 PDFBibTeX XMLCite \textit{M. Bourne} et al., J. Comput. Appl. Math. 390, Article ID 113381, 19 p. (2021; Zbl 1503.65037) Full Text: DOI Link
Hien D. Nguyen; Sakama, Chiaki A new algorithm for computing least generalization of a set of atoms. (English) Zbl 1511.68313 Kazakov, Dimitar (ed.) et al., Inductive logic programming. 29th international conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11770, 81-97 (2020). MSC: 68V15 68Q42 PDFBibTeX XMLCite \textit{Hien D. Nguyen} and \textit{C. Sakama}, Lect. Notes Comput. Sci. 11770, 81--97 (2020; Zbl 1511.68313) Full Text: DOI
Duan, Qihong; Liu, Junrong Filtering and smoothing formulas of AR \((p)\)-modulated Poisson processes. (English) Zbl 07553267 Commun. Stat., Simulation Comput. 49, No. 6, 1575-1591 (2020). MSC: 62-XX PDFBibTeX XMLCite \textit{Q. Duan} and \textit{J. Liu}, Commun. Stat., Simulation Comput. 49, No. 6, 1575--1591 (2020; Zbl 07553267) Full Text: DOI
Pérez-Díaz, Sonia; Shen, Li-Yong A symbolic-numeric approach for parametrizing ruled surfaces. (English) Zbl 1446.14037 J. Syst. Sci. Complex. 33, No. 3, 799-820 (2020). Reviewer: Franz Winkler (Linz) MSC: 14Q10 PDFBibTeX XMLCite \textit{S. Pérez-Díaz} and \textit{L.-Y. Shen}, J. Syst. Sci. Complex. 33, No. 3, 799--820 (2020; Zbl 1446.14037) Full Text: DOI Link
van der Hoeven, Joris; Lecerf, Grégoire Directed evaluation. (English) Zbl 1475.65013 J. Complexity 60, Article ID 101498, 45 p. (2020). MSC: 65D99 11Y16 12-08 68W30 PDFBibTeX XMLCite \textit{J. van der Hoeven} and \textit{G. Lecerf}, J. Complexity 60, Article ID 101498, 45 p. (2020; Zbl 1475.65013) Full Text: DOI HAL
Bourne, Martin; Winkler, Joab R.; Su, Yi The computation of the degree of the greatest common divisor of three Bernstein basis polynomials. (English) Zbl 1442.13090 J. Comput. Appl. Math. 373, Article ID 112373, 15 p. (2020). MSC: 13P15 33C45 65F99 65H14 PDFBibTeX XMLCite \textit{M. Bourne} et al., J. Comput. Appl. Math. 373, Article ID 112373, 15 p. (2020; Zbl 1442.13090) Full Text: DOI Link
Giesbrecht, Mark; Haraldson, Joseph; Kaltofen, Erich Computing approximate greatest common right divisors of differential polynomials. (English) Zbl 1522.13037 Found. Comput. Math. 20, No. 2, 331-366 (2020). Reviewer: Salah Najib (Khouribga) MSC: 13N10 12-08 13P05 49M15 65L99 PDFBibTeX XMLCite \textit{M. Giesbrecht} et al., Found. Comput. Math. 20, No. 2, 331--366 (2020; Zbl 1522.13037) Full Text: DOI arXiv
Bourne, Martin; Winkler, Joab; Su, Yi The computation of multiple roots of a Bernstein basis polynomial. (English) Zbl 1431.65064 SIAM J. Sci. Comput. 42, No. 1, A452-A476 (2020). MSC: 65H04 12-08 PDFBibTeX XMLCite \textit{M. Bourne} et al., SIAM J. Sci. Comput. 42, No. 1, A452--A476 (2020; Zbl 1431.65064) Full Text: DOI
Gutnik, S. A.; Sarychev, V. A. Application of computer algebra methods to investigate the dynamics of the system of two connected bodies moving along a circular orbit. (English. Russian original) Zbl 1466.70030 Program. Comput. Softw. 45, No. 2, 51-57 (2019); translation from Programmirovanie 45, No. 2, 32-40 (2019). MSC: 70M20 68W30 PDFBibTeX XMLCite \textit{S. A. Gutnik} and \textit{V. A. Sarychev}, Program. Comput. Softw. 45, No. 2, 51--57 (2019; Zbl 1466.70030); translation from Programmirovanie 45, No. 2, 32--40 (2019) Full Text: DOI
Xu, Jun; Sarkar, Santanu; Hu, Lei Revisiting approximate polynomial common divisor problem and noisy multipolynomial reconstruction. (English) Zbl 1456.94119 Hao, Feng (ed.) et al., Progress in cryptology – INDOCRYPT 2019. 20th international conference on cryptology in India, Hyderabad, India, December 15–18, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11898, 398-411 (2019). MSC: 94A60 11A05 11J70 PDFBibTeX XMLCite \textit{J. Xu} et al., Lect. Notes Comput. Sci. 11898, 398--411 (2019; Zbl 1456.94119) Full Text: DOI
Müller, Fabian; Schubotz, Moritz; Teschke, Olaf References to research literature in QA forums – a case study of zbMATH links from MathOverflow. (English) Zbl 1428.68357 Eur. Math. Soc. Newsl. 114, 50-52 (2019). MSC: 68V35 PDFBibTeX XMLCite \textit{F. Müller} et al., Eur. Math. Soc. Newsl. 114, 50--52 (2019; Zbl 1428.68357) Full Text: DOI Backlinks: MO MO
Emiris, Ioannis Z.; Konaxis, Christos; Laroche, Clément Implicit representations of high-codimension varieties. (English) Zbl 1442.65016 Comput. Aided Geom. Des. 74, Article ID 101764, 19 p. (2019). Reviewer: Rob Corless (London) MSC: 65D17 PDFBibTeX XMLCite \textit{I. Z. Emiris} et al., Comput. Aided Geom. Des. 74, Article ID 101764, 19 p. (2019; Zbl 1442.65016) Full Text: DOI Link
Shen, Li-Yong; Pérez-Díaz, Sonia Numerical polynomial reparametrization of rational curves. (English) Zbl 1473.14112 Comput. Aided Geom. Des. 71, 90-104 (2019). Reviewer: Juan Rafael Sendra (Alcalá de Henares) MSC: 14Q05 65D18 PDFBibTeX XMLCite \textit{L.-Y. Shen} and \textit{S. Pérez-Díaz}, Comput. Aided Geom. Des. 71, 90--104 (2019; Zbl 1473.14112) Full Text: DOI Link
Lichtblau, Daniel Approximate polynomial GCD by approximate syzygies. (English) Zbl 1474.13053 Math. Comput. Sci. 13, No. 4, 517-532 (2019). MSC: 13P05 13P10 68W30 68W25 PDFBibTeX XMLCite \textit{D. Lichtblau}, Math. Comput. Sci. 13, No. 4, 517--532 (2019; Zbl 1474.13053) Full Text: DOI
Diehl, Joscha; Reizenstein, Jeremy Invariants of multidimensional time series based on their iterated-integral signature. (English) Zbl 1428.62391 Acta Appl. Math. 164, 83-122 (2019). MSC: 62M10 PDFBibTeX XMLCite \textit{J. Diehl} and \textit{J. Reizenstein}, Acta Appl. Math. 164, 83--122 (2019; Zbl 1428.62391) Full Text: DOI arXiv
Dana-Picard, Thierry Automated study of a regular trifolium. (English) Zbl 1488.51014 Math. Comput. Sci. 13, No. 1-2, 57-67 (2019). MSC: 51M35 68W30 PDFBibTeX XMLCite \textit{T. Dana-Picard}, Math. Comput. Sci. 13, No. 1--2, 57--67 (2019; Zbl 1488.51014) Full Text: DOI
Mokhtari, Fahimeh On the representations and \(\mathbb{Z}_2\)-equivariant normal form for solenoidal Hopf-zero singularities. (English) Zbl 1415.37070 Physica D 386-387, 14-22 (2019). MSC: 37G05 37C80 34C20 PDFBibTeX XMLCite \textit{F. Mokhtari}, Physica D 386--387, 14--22 (2019; Zbl 1415.37070) Full Text: DOI arXiv
Fazzi, Antonio; Guglielmi, Nicola; Markovsky, Ivan An ODE-based method for computing the approximate greatest common divisor of polynomials. (English) Zbl 1433.65076 Numer. Algorithms 81, No. 2, 719-740 (2019). MSC: 65F45 15A24 65K10 11R09 PDFBibTeX XMLCite \textit{A. Fazzi} et al., Numer. Algorithms 81, No. 2, 719--740 (2019; Zbl 1433.65076) Full Text: DOI Link
Znojil, Miloslav Generalized Bose-Hubbard Hamiltonians exhibiting a complete non-Hermitian degeneracy. (English) Zbl 1414.81113 Ann. Phys. 405, 325-339 (2019). MSC: 81Q12 PDFBibTeX XMLCite \textit{M. Znojil}, Ann. Phys. 405, 325--339 (2019; Zbl 1414.81113) Full Text: DOI arXiv
Gaál, István; Jadrijević, Borka; Remete, László Simplest quartic and simplest sextic Thue equations over imaginary quadratic fields. (English) Zbl 1479.11054 Int. J. Number Theory 15, No. 1, 11-27 (2019). Reviewer: Clemens Heuberger (Klagenfurt) MSC: 11D59 11D57 PDFBibTeX XMLCite \textit{I. Gaál} et al., Int. J. Number Theory 15, No. 1, 11--27 (2019; Zbl 1479.11054) Full Text: DOI arXiv
Chan, Eunice Y. S.; Corless, Robert M.; Gonzalez-Vega, Laureano; Sendra, J. Rafael; Sendra, Juana Algebraic linearizations of matrix polynomials. (English) Zbl 1433.15018 Linear Algebra Appl. 563, 373-399 (2019). Reviewer: Edgar Pereira (Natal) MSC: 15A22 15A21 65F60 PDFBibTeX XMLCite \textit{E. Y. S. Chan} et al., Linear Algebra Appl. 563, 373--399 (2019; Zbl 1433.15018) Full Text: DOI arXiv
Li, Zijia; Scharler, Daniel F.; Schröcker, Hans-Peter Factorization results for left polynomials in some associative real algebras: state of the art, applications, and open questions. (English) Zbl 1425.12001 J. Comput. Appl. Math. 349, 508-522 (2019). Reviewer: Eckhard Hitzer (Tokyo) MSC: 12D05 15A66 16S36 30C15 70B15 PDFBibTeX XMLCite \textit{Z. Li} et al., J. Comput. Appl. Math. 349, 508--522 (2019; Zbl 1425.12001) Full Text: DOI arXiv
Gutnik, S. A.; Sarychev, V. A. Application of symbolic computation methods for investigation of stationary motions of an axisymmetric satellite. (English. Russian original) Zbl 1466.70029 Program. Comput. Softw. 44, No. 2, 94-99 (2018); translation from Programmirovanie 44, No. 2, 28-34 (2018). MSC: 70M20 68W30 PDFBibTeX XMLCite \textit{S. A. Gutnik} and \textit{V. A. Sarychev}, Program. Comput. Softw. 44, No. 2, 94--99 (2018; Zbl 1466.70029); translation from Programmirovanie 44, No. 2, 28--34 (2018) Full Text: DOI
Galán-García, José L.; Aguilera-Venegas, Gabriel; Galán-García, María Á.; Rodríguez-Cielos, Pedro; Atencia-Mc. Killop, Iván Improving CAS capabilities: new rules for computing improper integrals. (English) Zbl 1426.26003 Appl. Math. Comput. 316, 525-540 (2018). MSC: 26-08 26A42 68W30 PDFBibTeX XMLCite \textit{J. L. Galán-García} et al., Appl. Math. Comput. 316, 525--540 (2018; Zbl 1426.26003) Full Text: DOI Link
Bancerek, Grzegorz; Byliński, Czesław; Grabowski, Adam; Korniłowicz, Artur; Matuszewski, Roman; Naumowicz, Adam; Pąk, Karol The role of the Mizar mathematical library for interactive proof development in Mizar. (English) Zbl 1433.68530 J. Autom. Reasoning 61, No. 1-4, 9-32 (2018). MSC: 68V15 68V20 68V30 PDFBibTeX XMLCite \textit{G. Bancerek} et al., J. Autom. Reasoning 61, No. 1--4, 9--32 (2018; Zbl 1433.68530) Full Text: DOI
Gaál, István; Remete, László Integral bases and monogenity of the simplest sextic fields. (English) Zbl 1409.11085 Acta Arith. 183, No. 2, 173-183 (2018). Reviewer: Władysław Narkiewicz (Wrocław) MSC: 11R04 11R20 11Y50 PDFBibTeX XMLCite \textit{I. Gaál} and \textit{L. Remete}, Acta Arith. 183, No. 2, 173--183 (2018; Zbl 1409.11085) Full Text: DOI arXiv
Li, Zijia; Schicho, Josef; Schröcker, Hans-Peter Kempe’s universality theorem for rational space curves. (English) Zbl 1430.70006 Found. Comput. Math. 18, No. 2, 509-536 (2018). MSC: 70B05 14H50 65D17 68U07 PDFBibTeX XMLCite \textit{Z. Li} et al., Found. Comput. Math. 18, No. 2, 509--536 (2018; Zbl 1430.70006) Full Text: DOI arXiv
Beckermann, Bernhard; Labahn, George; Matos, Ana C. On rational functions without Froissart doublets. (English) Zbl 1390.41016 Numer. Math. 138, No. 3, 615-633 (2018). Reviewer: Francisco Pérez Acosta (La Laguna) MSC: 41A21 65F22 PDFBibTeX XMLCite \textit{B. Beckermann} et al., Numer. Math. 138, No. 3, 615--633 (2018; Zbl 1390.41016) Full Text: DOI arXiv
Jia, Xiaohong; Shi, Xiaoran; Chen, Falai Survey on the theory and applications of \(\mu\)-bases for rational curves and surfaces. (English) Zbl 1388.13035 J. Comput. Appl. Math. 329, 2-23 (2018). Reviewer: Carlos Hermoso Ortíz (Madrid) MSC: 13D02 13P10 14Q05 14Q10 65D17 68U05 68U07 PDFBibTeX XMLCite \textit{X. Jia} et al., J. Comput. Appl. Math. 329, 2--23 (2018; Zbl 1388.13035) Full Text: DOI
Gutnik, S. A.; Sarychev, V. A. Application of computer algebra methods for investigation of stationary motions of a gyrostat satellite. (English. Russian original) Zbl 1455.70013 Program. Comput. Softw. 43, No. 2, 90-97 (2017); translation from Programmirovanie 43, No. 2, 35-44 (2017). MSC: 70M20 68W30 70-08 13P10 PDFBibTeX XMLCite \textit{S. A. Gutnik} and \textit{V. A. Sarychev}, Program. Comput. Softw. 43, No. 2, 90--97 (2017; Zbl 1455.70013); translation from Programmirovanie 43, No. 2, 35--44 (2017) Full Text: DOI
Müller, Dennis; Gauthier, Thibault; Kaliszyk, Cezary; Kohlhase, Michael; Rabe, Florian Classification of alignments between concepts of formal mathematical systems. (English) Zbl 1367.68309 Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 83-98 (2017). MSC: 68T30 68T15 68U35 PDFBibTeX XMLCite \textit{D. Müller} et al., Lect. Notes Comput. Sci. 10383, 83--98 (2017; Zbl 1367.68309) Full Text: DOI Link
Bouche, Thierry; Labbe, Olivier The new Numdam platform. (English) Zbl 1367.68334 Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 70-82 (2017). MSC: 68U35 PDFBibTeX XMLCite \textit{T. Bouche} and \textit{O. Labbe}, Lect. Notes Comput. Sci. 10383, 70--82 (2017; Zbl 1367.68334) Full Text: DOI
Youssef, Abdou Part-of-math tagging and applications. (English) Zbl 1367.68313 Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 356-374 (2017). MSC: 68T30 68T50 PDFBibTeX XMLCite \textit{A. Youssef}, Lect. Notes Comput. Sci. 10383, 356--374 (2017; Zbl 1367.68313) Full Text: DOI
Guglielmi, Nicola; Markovsky, Ivan An ODE-based method for computing the distance of coprime polynomials to common divisibility. (English) Zbl 1367.65087 SIAM J. Numer. Anal. 55, No. 3, 1456-1482 (2017). MSC: 65K05 90C53 90C30 11A05 PDFBibTeX XMLCite \textit{N. Guglielmi} and \textit{I. Markovsky}, SIAM J. Numer. Anal. 55, No. 3, 1456--1482 (2017; Zbl 1367.65087) Full Text: DOI
Wang, Wei-Guo; Wei, Yimin Mixed and componentwise condition numbers for matrix decompositions. (English) Zbl 1375.65048 Theor. Comput. Sci. 681, 199-216 (2017). MSC: 65F05 15A23 65F35 PDFBibTeX XMLCite \textit{W.-G. Wang} and \textit{Y. Wei}, Theor. Comput. Sci. 681, 199--216 (2017; Zbl 1375.65048) Full Text: DOI
Usevich, Konstantin; Markovsky, Ivan Variable projection methods for approximate (greatest) common divisor computations. (English) Zbl 1375.65062 Theor. Comput. Sci. 681, 176-198 (2017). MSC: 65F30 11A05 11C20 65F20 15B05 65Y20 PDFBibTeX XMLCite \textit{K. Usevich} and \textit{I. Markovsky}, Theor. Comput. Sci. 681, 176--198 (2017; Zbl 1375.65062) Full Text: DOI arXiv
Wu, Wenyuan; Zeng, Zhonggang The numerical factorization of polynomials. (English) Zbl 1454.65031 Found. Comput. Math. 17, No. 1, 259-286 (2017). MSC: 65H04 12-08 13P05 65J20 65F22 PDFBibTeX XMLCite \textit{W. Wu} and \textit{Z. Zeng}, Found. Comput. Math. 17, No. 1, 259--286 (2017; Zbl 1454.65031) Full Text: DOI arXiv
Alhazov, Artiom; Belingheri, Omar; Freund, Rudolf; Ivanov, Sergiu; Porreca, Antonio E.; Zandron, Claudio Purely catalytic P systems over integers and their generative power. (English) Zbl 1483.68106 Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10105, 67-82 (2017). MSC: 68Q07 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Lect. Notes Comput. Sci. 10105, 67--82 (2017; Zbl 1483.68106) Full Text: DOI Link
Bourne, Martin; Winkler, Joab R.; Yi, Su The computation of the degree of an approximate greatest common divisor of two Bernstein polynomials. (English) Zbl 1353.65014 Appl. Numer. Math. 111, 17-35 (2017). MSC: 13P15 33C45 65F99 PDFBibTeX XMLCite \textit{M. Bourne} et al., Appl. Numer. Math. 111, 17--35 (2017; Zbl 1353.65014) Full Text: DOI Link
Gaál, István; Remete, László; Szabó, Tímea Calculating power integral bases by using relative power integral bases. (English) Zbl 1395.11121 Funct. Approximatio, Comment. Math. 54, No. 2, 141-149 (2016). Reviewer: Władysław Narkiewicz (Wrocław) MSC: 11R04 11R20 11Y50 PDFBibTeX XMLCite \textit{I. Gaál} et al., Funct. Approximatio, Comment. Math. 54, No. 2, 141--149 (2016; Zbl 1395.11121) Full Text: DOI arXiv Euclid
Aprahamian, Mary; Higham, Nicholas J. Matrix inverse trigonometric and inverse hyperbolic functions: theory and algorithms. (English) Zbl 1388.15012 SIAM J. Matrix Anal. Appl. 37, No. 4, 1453-1477 (2016). MSC: 15A24 65F30 65F60 PDFBibTeX XMLCite \textit{M. Aprahamian} and \textit{N. J. Higham}, SIAM J. Matrix Anal. Appl. 37, No. 4, 1453--1477 (2016; Zbl 1388.15012) Full Text: DOI
Ginev, Deyan; Iancu, Mihnea; Jucovshi, Constantin; Kohlhase, Andrea; Kohlhase, Michael; Oripov, Akbar; Schefter, Jürgen; Sperber, Wolfram; Teschke, Olaf; Wiesing, Tom The SMGloM project and system: towards a terminology and ontology for mathematics. (English) Zbl 1434.68649 Greuel, Gert-Martin (ed.) et al., Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9725, 451-457 (2016). MSC: 68V30 68T30 PDFBibTeX XMLCite \textit{D. Ginev} et al., Lect. Notes Comput. Sci. 9725, 451--457 (2016; Zbl 1434.68649) Full Text: DOI
Petković, Ivan; Neta, Beny On an application of symbolic computation and computer graphics to root-finders: the case of multiple roots of unknown multiplicity. (English) Zbl 1346.65022 J. Comput. Appl. Math. 308, 215-230 (2016). MSC: 65H05 65D18 68W30 PDFBibTeX XMLCite \textit{I. Petković} and \textit{B. Neta}, J. Comput. Appl. Math. 308, 215--230 (2016; Zbl 1346.65022) Full Text: DOI
Schost, Éric; Spaenlehauer, Pierre-Jean A quadratically convergent algorithm for structured low-rank approximation. (English) Zbl 1347.65080 Found. Comput. Math. 16, No. 2, 457-492 (2016). Reviewer: Michael Jung (Dresden) MSC: 65F30 65Y20 15A83 65F10 PDFBibTeX XMLCite \textit{É. Schost} and \textit{P.-J. Spaenlehauer}, Found. Comput. Math. 16, No. 2, 457--492 (2016; Zbl 1347.65080) Full Text: DOI arXiv
Winkler, Joab R. Polynomial computations for blind image deconvolution. (English) Zbl 1357.68285 Linear Algebra Appl. 502, 77-103 (2016). MSC: 68U10 94A08 PDFBibTeX XMLCite \textit{J. R. Winkler}, Linear Algebra Appl. 502, 77--103 (2016; Zbl 1357.68285) Full Text: DOI
Sendra, J. Rafael; Sendra, Juana Symbolic computation of Drazin inverses by specializations. (English) Zbl 1382.15007 J. Comput. Appl. Math. 301, 201-212 (2016). MSC: 15A09 68W30 13P10 30B10 30D30 PDFBibTeX XMLCite \textit{J. R. Sendra} and \textit{J. Sendra}, J. Comput. Appl. Math. 301, 201--212 (2016; Zbl 1382.15007) Full Text: DOI
MacLean, Scott; Labahn, George A Bayesian model for recognizing handwritten mathematical expressions. (English) Zbl 1394.68341 Pattern Recognition 48, No. 8, 2433-2445 (2015). MSC: 68T10 PDFBibTeX XMLCite \textit{S. MacLean} and \textit{G. Labahn}, Pattern Recognition 48, No. 8, 2433--2445 (2015; Zbl 1394.68341) Full Text: DOI arXiv
Korniłowicz, Artur Flexary connectives in Mizar. (English) Zbl 1387.68207 Comput. Lang. Syst. Struct. 44, Part C, 238-250 (2015). MSC: 68T15 03B35 PDFBibTeX XMLCite \textit{A. Korniłowicz}, Comput. Lang. Syst. Struct. 44, Part C, 238--250 (2015; Zbl 1387.68207) Full Text: DOI
Alcázar, Juan Gerardo; Hermoso, Carlos; Muntingh, Georg Symmetry detection of rational space curves from their curvature and torsion. (English) Zbl 1375.65020 Comput. Aided Geom. Des. 33, 51-65 (2015). MSC: 65D17 68T10 14Q05 14H50 PDFBibTeX XMLCite \textit{J. G. Alcázar} et al., Comput. Aided Geom. Des. 33, 51--65 (2015; Zbl 1375.65020) Full Text: DOI arXiv Link
İçen, Duygu; Bacanlı, Sevil Hypothesis testing for the mean of inverse Gaussian distribution using \(\alpha \)-cuts. (English) Zbl 1349.62090 Soft Comput. 19, No. 1, 113-119 (2015). MSC: 62F86 62F03 62F25 PDFBibTeX XMLCite \textit{D. İçen} and \textit{S. Bacanlı}, Soft Comput. 19, No. 1, 113--119 (2015; Zbl 1349.62090) Full Text: DOI
Winkler, Joab R. The Sylvester resultant matrix and image deblurring. (English) Zbl 1360.65078 Boissonnat, Jean-Daniel (ed.) et al., Curves and surfaces. 8th international conference, Paris, France, June 12–18, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-22803-7/pbk; 978-3-319-22804-4/ebook). Lecture Notes in Computer Science 9213, 461-490 (2015). MSC: 65D18 PDFBibTeX XMLCite \textit{J. R. Winkler}, Lect. Notes Comput. Sci. 9213, 461--490 (2015; Zbl 1360.65078) Full Text: DOI Link
Feng, Yong; Wu, Wenyuan; Zhang, Jingzhong; Chen, Jingwei Exact bivariate polynomial factorization over \(\mathbb Q\) by approximation of roots. (English) Zbl 1328.65108 J. Syst. Sci. Complex. 28, No. 1, 243-260 (2015). MSC: 65H04 PDFBibTeX XMLCite \textit{Y. Feng} et al., J. Syst. Sci. Complex. 28, No. 1, 243--260 (2015; Zbl 1328.65108) Full Text: DOI
Beckermann, Bernhard; Matos, Ana C. Algebraic properties of robust Padé approximants. (English) Zbl 1311.41009 J. Approx. Theory 190, 91-115 (2015). Reviewer: Marcel G. de Bruin (Haarlem) MSC: 41A21 65F22 PDFBibTeX XMLCite \textit{B. Beckermann} and \textit{A. C. Matos}, J. Approx. Theory 190, 91--115 (2015; Zbl 1311.41009) Full Text: DOI arXiv
Ruatta, Olivier; Sciabica, Mark; Szanto, Agnes Overdetermined Weierstrass iteration and the nearest consistent system. (English) Zbl 1310.65044 Theor. Comput. Sci. 562, 346-364 (2015). MSC: 65F20 13P15 PDFBibTeX XMLCite \textit{O. Ruatta} et al., Theor. Comput. Sci. 562, 346--364 (2015; Zbl 1310.65044) Full Text: DOI arXiv
Shen, Li-Yong; Pérez-Díaz, Sonia Numerical proper reparametrization of parametric plane curves. (English) Zbl 1302.65049 J. Comput. Appl. Math. 277, 138-161 (2015). MSC: 65D17 PDFBibTeX XMLCite \textit{L.-Y. Shen} and \textit{S. Pérez-Díaz}, J. Comput. Appl. Math. 277, 138--161 (2015; Zbl 1302.65049) Full Text: DOI arXiv
Bracken, Paul Motion on constant curvature spaces and quantization using Noether symmetries. (English) Zbl 1361.81081 Chaos 24, No. 4, 043128, 7 p. (2014). MSC: 81S10 81Q80 81R05 PDFBibTeX XMLCite \textit{P. Bracken}, Chaos 24, No. 4, 043128, 7 p. (2014; Zbl 1361.81081) Full Text: DOI arXiv
Xiaobin, Li; Shuangxi, Xu; Weiguo, Wu; Jun, Li An exact dynamic stiffness matrix for axially loaded double-beam systems. (English) Zbl 1322.74037 Sādhanā 39, No. 3, 607-623 (2014). MSC: 74K10 74H45 PDFBibTeX XMLCite \textit{L. Xiaobin} et al., Sādhanā 39, No. 3, 607--623 (2014; Zbl 1322.74037) Full Text: DOI Link
Hauenstein, Jonathan D.; Sottile, Frank Newton polytopes and witness sets. (English) Zbl 1304.14077 Math. Comput. Sci. 8, No. 2, 235-251 (2014). Reviewer: Anargyros Katsabekis (Lamia) MSC: 14Q15 65H10 PDFBibTeX XMLCite \textit{J. D. Hauenstein} and \textit{F. Sottile}, Math. Comput. Sci. 8, No. 2, 235--251 (2014; Zbl 1304.14077) Full Text: DOI arXiv
Li, Zhe; Liu, Qi A heuristic verification of the degree of the approximate GCD of two univariate polynomials. (English) Zbl 1302.68333 Numer. Algorithms 67, No. 2, 319-334 (2014). MSC: 68W30 65H04 13P05 11A05 PDFBibTeX XMLCite \textit{Z. Li} and \textit{Q. Liu}, Numer. Algorithms 67, No. 2, 319--334 (2014; Zbl 1302.68333) Full Text: DOI
Lévai, Géza; Ružička, František; Znojil, Miloslav Three solvable matrix models of a quantum catastrophe. (English) Zbl 1297.81071 Int. J. Theor. Phys. 53, No. 9, 2875-2890 (2014). MSC: 81Q05 81Q12 PDFBibTeX XMLCite \textit{G. Lévai} et al., Int. J. Theor. Phys. 53, No. 9, 2875--2890 (2014; Zbl 1297.81071) Full Text: DOI arXiv
Barrowclough, Oliver J. D. A basis for the implicit representation of planar rational cubic Bézier curves. (English) Zbl 1293.65024 Comput. Aided Geom. Des. 31, No. 3-4, 148-167 (2014). MSC: 65D17 PDFBibTeX XMLCite \textit{O. J. D. Barrowclough}, Comput. Aided Geom. Des. 31, No. 3--4, 148--167 (2014; Zbl 1293.65024) Full Text: DOI arXiv
Batselier, Kim; Dreesen, Philippe; De Moor, Bart A fast recursive orthogonalization scheme for the Macaulay matrix. (English) Zbl 1293.65064 J. Comput. Appl. Math. 267, 20-32 (2014). MSC: 65F25 65F50 15A18 PDFBibTeX XMLCite \textit{K. Batselier} et al., J. Comput. Appl. Math. 267, 20--32 (2014; Zbl 1293.65064) Full Text: DOI
Christou, D.; Karcanias, N.; Mitrouli, M. Matrix representation of the shifting operation and numerical properties of the ERES method for computing the greatest common divisor of sets of many polynomials. (English) Zbl 1293.12007 J. Comput. Appl. Math. 260, 54-67 (2014). MSC: 12Y05 13P05 65H99 68W30 PDFBibTeX XMLCite \textit{D. Christou} et al., J. Comput. Appl. Math. 260, 54--67 (2014; Zbl 1293.12007) Full Text: DOI
Rueda, Sonia L.; Sendra, Juana; Sendra, J. Rafael Rational Hausdorff divisors: a new approach to the approximate parametrization of curves. (English) Zbl 1302.14049 J. Comput. Appl. Math. 263, 445-465 (2014). MSC: 14Q05 14C20 PDFBibTeX XMLCite \textit{S. L. Rueda} et al., J. Comput. Appl. Math. 263, 445--465 (2014; Zbl 1302.14049) Full Text: DOI arXiv
López, Hiram H.; Villarreal, Rafael H. Computing the degree of a lattice ideal of dimension one. (English) Zbl 1322.13009 J. Symb. Comput. 65, 15-28 (2014). MSC: 13F20 13D40 PDFBibTeX XMLCite \textit{H. H. López} and \textit{R. H. Villarreal}, J. Symb. Comput. 65, 15--28 (2014; Zbl 1322.13009) Full Text: DOI arXiv Link
Belhaj, Skander Computing the polynomial remainder sequence via Bézout matrices. (English) Zbl 1285.65022 J. Comput. Appl. Math. 250, 244-255 (2013). MSC: 65F30 PDFBibTeX XMLCite \textit{S. Belhaj}, J. Comput. Appl. Math. 250, 244--255 (2013; Zbl 1285.65022) Full Text: DOI
Znojil, Miloslav Solvable model of quantum phase transitions and the symbolic-manipulation-based study of its multiply degenerate exceptional points and of their unfolding. (English) Zbl 1286.81103 Ann. Phys. 336, 98-111 (2013). MSC: 81Q80 81Q12 81T80 82B26 PDFBibTeX XMLCite \textit{M. Znojil}, Ann. Phys. 336, 98--111 (2013; Zbl 1286.81103) Full Text: DOI arXiv
van der Hoeven, Joris Guessing singular dependencies. (English) Zbl 1290.30001 J. Symb. Comput. 59, 54-80 (2013). Reviewer: Adhemar Bultheel (Leuven) MSC: 30B40 PDFBibTeX XMLCite \textit{J. van der Hoeven}, J. Symb. Comput. 59, 54--80 (2013; Zbl 1290.30001) Full Text: DOI
Fassino, Claudia; Torrente, Maria-Laura Simple varieties for limited precision points. (English) Zbl 1291.65081 Theor. Comput. Sci. 479, 174-186 (2013). MSC: 65D99 68W30 13P15 26C10 PDFBibTeX XMLCite \textit{C. Fassino} and \textit{M.-L. Torrente}, Theor. Comput. Sci. 479, 174--186 (2013; Zbl 1291.65081) Full Text: DOI arXiv
Terui, Akira GPGCD: an iterative method for calculating approximate GCD of univariate polynomials. (English) Zbl 1291.65162 Theor. Comput. Sci. 479, 127-149 (2013). MSC: 65H10 12Y05 12E05 68W30 PDFBibTeX XMLCite \textit{A. Terui}, Theor. Comput. Sci. 479, 127--149 (2013; Zbl 1291.65162) Full Text: DOI arXiv
Emiris, Ioannis Z.; Kalinka, Tatjana; Konaxis, Christos; Luu Ba Thang Implicitization of curves and (hyper)surfaces using predicted support. (English) Zbl 1297.68272 Theor. Comput. Sci. 479, 81-98 (2013). Reviewer: Georg Muntingh (Oslo) MSC: 68W30 13P15 14Q05 14Q10 PDFBibTeX XMLCite \textit{I. Z. Emiris} et al., Theor. Comput. Sci. 479, 81--98 (2013; Zbl 1297.68272) Full Text: DOI
Corless, Robert M. Pseudospectra of exponential matrix polynomials. (English) Zbl 1291.15020 Theor. Comput. Sci. 479, 70-80 (2013). MSC: 15A18 15A54 65F15 65F60 PDFBibTeX XMLCite \textit{R. M. Corless}, Theor. Comput. Sci. 479, 70--80 (2013; Zbl 1291.15020) Full Text: DOI
Lichtblau, Daniel Approximate Gröbner bases, overdetermined polynomial systems, and approximate GCDs. (English) Zbl 1285.13036 ISRN Comput. Math. 2013, Article ID 352806, 12 p. (2013). Reviewer: Amir Hashemi (Isfahan) MSC: 13P10 65Y04 PDFBibTeX XMLCite \textit{D. Lichtblau}, ISRN Comput. Math. 2013, Article ID 352806, 12 p. (2013; Zbl 1285.13036) Full Text: DOI
Chèze, Guillaume A recombination algorithm for the decomposition of multivariate rational functions. (English) Zbl 1336.12002 Math. Comput. 82, No. 283, 1793-1812 (2013). MSC: 12Y05 68W30 12D05 PDFBibTeX XMLCite \textit{G. Chèze}, Math. Comput. 82, No. 283, 1793--1812 (2013; Zbl 1336.12002) Full Text: DOI arXiv
Batselier, Kim; Dreesen, Philippe; De Moor, Bart A geometrical approach to finding multivariate approximate LCMs and GCDs. (English) Zbl 1337.65033 Linear Algebra Appl. 438, No. 9, 3618-3628 (2013). MSC: 65F20 15A42 65F35 65F50 PDFBibTeX XMLCite \textit{K. Batselier} et al., Linear Algebra Appl. 438, No. 9, 3618--3628 (2013; Zbl 1337.65033) Full Text: DOI