×

Found 8 Documents (Results 1–8)

Quantifier elimination for approximate factorization of linear partial differential operators. (English) Zbl 1202.68491

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, 106-115 (2007).
MSC:  68W30 35L99 47F05
PDFBibTeX XMLCite
Full Text: DOI

The problem of the jump and the Sokhotski formulas in the space of generalized functions on a segment of the real axis. (English) Zbl 0764.46039

Generalized functions, convergence structures, and their applications, Proc. Int. Conf., Dubrovnik/Yugosl. 1987, 197-203 (1988).
MSC:  46F20 46F10
PDFBibTeX XMLCite

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software