×

zbMATH — the first resource for mathematics

Found 29 Documents (Results 1–29)

100
MathJax
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
PDF BibTeX XML Cite
Full Text: DOI
Cai, Zhihua (ed.) et al., Computational intelligence and intelligent systems. 5th international symposium, ISICA 2010, Wuhan, China, October 22–24, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-16387-6/pbk; 978-3-642-16388-3/ebook). Communications in Computer and Information Science 107, 1-10 (2010).
MSC:  68W05 68T05
PDF BibTeX XML Cite
Full Text: DOI
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, 203-211 (2007).
MSC:  51M20 51K05 68T15 68U05
PDF BibTeX XML Cite
Full Text: DOI
Hong, Hoon (ed.) et al., Automated deduction in geometry. 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16–18, 2004. Revised papers. Berlin: Springer (ISBN 3-540-31332-X/pbk). Lecture Notes in Computer Science 3763. Lecture Notes in Artificial Intelligence, 198-211 (2006).
MSC:  68T15 68U05
PDF BibTeX XML Cite
Full Text: DOI
Janardan, Ravi (ed.) et al., Geometric and algorithmic aspects of computer-aided design and manufacturing. DIMACS workshop computer aided design and manufacturing, October 7–9, 2003, Piscataway, New Jersey. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3628-5/hbk). DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 67, 117-163 (2005).
MSC:  65D18 68U07
PDF BibTeX XML Cite
Bubak, Marian (ed.) et al., Computational science – ICCS 2004. 4th international conference, Kraków, Poland, June 6–9, 2004. Proceedings, Part IV. Berlin: Springer (ISBN 3-540-22129-8/pbk). Lecture Notes in Computer Science 3039, 139-146 (2004).
MSC:  68U05 68T20
PDF BibTeX XML Cite
Full Text: DOI
Straßer, Wolfgang (ed.) et al., Geometric modeling: theory and practice. The state of the art. Based on the international conference held in Blaubeuren, Germany, October 1996. Berlin: Springer. Focus on Computer Graphics. 132-155 (1997).
MSC:  68U05
PDF BibTeX XML Cite

Filter Results by …

Document Type
all top 5
Year of Publication
all top 3
Classification