×

Found 35 Documents (Results 1–35)

Monograph on the occasion of 100th birthday anniversary of Zygmunt Zahorski. (Polish, English) Zbl 1305.00174

Monografia (Gliwice) 545. Gliwice: Wydawnictwo Politechniki Śląskiej (ISBN 978-83-7880-206-8/pbk). 379 p., open access (2015).
PDFBibTeX XMLCite
Full Text: Link

Polynomial-time solution of initial value problems using polynomial enclosures. (English) Zbl 1362.03039

Ong, Luke (ed.) et al., Logic, language, information and computation. 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32620-2/pbk). Lecture Notes in Computer Science 7456, 232-245 (2012).
PDFBibTeX XMLCite
Full Text: DOI

About the formalization of some results by Chebyshev in number theory. (English) Zbl 1246.03026

Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 19-31 (2009).
MSC:  03B35 11A41 68T15
PDFBibTeX XMLCite
Full Text: DOI

Proceedings of the 66th workshop on general algebra “66. Arbeitstagung Allgemeine Algebra”, Klagenfurt, Austria, June 19–22, 2003. (English) Zbl 1050.08001

Contributions to General Algebra 15. Klagenfurt: Verlag Johannes Heyn (ISBN 3-7084-0121-2/pbk). ix, 206 p. (2004).
PDFBibTeX XMLCite

Chebyshev approximation problems with extremal operations. (English) Zbl 0877.65043

Guddat, Jürgen (ed.) et al., Parametric optimization and related topics IV. Proceedings of the 4th international conference, Enschede (NL), June 6–9, 1995. Bern: Peter Lang. Approximation Optimization. 9, 371-377 (1997).
MSC:  65K05 03E72 90C48
PDFBibTeX XMLCite

Analysing proofs in analysis. (English) Zbl 0881.03032

Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 225-260 (1996).
MSC:  03F60 41A05 26E40
PDFBibTeX XMLCite

Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen: effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen. (German) Zbl 0744.03056

Frankfurt a. M.: Univ. Frankfurt a. M., FB Math. xxii, 278 S. (1990).
MSC:  03F07 41A50
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

Software