×

Found 21 Documents (Results 1–21)

Optimizing query perturbations to enhance shape retrieval. (English) Zbl 07441087

Slamanig, Daniel (ed.) et al., Mathematical aspects of computer and information sciences. 8th international conference, MACIS 2019, Gebze, Turkey, November 13–15, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11989, 422-437 (2020).
MSC:  68-XX 65-XX
PDFBibTeX XMLCite
Full Text: DOI

What is a line? (English) Zbl 1349.51003

Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 132-151 (2011).
MSC:  51A30 68T15
PDFBibTeX XMLCite
Full Text: DOI

Some lemmas to hopefully enable search methods to find short and human readable proofs for incidence theorems of projective geometry. (English) Zbl 1350.68240

Schreck, Pascal (ed.) et al., Automated deduction in geometry. 8th international workshop, ADG 2010, Munich, Germany, July 22–24, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25069-9/pbk). Lecture Notes in Computer Science 6877. Lecture Notes in Artificial Intelligence, 118-131 (2011).
MSC:  68T15 51A05
PDFBibTeX XMLCite
Full Text: DOI

Linear programming for Bernstein based solvers. (English) Zbl 1302.68126

Sturm, Thomas (ed.) et al., Automated deduction in geometry. 7th international workshop, ADG 2008, Shanghai, China, September 22–24, 2008. Revised papers. Berlin: Springer (ISBN 978-3-642-21045-7/pbk). Lecture Notes in Computer Science 6301. Lecture Notes in Artificial Intelligence, 163-178 (2011).
MSC:  68Q17 90C05
PDFBibTeX XMLCite
Full Text: DOI

Robustness and randomness. (English) Zbl 1165.65319

Hertling, Peter (ed.) et al., Reliable implementation of real number algorithms: Theory and practice. International seminar, Dagstuhl Castle, Germany, January 8–13, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-85520-0/pbk). Lecture Notes in Computer Science 5045, 127-148 (2008).
MSC:  65D18 65G99 68U05
PDFBibTeX XMLCite
Full Text: DOI Link

Detecting all dependences in systems of geometric constraints using the witness method. (English) Zbl 1195.68107

Botana, Francisco (ed.) et al., Automated deduction in geometry. 6th international workshop, ADG 2006, Pontevedra, Spain, August 31–September 2, 2006. Revised papers. Berlin: Springer (ISBN 978-3-540-77355-9/pbk). Lecture Notes in Computer Science 4869. Lecture Notes in Artificial Intelligence, 98-112 (2007).
MSC:  68U05 68U07
PDFBibTeX XMLCite
Full Text: DOI

Reliable representations of strange attractors. (English) Zbl 1391.65184

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). 379-390 (2001).
MSC:  65P40 65G40 37C70
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software