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
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
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
Nagasaka, Kosaku Approximate polynomial GCD over integers. (English) Zbl 1248.11104 J. Symb. Comput. 46, No. 12, 1306-1317 (2011). MSC: 11Y16 68W20 65D99 11C08 PDFBibTeX XMLCite \textit{K. Nagasaka}, J. Symb. Comput. 46, No. 12, 1306--1317 (2011; Zbl 1248.11104) Full Text: DOI
Adrovic, Danko; Verschelde, Jan Tropical algebraic geometry in Maple: a preprocessing algorithm for finding common factors for multivariate polynomials with approximate coefficients. (English) Zbl 1225.14050 J. Symb. Comput. 46, No. 7, 755-772 (2011). Reviewer: Carlos D’Andrea (Barcelona) MSC: 14T05 14Q05 68W30 PDFBibTeX XMLCite \textit{D. Adrovic} and \textit{J. Verschelde}, J. Symb. Comput. 46, No. 7, 755--772 (2011; Zbl 1225.14050) Full Text: DOI arXiv
Corless, Robert M.; Gatermann, Karin; Kotsireas, Ilias S. Using symmetries in the eigenvalue method for polynomial systems. (English) Zbl 1174.14053 J. Symb. Comput. 44, No. 11, 1536-1550 (2009). Reviewer: Gerhard Pfister (Kaiserslautern) MSC: 14Q99 13P10 PDFBibTeX XMLCite \textit{R. M. Corless} et al., J. Symb. Comput. 44, No. 11, 1536--1550 (2009; Zbl 1174.14053) Full Text: DOI
Sekigawa, Hiroshi On real factors of real interval polynomials. (English) Zbl 1188.68369 J. Symb. Comput. 44, No. 7, 908-922 (2009). MSC: 68W30 13P05 11Y05 PDFBibTeX XMLCite \textit{H. Sekigawa}, J. Symb. Comput. 44, No. 7, 908--922 (2009; Zbl 1188.68369) Full Text: DOI
Giesbrecht, Mark; Labahn, George; Lee, Wen-Shin Symbolic-numeric sparse interpolation of multivariate polynomials. (English) Zbl 1167.65003 J. Symb. Comput. 44, No. 8, 943-959 (2009). Reviewer: Martin D. Buhmann (Gießen) MSC: 65D05 74A05 41A63 68W30 PDFBibTeX XMLCite \textit{M. Giesbrecht} et al., J. Symb. Comput. 44, No. 8, 943--959 (2009; Zbl 1167.65003) Full Text: DOI
Pope, Scott R.; Szanto, Agnes Nearest multivariate system with given root multiplicities. (English) Zbl 1168.65347 J. Symb. Comput. 44, No. 6, 606-625 (2009). MSC: 65H10 13P15 68W30 PDFBibTeX XMLCite \textit{S. R. Pope} and \textit{A. Szanto}, J. Symb. Comput. 44, No. 6, 606--625 (2009; Zbl 1168.65347) Full Text: DOI
Busé, Laurent; Elkadi, Mohamed; Galligo, André A computational study of ruled surfaces. (English) Zbl 1222.14081 J. Symb. Comput. 44, No. 3, 232-241 (2009). MSC: 14J26 14Q10 13D02 PDFBibTeX XMLCite \textit{L. Busé} et al., J. Symb. Comput. 44, No. 3, 232--241 (2009; Zbl 1222.14081) Full Text: DOI Link
Kaltofen, Erich; May, John P.; Yang, Zhengfeng; Zhi, Lihong Approximate factorization of multivariate polynomials using singular value decomposition. (English) Zbl 1135.12003 J. Symb. Comput. 43, No. 5, 359-376 (2008). MSC: 12Y05 68W30 PDFBibTeX XMLCite \textit{E. Kaltofen} et al., J. Symb. Comput. 43, No. 5, 359--376 (2008; Zbl 1135.12003) Full Text: DOI Link
Szanto, Agnes [Chardin, Marc] Solving over-determined systems by the subresultant method (with an appendix by Marc Chardin). (English) Zbl 1132.13312 J. Symb. Comput. 43, No. 1, 46-74 (2008). MSC: 13P99 68W30 PDFBibTeX XMLCite \textit{A. Szanto}, J. Symb. Comput. 43, No. 1, 46--74 (2008; Zbl 1132.13312) Full Text: DOI
Chèze, Guillaume; Galligo, André From an approximate to an exact absolute polynomial factorization. (English) Zbl 1134.13022 J. Symb. Comput. 41, No. 6, 682-696 (2006). Reviewer: Salah Najib (Lille) MSC: 13P05 12D05 12E05 12Y05 68Q25 68W30 68W40 PDFBibTeX XMLCite \textit{G. Chèze} and \textit{A. Galligo}, J. Symb. Comput. 41, No. 6, 682--696 (2006; Zbl 1134.13022) Full Text: DOI
Szilágyi, Ibolya; Jüttler, Bert; Schicho, Josef Local parametrization of cubic surfaces. (English) Zbl 1123.14033 J. Symb. Comput. 41, No. 1, 30-48 (2006). MSC: 14Q10 65D17 PDFBibTeX XMLCite \textit{I. Szilágyi} et al., J. Symb. Comput. 41, No. 1, 30--48 (2006; Zbl 1123.14033) Full Text: DOI
Schicho, Josef; Szilágyi, Ibolya Numerical stability of surface implicitization. (English) Zbl 1124.65017 J. Symb. Comput. 40, No. 6, 1291-1301 (2005). MSC: 65D17 PDFBibTeX XMLCite \textit{J. Schicho} and \textit{I. Szilágyi}, J. Symb. Comput. 40, No. 6, 1291--1301 (2005; Zbl 1124.65017) Full Text: DOI
Delahaye, David; Mayero, Micaela Dealing with algebraic expressions over a field in Coq using Maple. (English) Zbl 1126.68101 J. Symb. Comput. 39, No. 5, 569-592 (2005). MSC: 68W30 68T15 PDFBibTeX XMLCite \textit{D. Delahaye} and \textit{M. Mayero}, J. Symb. Comput. 39, No. 5, 569--592 (2005; Zbl 1126.68101) Full Text: DOI
Gottliebsen, Hanne; Kelsey, Tom; Martin, Ursula Hidden verification for computational mathematics. (English) Zbl 1126.68103 J. Symb. Comput. 39, No. 5, 539-567 (2005). MSC: 68W30 68T15 PDFBibTeX XMLCite \textit{H. Gottliebsen} et al., J. Symb. Comput. 39, No. 5, 539--567 (2005; Zbl 1126.68103) Full Text: DOI
Beeson, Michael; Wiedijk, Freek The meaning of infinity in calculus and computer algebra systems. (English) Zbl 1126.68099 J. Symb. Comput. 39, No. 5, 523-538 (2005). MSC: 68W30 PDFBibTeX XMLCite \textit{M. Beeson} and \textit{F. Wiedijk}, J. Symb. Comput. 39, No. 5, 523--538 (2005; Zbl 1126.68099) Full Text: DOI
Armando, Alessandro; Ballarin, Clemens A reconstruction and extension of Maple’s assume facility via constraint contextual rewriting. (English) Zbl 1126.68098 J. Symb. Comput. 39, No. 5, 503-521 (2005). MSC: 68W30 68Q42 PDFBibTeX XMLCite \textit{A. Armando} and \textit{C. Ballarin}, J. Symb. Comput. 39, No. 5, 503--521 (2005; Zbl 1126.68098) Full Text: DOI
Wang, Dongming A simple method for implicitizing rational curves and surfaces. (English) Zbl 1137.65322 J. Symb. Comput. 38, No. 1, 899-914 (2004). MSC: 65D17 14Q10 68W30 PDFBibTeX XMLCite \textit{D. Wang}, J. Symb. Comput. 38, No. 1, 899--914 (2005; Zbl 1137.65322) Full Text: DOI
Rupprecht, David Semi-numerical absolute factorization of polynomials with integer coefficients. (English) Zbl 1137.13314 J. Symb. Comput. 37, No. 5, 557-574 (2004). MSC: 13P05 11Y16 PDFBibTeX XMLCite \textit{D. Rupprecht}, J. Symb. Comput. 37, No. 5, 557--574 (2004; Zbl 1137.13314) Full Text: DOI
Johnson, Jeremy R.; Breitzman, Anthony F. Automatic derivation and implementation of fast convolution algorithms. (English) Zbl 1074.68079 J. Symb. Comput. 37, No. 2, 261-293 (2004). MSC: 68W30 94A12 PDFBibTeX XMLCite \textit{J. R. Johnson} and \textit{A. F. Breitzman}, J. Symb. Comput. 37, No. 2, 261--293 (2004; Zbl 1074.68079) Full Text: DOI
Mulders, T.; Storjohann, A. On lattice reduction for polynomial matrices. (English) Zbl 1028.65038 J. Symb. Comput. 35, No. 4, 377-401 (2003). Reviewer: Hang Tong Lau (St.Laurent/Quebec) MSC: 65F30 15A21 65F40 15A54 15A06 PDFBibTeX XMLCite \textit{T. Mulders} and \textit{A. Storjohann}, J. Symb. Comput. 35, No. 4, 377--401 (2003; Zbl 1028.65038) Full Text: DOI
Galligo, André; Rupprecht, David Irreducible decomposition of curves. (English) Zbl 1011.14018 J. Symb. Comput. 33, No. 5, 661-677 (2002). Reviewer: T.G.Berry (Miami Florida) MSC: 14Q05 14H50 14Q10 PDFBibTeX XMLCite \textit{A. Galligo} and \textit{D. Rupprecht}, J. Symb. Comput. 33, No. 5, 661--677 (2002; Zbl 1011.14018) Full Text: DOI
Caprotti, Olga; Oostdijk, Martijn Formal and efficient primality proofs by use of computer algebra oracles. (English) Zbl 1044.03503 J. Symb. Comput. 32, No. 1-2, 55-70 (2001). MSC: 03B35 11Y11 68W30 68T15 94A60 PDFBibTeX XMLCite \textit{O. Caprotti} and \textit{M. Oostdijk}, J. Symb. Comput. 32, No. 1--2, 55--70 (2001; Zbl 1044.03503) Full Text: DOI
Caprotti, O.; Cohen, A. M. On the role of OpenMath in interactive mathematical documents. (English) Zbl 0981.68185 J. Symb. Comput. 32, No. 4, 351-364 (2001). MSC: 68W30 68T99 PDFBibTeX XMLCite \textit{O. Caprotti} and \textit{A. M. Cohen}, J. Symb. Comput. 32, No. 4, 351--364 (2001; Zbl 0981.68185) Full Text: DOI
Kaltofen, Erich Challenges of symbolic computation: My favorite open problems. With an additional open problem by Robert M. Corless and David J. Jeffrey. (English) Zbl 0963.68234 J. Symb. Comput. 29, No. 6, 891-919 (2000). MSC: 68W30 PDFBibTeX XMLCite \textit{E. Kaltofen}, J. Symb. Comput. 29, No. 6, 891--919 (2000; Zbl 0963.68234) Full Text: DOI
Foupouagnigni, Mama; Hounkonnou, M. Norbert; Ronveaux, André The fourth-order difference equation satisfied by the associated orthogonal polynomials of the \(\Delta\)-Laguerre-Hahn class. (English) Zbl 0948.65140 J. Symb. Comput. 28, No. 6, 801-818 (1999). Reviewer: Costică Moroşanu (Iaşi) MSC: 65Q05 39A10 33C45 PDFBibTeX XMLCite \textit{M. Foupouagnigni} et al., J. Symb. Comput. 28, No. 6, 801--818 (1999; Zbl 0948.65140) Full Text: DOI
Yang, Lu Recent advances on determining the number of real roots of parametric polynomials. (English) Zbl 0957.65041 J. Symb. Comput. 28, No. 1-2, 225-242 (1999). Reviewer: H.Kriete (Göttingen) MSC: 65H05 12Y05 26C10 PDFBibTeX XMLCite \textit{L. Yang}, J. Symb. Comput. 28, No. 1--2, 225--242 (1999; Zbl 0957.65041) Full Text: DOI
Carminati, John; Devitt, John S.; Fee, Greg J. Isogroups of differential equations using algebraic computing. (English) Zbl 0796.35001 J. Symb. Comput. 14, No. 1, 103-120 (1992). MSC: 35-04 68W30 35A30 PDFBibTeX XMLCite \textit{J. Carminati} et al., J. Symb. Comput. 14, No. 1, 103--120 (1992; Zbl 0796.35001) Full Text: DOI
Chee, Yeow Meng On graphical quintuple systems. (English) Zbl 0769.05016 J. Symb. Comput. 13, No. 6, 677-681 (1992). MSC: 05B05 PDFBibTeX XMLCite \textit{Y. M. Chee}, J. Symb. Comput. 13, No. 6, 677--681 (1992; Zbl 0769.05016) Full Text: DOI
Gentili, Graziano; O’Connor, Michael A. Rational geometry in space. (English) Zbl 0732.20030 J. Symb. Comput. 11, No. 3, 213-229 (1991). Reviewer: K.Prazmowski (Bialystok) MSC: 20H15 51N25 51F25 51N30 11E57 PDFBibTeX XMLCite \textit{G. Gentili} and \textit{M. A. O'Connor}, J. Symb. Comput. 11, No. 3, 213--229 (1991; Zbl 0732.20030) Full Text: DOI
Bronstein, Manuel Integration of elementary functions. (English) Zbl 0718.12006 J. Symb. Comput. 9, No. 2, 117-173 (1990). Reviewer: Friedrich Schwarz (Paderborn) MSC: 12H20 12Y05 68W30 PDFBibTeX XMLCite \textit{M. Bronstein}, J. Symb. Comput. 9, No. 2, 117--173 (1990; Zbl 0718.12006) Full Text: DOI
Bronstein, Manuel The transcendental Risch differential equation. (English) Zbl 0707.12003 J. Symb. Comput. 9, No. 1, 49-60 (1990). Reviewer: Friedrich Schwarz (Paderborn) MSC: 12H20 68W30 12Y05 PDFBibTeX XMLCite \textit{M. Bronstein}, J. Symb. Comput. 9, No. 1, 49--60 (1990; Zbl 0707.12003) Full Text: DOI