×

Found 219 Documents (Results 1–100)

The method of collocations and least residuals combining the integral form of collocation equations and the matching differential relations at the solution of PDEs. (English) Zbl 1455.65217

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 19th international workshop, CASC 2017, Beijing, China, September 18–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10490, 346-361 (2017).
Full Text: DOI

Symbolic-numeric integration of the dynamical Cosserat equations. (English) Zbl 1455.65202

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 19th international workshop, CASC 2017, Beijing, China, September 18–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10490, 301-312 (2017).
MSC:  65M99 74K10

Symbolic-numeric algorithms for solving BVPs for a system of ODEs of the second order: multichannel scattering and eigenvalue problems. (English) Zbl 1453.65187

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 18th international workshop, CASC 2016, Bucharest, Romania, September 19–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9890, 212-227 (2016).
MSC:  65L15 65L60 68W30
Full Text: DOI

Finding the symbolic solution of a geometric problem through numerical computations. (English) Zbl 1352.68292

Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 223-241 (2014).
MSC:  68W30 14Q05 65D18
Full Text: DOI

An a posteriori certification algorithm for Newton homotopies. (English) Zbl 1325.65074

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). 248-255 (2014).
Full Text: DOI

Symbolic-numerical solution of boundary-value problems with self-adjoint second-order differential equation using the finite element method with interpolation Hermite polynomials. (English) Zbl 1416.68218

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 16th international workshop, CASC 2014, Warsaw, Poland, September 8–12, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8660, 138-154 (2014).
MSC:  68W30 65L10 65L60
Full Text: DOI

Symbolic analysis for boundary problems: from rewriting to parametrized Gröbner bases. (English) Zbl 1250.65104

Langer, Ulrich (ed.) et al., Numerical and symbolic scientific computing. Progress and prospects. New York, NY: Springer (ISBN 978-3-7091-0793-5/pbk; 978-3-7091-0794-2/ebook). Texts & Monographs in Symbolic Computation, 273-331 (2012).

Nonlinear equations. Paper from the 28th Brazilian mathematics colloquium – 28\(^{\text o}\) Colóquio Brasileiro de Matemática, Rio de Janeiro, Brazil, July 2011. (English) Zbl 1237.65051

Publicações Matemáticas do IMPA. Rio de Janeiro: Instituto Nacional de Matemática Pura e Aplicada (IMPA) (ISBN 978-85-244-0329-3/pbk). xiv, 177 p. (2011).

Regular and singular boundary problems in Maple. (English) Zbl 1308.65127

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 13th international workshop, CASC 2011, Kassel, Germany, September 5–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23567-2/pbk). Lecture Notes in Computer Science 6885, 280-293 (2011).
MSC:  65L10 68W30

Chebfun: A new kind of numerical computing. (English) Zbl 1220.65100

Fitt, Alistair D. (ed.) et al., Progress in industrial mathematics at ECMI 2008. Proceedings of the 15th European conference on mathematics for industry, London, UK, June 30 - July 4, 2008. Berlin: Springer (ISBN 978-3-642-12109-8/hbk; 978-3-642-12110-4/ebook). Mathematics in Industry 15, 69-87 (2010).
Full Text: DOI

Construction of an automatic validated computation for boundary value problems of ODEs. (English) Zbl 1186.68588

Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14–17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 306-309 (2009).
MSC:  68W30 65G20 65L10

Numerical treatment of singular BVPs: the new Matlab code bvpsuite. (English) Zbl 1182.65122

Simos, Theodore E. (ed.) et al., Numerical analysis and applied mathematics. International conference on numerical analysis and applied mathematics 2009, Rethymno, Crete, Greece, September 18–22, 2009. Vol. 1. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0705-3/hbk; 978-0-7354-0709-1/set). AIP Conference Proceedings 1168, 1, 39-42 (2009).
Full Text: DOI

Application of a numerical version of Terracini’s lemma for secants and joins. (English) Zbl 1137.65035

Dickenstein, Alicia (ed.) et al., Algorithms in algebraic geometry. Based on the workshop, Minneapolis, MN, USA, September 18–22, 2006. New York, NY: Springer (ISBN 978-0-387-75154-2/hbk). The IMA Volumes in Mathematics and its Applications 146, 1-14 (2008).

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

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software