×

Found 176 Documents (Results 1–100)

Certified complexity (CerCo). (English) Zbl 1445.68057

Dal Lago, Ugo (ed.) et al., Foundational and practical aspects of resource analysis. Third international workshop, FOPARA 2013, Bertinoro, Italy, August 29–31, 2013. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 8552, 1-18 (2014).
MSC:  68N99 68N20 68Q25
PDFBibTeX XMLCite
Full Text: DOI Link

Mathematics in German literature: paradoxes of infinity. (English) Zbl 1476.00047

Gustafsson, Björn (ed.) et al., Analysis and mathematical physics. Lectures delivered at the international conference “New trends in harmonic and complex analysis”, Voss, Norway, May 7–12, 2007. Basel: Birkhäuser. Trends Math., 299-318 (2009).
MSC:  00A64
PDFBibTeX XMLCite
Full Text: DOI

Twentieth anniversary volume: Discrete and computational geometry. Reprinted from the journal Discrete & Computational Geometry 39, No. 1-3 (2008). (English) Zbl 1151.51001

New York, NY: Springer (ISBN 978-0-387-87362-6/pbk). xviii, 635 p. (2009).
MSC:  51-06 01A75 00B15
PDFBibTeX XMLCite

Allowable double-permutation sequences and double pseudoline arrangements. (English) Zbl 1267.52009

Ossona de Mendez, Patrice (ed.) et al., The international conference on topological and geometric graph theory. Papers from the conference (TGGT 2008) held at the École Normale Supérieure, Paris, France, May 19–23, 2008. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 31, 167-168 (2008).
MSC:  52A37 51M15
PDFBibTeX XMLCite
Full Text: DOI

Allowable double permutation sequences, arrangements of double pseudolines of Michel Pocchiola and their applications to planar families of convex sets. (English) Zbl 1182.52005

Garfunkel, Sol (ed.) et al., Geometry, games, graphs and education. The Joe Malkevitch Festschrift. Papers from Joe Fest 2008, York College–The City University of New York (CUNY), Jamaica, NY, USA, November 8, 2008. Bedford, MA: Comap, Inc. (ISBN 978-1-933223-17-9/pbk). 27-31 (2008).
PDFBibTeX XMLCite

Surveys on discrete and computational geometry. Twenty years later. AMS-IMS-SIAM summer research conference, Snowbird, UT, USA, June 18–22, 2006. (English) Zbl 1134.52001

Contemporary Mathematics 453. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4239-3/pbk). viii, 556 p. (2008).
PDFBibTeX XMLCite
Full Text: DOI

Two \(p\)-adic \(L\)-functions and rational points on elliptic curves with supersingular reduction. (English) Zbl 1148.11029

Burns, David (ed.) et al., \(L\)-functions and Galois representations. Based on the symposium, Durham, UK, July 19–30, 2004. Cambridge: Cambridge University Press (ISBN 978-0-521-69415-5/pbk). London Mathematical Society Lecture Note Series 320, 300-332 (2007).
MSC:  11G40 11R23
PDFBibTeX XMLCite

Computing the first Betti number and the connected components of semi-algebraic sets. (English) Zbl 1192.14003

STOC’05: Proceedings of the 37th annual ACM symposium on theory of computing, Baltimore, MD, USA, May 22–24, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-960-8). 304-312 (2005).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On solving soft temporal constraints using SAT techniques. (English) Zbl 1153.68487

van Beek, Peter (ed.), Principles and practice of constraint programming – CP 2005. 11th international conference, CP 2005, Sitges, Spain, October 1–5, 2005. Proceedings. Berlin: Springer (ISBN 978-3-540-29238-8/pbk). Lecture Notes in Computer Science 3709, 607-621 (2005).
MSC:  68T20
PDFBibTeX XMLCite
Full Text: DOI

The conformal theory of Alexandrov embedded constant mean curvature surfaces in \(\mathbb R^3\). (English) Zbl 1101.53006

Hoffman, David (ed.), Global theory of minimal surfaces. Proceedings of the Clay Mathematics Institute 2001 summer school, Berkeley, CA, USA, June 25–July 27, 2001. Providence, RI: American Mathematical Society (AMS). Cambridge, MA: Clay Mathematics Institute (ISBN 0-8218-3587-4/pbk). Clay Mathematics Proceedings 2, 525-559 (2005).
MSC:  53A10 53C42 53C45
PDFBibTeX XMLCite
Full Text: arXiv

The Hadwiger transversal theorem for pseudolines. (English) Zbl 1112.52001

Goodman, Jacob Eli (ed.) et al., Combinatorial and computational geometry. Cambridge: Cambridge University Press (ISBN 0-521-84862-8/hbk). Mathematical Sciences Research Institute Publications 52, 79-85 (2005).
MSC:  52A10 52C30 52A35
PDFBibTeX XMLCite
Full Text: Link

On the realizable weaving patterns of polynomial curves in \(\mathbb R^3\). (English) Zbl 1111.68721

Pach, János (ed.), Graph drawing. 12th international symposium, GD 2004, New York, NY, September 29–October 2, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-24528-6/pbk). Lecture Notes in Computer Science 3383, 36-42 (2005).
MSC:  68U05
PDFBibTeX XMLCite
Full Text: DOI

A logical framework with dependently typed records. (English) Zbl 1052.68018

Hofmann, Martin (ed.), Typed lambda calculi and applications. 6th international conference, TLCA 2003, Valencia, Spain, June 10–12, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40332-9/pbk). Lect. Notes Comput. Sci. 2701, 105-119 (2003).
MSC:  68N18 03B70 03B40 68Q55 68Q60 68Q65 68T15
PDFBibTeX XMLCite
Full Text: Link

Execution-time plan management for a cognitive orthotic system. (English) Zbl 1017.68845

Beetz, Michael (ed.) et al., Advances in plan-based control of robotic agents. International seminar, Dagstuhl Castle, Germany, October 21-26, 2001. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2466, 179-192 (2002).
MSC:  68U99 68T40 93C85
PDFBibTeX XMLCite
Full Text: Link

Advances in plan-based control of robotic agents. International seminar, Dagstuhl Castle, Germany, October 21–26, 2001. Revised papers. (English) Zbl 1012.68843

Lecture Notes in Computer Science 2466. Lecture Notes in Artificial Intelligence. Berlin: Springer. viii, 289 p. (2002).
PDFBibTeX XMLCite
Full Text: DOI Link

Types for proofs and programs. International workshop, TYPES 2000, Durham, GB, December 8–12, 2000. Selected papers. (English) Zbl 0988.00060

Lecture Notes in Computer Science. 2277. Berlin: Springer. viii, 243 p. (2002).
MSC:  00B25 03-06 68-06
PDFBibTeX XMLCite
Full Text: DOI

A Helly-type theorem for hyperplane transversals to well-separated convex sets. (English) Zbl 1376.52011

Proceedings of the 16th annual symposium on computational geometry, SCG 2000, Hong Kong, China, June 12–14, 2000. New York, NY: ACM, Association for Computing Machinery (ACM). 57-63 (2000).
MSC:  52A35
PDFBibTeX XMLCite
Full Text: DOI

Advances in discrete and computational geometry. Proceedings of the 1996 AMS-IMS-SIAM joint summer research conference on discrete and computational geometry: ten years later, South Hadley, MA, USA, July 14–18, 1996. (English) Zbl 0902.00037

Contemporary Mathematics. 223. Providence, RI: American Mathematical Society (AMS). xi, 463 p. (1999).
PDFBibTeX XMLCite
Full Text: DOI

Complexity of computing semi-algebraic descriptions of the connected components of a semialgebraic set. (English) Zbl 0960.14033

Gloor, Oliver (ed.), Proceedings of the 1998 international symposium on symbolic and algebraic computation, ISSAC ’98, Rostock, Germany, August 13-15, 1998. New York, NY: ACM Press. 25-29 (1998).
MSC:  14Q15 14P10 68Q25
PDFBibTeX XMLCite

Gluing and moduli for noncompact geometric problems. (English) Zbl 0976.53065

Bourguignon, Jean-Pierre (ed.) et al., Geometric theory of singular phenomena in partial differential equations. Proceedings of the workshop, Cortona, Italy, May 15-19, 1995. Cambridge: Cambridge University Press. Symp. Math. 38, 17-51 (1998).
PDFBibTeX XMLCite
Full Text: arXiv

A new algorithm to find a point in every cell defined by a family of polynomials. (English) Zbl 0900.68278

Caviness, Bob F. (ed.) et al., Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6–8, 1993. Wien: Springer. Texts and Monographs in Symbolic Computation. 341-350 (1998).
MSC:  68W30 14P10
PDFBibTeX XMLCite

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software