×

Found 50 Documents (Results 1–50)

Mathematical software – ICMS 2016. 5th international conference, Berlin, Germany, July 11–14, 2016. Proceedings. (English) Zbl 1342.68017

Lecture Notes in Computer Science 9725. Cham: Springer (ISBN 978-3-319-42431-6/pbk; 978-3-319-42432-3/ebook). xxiv, 532 p. (2016).
MSC:  68-06 65-06 65Yxx 68T15 68U35 68W30 00B25
PDFBibTeX XMLCite
Full Text: DOI

Two-point boundary problems with one mild singularity and an application to graded Kirchhoff plates. (English) Zbl 1400.34030

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14–18, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24020-6/pbk; 978-3-319-24021-3/ebook). Lecture Notes in Computer Science 9301, 406-423 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Enabling symbolic and numerical computations in HOL Light. (English) Zbl 1417.68193

Kerber, Manfred (ed.) et al., Intelligent computer mathematics. International conference, CICM 2015, Washington, DC, USA, July 13–17, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9150, 353-358 (2015).
MSC:  68T15 68U35 68W30
PDFBibTeX XMLCite
Full Text: DOI

Computer algebra in scientific computing. 17th international workshop, CASC 2015, Aachen, Germany, September 14–18, 2015. Proceedings. (English) Zbl 1321.68010

Lecture Notes in Computer Science 9301. Cham: Springer (ISBN 978-3-319-24020-6/pbk; 978-3-319-24021-3/ebook). xiv, 492 p. (2015).
MSC:  68-06 68W30 00B25
PDFBibTeX XMLCite
Full Text: DOI

Complexity analysis of the bivariate Buchberger algorithm in Theorema. (English) Zbl 1403.68228

Hong, Hoon (ed.) et al., Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). Lecture Notes in Computer Science 8592, 41-48 (2014).
MSC:  68T15 13P10 68W30
PDFBibTeX XMLCite
Full Text: DOI

Mathematical software – ICMS 2014. 4th international congress, Seoul, South Korea, August 5–9, 2014. Proceedings. (English) Zbl 1293.65003

Lecture Notes in Computer Science 8592. Berlin: Springer (ISBN 978-3-662-44198-5/pbk). xxxii, 735 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Towards a symbolic computational philosophy (and methodology!) for mathematics. (English) Zbl 1319.03020

Paule, Peter (ed.), Mathematics, computer science and logic – a never ending story. The Bruno Buchberger Festschrift. Based on a conference on the occasion of Bruno Buchberger’s 60th birthday, Hagenberg, Austria, October 22, 2002. Cham: Springer (ISBN 978-3-319-00965-0/hbk; 978-3-319-00966-7/ebook). 101-113 (2013).
MSC:  03A05 68W30
PDFBibTeX XMLCite
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).
PDFBibTeX XMLCite
Full Text: DOI arXiv

An automated confluence proof for an infinite rewrite system parametrized over an integro-differential algebra. (English) Zbl 1294.68165

Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 245-248 (2010).
MSC:  68W30 12H05 13P10 34B05 45J05 68Q42 68T15
PDFBibTeX XMLCite
Full Text: DOI

A new symbolic method for linear boundary value problems using Groebner bases. (English) Zbl 1192.68932

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, 1 (2009).
MSC:  68W30 13B10 34B05
PDFBibTeX XMLCite

A symbolic framework for operations on linear boundary problems. (English) Zbl 1260.68484

Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 11th international workshop, CASC 2009, Kobe, Japan, September 13–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04102-0/pbk). Lecture Notes in Computer Science 5743, 269-283 (2009).
MSC:  68W30 34B05 35G15
PDFBibTeX XMLCite
Full Text: DOI

Reasoning algebraically about P-solvable loops. (English) Zbl 1134.68600

Ramakrishnan, C. R. (ed.) et al., Tools and algorithms for the construction and analysis of systems. 14th international conference, TACAS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78799-0/pbk). Lecture Notes in Computer Science 4963, 249-264 (2008).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI

Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\). (English. Russian original) Zbl 1101.68834

J. Math. Sci., New York 126, No. 3, 1182-1194 (2005); translation from Zap. Nauch. Semin. POMI 293, 94-117 (2002).
MSC:  68T15 03B35 68W30
PDFBibTeX XMLCite
Full Text: DOI

Focus Windows: A new technique for proof presentation. (English) Zbl 1072.68587

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, 337-341 (2002).
MSC:  68T15 68W30 03F07
PDFBibTeX XMLCite
Full Text: Link

Algebraic structures and dependent records. (English) Zbl 1013.68194

Carreño, Victor A. (ed.) et al., Theorem proving in higher order logics. 15th international conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2410, 298-313 (2002).
MSC:  68T15 68W30
PDFBibTeX XMLCite
Full Text: Link

Computer algebra meets automated theorem proving: Integrating Maple and PVS. (English) Zbl 1005.68997

Boulton, Richard J. (ed.) et al., Theorem proving in higher order logics. 14th international conference, TPHOLs 2001, Edinburgh, Scotland, GB, September 3-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2152, 27-42 (2001).
MSC:  68W30 68T15
PDFBibTeX XMLCite
Full Text: Link

The TH\(\exists\)OREM\(\forall\) project: A progress report. (English) Zbl 1017.68110

Kerber, Manfred (ed.) et al., Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6-7, 2000. Natick, MA: A. K. Peters. 98-113 (2001).
MSC:  68T15 68W30
PDFBibTeX XMLCite

Symbolic computation and automated reasoning. The CALCULEMUS-2000 symposium. 8th symposium on the integration of symbolic computation and mechanized reasoning, St. Andrews, Scotland, GB, August 6–7, 2000. (English) Zbl 0962.00008

Natick, MA: A. K. Peters. xi, 270 p. (2001).
MSC:  00B25 68-06 03-06
PDFBibTeX XMLCite

A survey of the Theorema project. (English) Zbl 0926.68131

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. 384-391 (1997).
MSC:  68T15 68W30
PDFBibTeX XMLCite

Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. (English) Zbl 0903.00082

New York, NY: ACM Press. xxii, 414 p. (1997).
MSC:  00B25 68-06 68W30 11Yxx 12Y05 65Y10
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software