×

Found 90 Documents (Results 1–90)

Constructive solutions of ordinary differential equations. (English) Zbl 1348.03058

Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 67-77 (2012).
MSC:  03F60 34A12 34A45
PDFBibTeX XMLCite

Colocatedness and Lebesgue integrability. (English) Zbl 1150.03340

Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 98-104 (2007).
MSC:  03F60 28E15
PDFBibTeX XMLCite
Full Text: DOI

Dini’s theorem: A constructive case study. (English) Zbl 1005.26020

Calude, C. S. (ed.) et al., Combinatorics, computability and logic. Proceedings of the 3rd international conference, DMTCS ’01. The conference was dedicated to Prof. Frank Harary on the occasion of the 80th birthday. Univ. of Auckland, New Zealand and Univ. of Constanţa, Romania, 2001. London: Springer. Discrete Mathematics and Theoretical Computer Science. 69-80 (2001).
MSC:  26E40
PDFBibTeX XMLCite

Constructive methods in mathematical economics. (English) Zbl 0946.91005

Herden, Gerhard (ed.) et al., Mathematical utility theory. Utility functions, models and applications in the social sciences. International conference, Essen, Germany, autumn 1997. Wien: Springer. Journal of Economics. Supplement. 8, 1-21 (1999).
MSC:  91B08 91B10
PDFBibTeX XMLCite

Constructive truth in practice. (English) Zbl 0940.03068

Dales, H. G. (ed.) et al., Truth in mathematics. Lectures of a conference, Mussomeli, Sicily, Italy, September 13-20, 1995. Oxford: Clarendon Press. Oxford Science Publications. 53-69 (1998).
MSC:  03F50 03F60 03F65
PDFBibTeX XMLCite

Order isomorphisms — a constructive measure-theoretic view. (English) Zbl 0828.03033

Mathematical logic, Proc. Summer Sch. Conf. Ded. 90th Anniv. Arend Heyting, Chaika/Bulg. 1988, 243-255 (1990).
MSC:  03F65 91B08 91B16
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software