×

Found 96 Documents (Results 1–96)

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
Full Text: DOI arXiv

Subresultant chains using Bézout matrices. (English) Zbl 1512.13014

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 29-50 (2022).
MSC:  13P15 68W30 13-04
PDFBibTeX XMLCite
Full Text: DOI

Comprehensive \(LU\) factors of polynomial matrices. (English) Zbl 07441062

Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 80-88 (2020).
MSC:  68-XX 65-XX
PDFBibTeX XMLCite
Full Text: DOI

Stirling numbers, Lambert \(W\) and the gamma function. (English) Zbl 1500.33002

Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 275-279 (2017).
MSC:  33B20 33B10 33E99
PDFBibTeX XMLCite
Full Text: DOI

Rapidly convergent integrals and function evaluation. (English) Zbl 1500.33010

Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 270-274 (2017).
MSC:  33F05 33E99 65D20
PDFBibTeX XMLCite
Full Text: DOI

The asymptotic analysis of some interpolated nonlinear recurrence relations. (English) Zbl 1325.68271

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 115-121 (2014).
MSC:  68W30 37B20 65Q30
PDFBibTeX XMLCite
Full Text: DOI

Series transformations to improve and extend convergence. (English) Zbl 1202.33032

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 134-147 (2010).
MSC:  33E30 33F10 68W30
PDFBibTeX XMLCite
Full Text: DOI

Reducing expression size using rule-based integration. (English) Zbl 1286.68517

Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 234-246 (2010).
MSC:  68W30 33F10
PDFBibTeX XMLCite
Full Text: DOI

A knowledge repository for indefinite integration based on transformation rules. (English) Zbl 1247.68326

Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 480-485 (2009).
MSC:  68W30 26A42 68T30
PDFBibTeX XMLCite
Full Text: DOI

Unconstrained parametric minimization of a polynomial: Approximate and exact. (English) Zbl 1166.65347

Kapur, Deepak (ed.), Computer mathematics. 8th Asian symposium, ASCM 2007, Singapore, December 15–17, 2007. Revised and invited papers. Berlin: Springer (ISBN 978-3-540-87826-1/pbk). Lecture Notes in Computer Science 5081. Lecture Notes in Artificial Intelligence, 22-31 (2008).
MSC:  65K10 65D30
PDFBibTeX XMLCite
Full Text: DOI

The complete root classification of a parametric polynomial on an interval. (English) Zbl 1489.68412

Jeffrey, David J. (ed.), Proceedings of the 2008 international symposium on symbolic and algebraic computation, ISSAC 2008, Linz/Hagenberg, Austria, July 20–23, 2008. New York, NY: Association for Computing Machinery (ACM). 189-196 (2008).
MSC:  68W30 03C10 12D10
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 2008 international symposium on symbolic and algebraic computation, ISSAC 2008, Linz/Hagenberg, Austria, July 20–23, 2008. (English) Zbl 1144.68004

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-904-3). ix, 337 p. (2008).
MSC:  68-06 00B25 68W30
PDFBibTeX XMLCite
Full Text: Link

The solution of \(s\exp(s)=a\) is not always the Lambert \(w\) function of \(a\). (English) Zbl 1190.34072

Brown, C. W. (ed.), ISSAC 2007. Proceedings of the 32nd international symposium on symbolic and algebraic computation (ISSAC 2007), Waterloo, ON, Canada, July 29–August 1, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-743-8). 116-121 (2007).
MSC:  34K05 34A05 68W30
PDFBibTeX XMLCite

Rule-based simplification in vector-product spaces. (English) Zbl 1202.68493

Kauers, Manuel (ed.) et al., Towards mechanized mathematical assistants. 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27–30, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73083-5/pbk). Lecture Notes in Computer Science 4573. Lecture Notes in Artificial Intelligence, 116-127 (2007).
PDFBibTeX XMLCite
Full Text: DOI

A symbolic-numeric approach to an electric field problem. (English) Zbl 1120.78006

Wang, Dongming (ed.) et al., Symbolic-numeric computation. Invited and contributed presentations given at the international workshop (SNC 2005), Xi’an, China, July 19–21 (2005). Basel: Birkhäuser (ISBN 978-3-7643-7983-4/hbk). Trends in Mathematics, 349-359 (2007).
MSC:  78M25 35C99 68W25 65B99
PDFBibTeX XMLCite

Symbolic computation sequences and numerical analytic geometry applied to multibody dynamical systems. (English) Zbl 1117.70004

Wang, Dongming (ed.) et al., Symbolic-numeric computation. Invited and contributed presentations given at the international workshop (SNC 2005), Xi’an, China, July 19–21 (2005). Basel: Birkhäuser (ISBN 978-3-7643-7983-4/hbk). Trends in Mathematics, 335-347 (2007).
MSC:  70-08 70E55 68W30
PDFBibTeX XMLCite

Hierarchical representations with signatures for large expression management. (English) Zbl 1156.68641

Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20–22, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39728-1/pbk). Lecture Notes in Computer Science 4120. Lecture Notes in Artificial Intelligence, 254-268 (2006).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

An algorithm for computing the complete root classification of a parametric polynomial. (English) Zbl 1156.68632

Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20–22, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39728-1/pbk). Lecture Notes in Computer Science 4120. Lecture Notes in Artificial Intelligence, 116-130 (2006).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Linear algebra using Maple’s LargeExpressions package. (English) Zbl 1107.65029

Kotsireas, Ilias (ed.) et al., Maple conference 2006. Proceedings of the conference, Waterloo, Ontario, Canada, July 23–26, 2006. Waterloo: Maplesoft (ISBN 1-897310-13-7/pbk). 14-25 (2006).
MSC:  65F05 65Y15 68W30
PDFBibTeX XMLCite

Affine transformations of algebraic numbers. (English) Zbl 1360.68937

Kauers, Manuel (ed.), Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC’05, Beijing, China, July 24–27, 2005. New York, NY: ACM Press (ISBN 1-59593-095-7). 193-199 (2005).
MSC:  68W30 11Y40
PDFBibTeX XMLCite
Full Text: DOI

Stokes-flow problem solved using Maple. (English) Zbl 1114.76054

Sunderam, Vaidy S. (ed.) et al., Computational science – ICCS 2005. 5th international conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part III. Berlin: Springer (ISBN 3-540-26044-7/pbk). Lecture Notes in Computer Science 3516, 667-670 (2005).
MSC:  76M25 76D07 68W30
PDFBibTeX XMLCite
Full Text: DOI

An algebraic method for analyzing open-loop dynamic systems. (English) Zbl 1120.68468

Sunderam, Vaidy S. (ed.) et al., Computational science – ICCS 2005. 5th international conference, Atlanta, GA, USA, May 22-25, 2005. Proceedings, Part III. Berlin: Springer (ISBN 3-540-26044-7/pbk). Lecture Notes in Computer Science 3516, 586-593 (2005).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Implicit reduced involutive forms and their application to engineering multibody systems. (English) Zbl 1078.68832

Li, Hongbo (ed.) et al., Computer algebra and geometric algebra with applications. 6th international workshop, IWMM 2004, Shanghai, China, May 19–21, 2004 and international workshop, GIAE 2004, Xian, China, May 24–28, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-26296-2/pbk). Lecture Notes in Computer Science 3519, 31-43 (2005).
MSC:  68W30 70F10
PDFBibTeX XMLCite
Full Text: DOI

An exploration of homotopy solving in Maple. (English) Zbl 1047.65033

Li, Ziming (ed.) et al., Computer mathematics. Proceedings of the sixth Asian symposium (ASCM 2003), Beijing, China, April 17–19, 2003. River Edge, NJ: World Scientific (ISBN 981-238-220-8/hbk). Lect. Notes Ser. Comput. 10, 145-162 (2003).
MSC:  65H10 65L05 68W30 34A34 12Y05 26C10 30C15
PDFBibTeX XMLCite

The Wright \(\omega\) function. (English) Zbl 1072.68568

Calmet, Jacques (ed.) et al., Artificial intelligence, automated reasoning, and symbolic computation. Joint international conferences: AISC 2002, the 6th international conference on artificial intelligence and symbolic computation, and Calculemus 2002, the 10th symposium on the integration of symbolic computation and mechanized reasoning. Marseille, France, July 1–5, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43865-3). Lect. Notes Comput. Sci. 2385, 76-89 (2002).
MSC:  68T15 68W30
PDFBibTeX XMLCite
Full Text: Link

Reasoning about the elementary functions of complex analysis. (English) Zbl 1042.68128

Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 115-126 (2001).
MSC:  68W30 33F10
PDFBibTeX XMLCite
Full Text: Link

Recursive integration of piecewise-continuous functions. (English) Zbl 0920.65008

Gloor, Oliver (ed.), Proceedings of the 1998 international symposium on symbolic and algebraic computation, ISSAC ’98, Rostock, Germany, August 13–15, 1998. New York, NY: ACM Press. 290-294 (1998).
Reviewer: D.Acu (Sibiu)
MSC:  65D32 26A36 41A55
PDFBibTeX XMLCite

Integration of the signum, piecewise and related functions. (English) Zbl 0916.65016

Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 324-330 (1997).
MSC:  65D30 68W30
PDFBibTeX XMLCite

A sequence of series for the Lambert \(W\) function. (English) Zbl 0916.65015

Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 197-204 (1997).
PDFBibTeX XMLCite

Integration to obtain expressions valid on domains of maximum extent. (English) Zbl 0922.65014

Bronstein, Manuel (ed.), ISSAC ’93. Proceedings of the 1993 international symposium on Symbolic and algebraic computation, Kiev, Ukraine, July 6–8, 1993. Baltimore, MD: ACM Press. 34-41 (1993).
MSC:  65D30 68W30
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field