×

zbMATH — the first resource for mathematics

Found 126 Documents (Results 1–100)

100
MathJax
Kosheleva, Olga (ed.) et al., Beyond traditional probabilistic data processing techniques: interval, fuzzy etc. methods and their applications. Dedicated to Vladik Kreinovich on the occasion of his 65th birthday. Cham: Springer. Stud. Comput. Intell. 835, 311-328 (2020).
MSC:  68T37
PDF BibTeX XML Cite
Full Text: DOI
Nehmeier, Marco (ed.) et al., Scientific computing, computer arithmetic, and validated numerics. 16th international symposium, SCAN 2014, Würzburg, Germany, September 21–26, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-31768-7/pbk; 978-3-319-31769-4/ebook). Lecture Notes in Computer Science 9553, 201-208 (2016).
MSC:  65G40 65F30
PDF BibTeX XML Cite
Full Text: DOI
Tost, Gerard Olivar (ed.) et al., Analysis, modelling, optimization, and numerical techniques. ICAMI, San Andres Island, Colombia, November 2013. Cham: Springer (ISBN 978-3-319-12582-4/hbk; 978-3-319-12583-1/ebook). Springer Proceedings in Mathematics & Statistics 121, 151-171 (2015).
PDF BibTeX XML Cite
Full Text: DOI Link
Moreno Maza, Marc (ed.), Proceedings of the 2011 international workshop on symbolic-numeric computation, SNC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0515-0). 165-167 (2011).
MSC:  65F10 65G20 68W30
PDF BibTeX XML Cite
Full Text: DOI Link
Bauer, Andrej (ed.) et al., 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-12-5). OASIcs – OpenAccess Series in Informatics 11, 12 p., electronic only (2009).
PDF BibTeX XML Cite
Full Text: DOI
Jermann, Christophe (ed.) et al., Global optimization and constraint satisfaction. Second international workshop, COCOS 2003, Lausanne, Switzerland, November 18–21, 2003. Revised selected papers. Berlin: Springer (ISBN 978-3-540-26003-5/pbk). Lecture Notes in Computer Science 3478, 86-100 (2005).
MSC:  68T20 90C26 90C59
PDF BibTeX XML Cite
Full Text: DOI
Alt, René (ed.) et al., Numerical software with result verification. International Dagstuhl seminar, Dagstuhl Castle, Germany, January 19–24, 2003. Revised papers. Berlin: Springer (ISBN 3-540-21260-4/pbk). Lecture Notes in Computer Science 2991, 36-63 (2004).
MSC:  65Y15 65G20
PDF BibTeX XML Cite
Full Text: DOI
Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM) (ISBN 0-89871-561-X/pbk; 978-0-89871-796-9/ebook). xi, 306 p. (2004).
MSC:  65-01 65Dxx 65Fxx 68W30 65C50 65T40
PDF BibTeX XML Cite
Full Text: DOI
Horwood Publishing Series in Computer Science. Chichester: Horwood Publishing (ISBN 1-898563-97-7/pbk). xviii, 318 p. (2003).
PDF BibTeX XML Cite
Krämer, Walter (ed.) et al., Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19–22, 2000. New York, NY: Springer (ISBN 978-0-306-46706-6/hbk; 978-1-4757-6484-0/ebook). 355-365 (2001).
MSC:  65G40 60E05
PDF BibTeX XML Cite
Full Text: DOI Link
Krämer, Walter (ed.) et al., Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19–22, 2000. New York, NY: Springer (ISBN 978-0-306-46706-6/hbk; 978-1-4757-6484-0/ebook). 241-253 (2001).
MSC:  65K05 90C57 65G40
PDF BibTeX XML Cite
Full Text: DOI
Choueiry, Berthe Y. (ed.) et al., Abstraction, reformulation, and approximation. 4th international symposium, SARA 2000, Horseshoe Bay, TX, USA, July 26-29, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1864, 107-123 (2000).
MSC:  65G30
PDF BibTeX XML Cite
Pardalos, Panos M. (ed.), Approximation and complexity in numerical optimization. Continuous and discrete problems. Conference, Univ. of Florida, Orlando, FL, USA, February 28 - March 2, 1999. Dordrecht: Kluwer Academic Publishers. Nonconvex Optim. Appl. 42, 364-379 (2000).
MSC:  65G30 65F10 65H10 65Q05 65L05
PDF BibTeX XML Cite
Benhamou, Frédéric (ed.), JFPLC ’97. 6èmes Journées francophones de programmation logique et programmation par constraintes. 26–28 Mai 1997. Orléans, France. Paris: Éditions Hermès. 195-209 (1997).
PDF BibTeX XML Cite
Floudas, C. A. (ed.) et al., State of the art in global optimization: computational methods and applications. Papers of the conference, Princeton, NJ, USA, April 28–30, 1995. Dordrecht: Kluwer Academic Publishers. Nonconvex Optim. Appl. 7, 181-199 (1996).
MSC:  90C30
PDF BibTeX XML Cite
Alefeld, Götz (ed.) et al., Scientific computing and validated numerics. Proceedings of the international symposium on scientific computing, computer arithmetic and validated numerics SCAN-95, Wuppertal, Germany, September 26-29, 1995. Berlin: Akademie Verlag. Math. Res. 90, 293-306 (1996).
MSC:  65G30 65-02 65Y20
PDF BibTeX XML Cite
Alefeld, Götz (ed.) et al., Scientific computing and validated numerics. Proceedings of the international symposium on scientific computing, computer arithmetic and validated numerics SCAN-95, Wuppertal, Germany, September 26-29, 1995. Berlin: Akademie Verlag. Math. Res. 90, 91-97 (1996).
MSC:  65H10 65G30 68T30
PDF BibTeX XML Cite
Kearfott, R. Baker (ed.) et al., Applications of interval computations. Proceedings of an international workshop, El Paso, TX, USA, February 23-25, 1995. Dordrecht: Kluwer Academic Publishers. Appl. Optim. 3, 245-290 (1996).
MSC:  65C99 62-07 65G30
PDF BibTeX XML Cite
Applied Optimization. 3. Dordrecht: Kluwer Academic Publishers. xvii, 425 p. (1996).
MSC:  00B25 65-06 65G30
PDF BibTeX XML Cite
El Paso, TX: The University of Texas at El Paso, 244 p. (1995).
MSC:  65-06 65G30 00B25
PDF BibTeX XML Cite
Mayoh, Brian (ed.) et al., Constraint programming. Proceedings of the NATO Advanced Study Institute, held in Pärnu, Estonia, August 13-24, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 131, 140-152 (1994).
Reviewer: G.Mayer (Rostock)
MSC:  65G30
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software