×

zbMATH — the first resource for mathematics

Found 107 Documents (Results 1–100)

100
MathJax
Lecture Notes in Computer Science 11110. Lecture Notes in Artificial Intelligence. Cham: Springer (ISBN 978-3-319-99956-2/pbk; 978-3-319-99957-9/ebook). x, 269 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Kotsireas, Ilias S. (ed.) et al., Mathematical aspects of computer and information sciences. 6th international conference, MACIS 2015, Berlin, Germany, November 11–13, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-32858-4/pbk; 978-3-319-32859-1/ebook). Lecture Notes in Computer Science 9582, 383-397 (2016).
MSC:  68 65
PDF BibTeX XML Cite
Full Text: DOI
Botana, Francisco (ed.) et al., Automated deduction in geometry. 10th international workshop, ADG 2014, Coimbra, Portugal, July 9–11, 2014. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9201, 149-165 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 437-451 (2014).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI
Ida, Tetsuo (ed.) et al., Automated deduction in geometry. 9th international workshop, ADG 2012, Edinburgh, UK, September 17–19, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-40671-3/pbk). Lecture Notes in Computer Science 7993. Lecture Notes in Artificial Intelligence, 33-47 (2013).
MSC:  65D17
PDF BibTeX XML Cite
Full Text: DOI
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 14th international workshop, CASC 2012, Maribor, Slovenia, September 3–6, 2012. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7442, 349-360 (2012).
MSC:  65D17
PDF BibTeX XML Cite
Full Text: DOI
Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 432-437 (2012).
PDF BibTeX XML Cite
Full Text: DOI
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, 22-41 (2011).
MSC:  68T30 51-01
PDF BibTeX XML Cite
Full Text: DOI
Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14–17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 382-385 (2009).
PDF BibTeX XML Cite
Horimoto, Katsuhisa (ed.) et al., Algebraic biology. Third international conference, AB 2008, Castle of Hagenberg, Austria, July 31–August 2, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85100-4/pbk). Lecture Notes in Computer Science 5147, 156-171 (2008).
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, 1-23 (2007).
MSC:  68T15 51-01 51-04 68U05
PDF BibTeX XML Cite
Full Text: DOI
Radon Series on Computational and Applied Mathematics 2. Berlin: Walter de Gruyter (ISBN 978-3-11-019323-7/hbk). v, 349 p. (2007).
PDF BibTeX XML Cite
Trends in Mathematics. Basel: Birkhäuser (ISBN 978-3-7643-7983-4/hbk). viii, 395 p. (2007).
MSC:  65-06 68-06 00B25
PDF BibTeX XML Cite
Dumas, Jean-Guillaume (ed.), Proceedings of the 2006 international symposium on symbolic and algebraic computation, ISSAC 06, Genova, Italy, July 9–12, 2006. New York, NY: ACM Press (ISBN 1-59593-276-3). 269-276 (2006).
MSC:  13P10 68W30 92C42
PDF BibTeX XML Cite
Full Text: DOI
Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. 8th international conference, AISC 2006, Beijing, China, September 20–22, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-39728-1/pbk). Lecture Notes in Computer Science 4120. Lecture Notes in Artificial Intelligence, 181-195 (2006).
MSC:  68T15 68W30
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 4120. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-540-39728-1/pbk). xiii, 269 p. (2006).
MSC:  68-06 68Txx 00B25
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, 130-155 (2006).
MSC:  68T15 68U05 68W30
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 3763. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 3-540-31332-X/pbk). x, 213 p. (2006).
MSC:  68-06 68T15 00B25
PDF BibTeX XML Cite
Full Text: DOI
Kauers, Manuel (ed.), Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC’05, Beijing, China, July 24–27, 2005. New York, NY: ACM Press (ISBN 1-59593-095-7). 354-361 (2005).
PDF BibTeX XML Cite
Full Text: DOI
Winkler, Franz (ed.), Automated deduction in geometry. 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4–6, 2002. Revised papers. Berlin: Springer (ISBN 3-540-20927-1/pbk). Lecture Notes in Computer Science 2930. Lecture Notes in Artificial Intelligence, 194-215 (2004).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17-19, 2002. Singapore: World Scientific. 379-389 (2002).
MSC:  68W30
PDF BibTeX XML Cite
Richter-Gebert, Jürgen (ed.) et al., Automated deduction in geometry. 3rd international workshop, ADG 2000, Zürich, Switzerland, September 25-27, 2000. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2061, 154-174 (2001).
MSC:  68U05 68T15 68W30
PDF BibTeX XML Cite
Full Text: Link
Lecture Notes in Computer Science 2061. Lecture Notes in Artificial Intelligence. Berlin: Springer. viii, 325 p. (2001).
MSC:  00B25 68-06 03-06 68T15
PDF BibTeX XML Cite
Lecture Notes Series on Computing. 8. Singapore: World Scientific. xii, 324 p. (2000).
MSC:  00B25 65-06 68-06 68W30 12Y05 13P10
PDF BibTeX XML Cite
Lecture Notes in Computer Science 1669. Lecture Notes in Artificial Intelligence. Berlin: Springer. vii, 287 p. (1999).
MSC:  00B25 68-06 03-06
PDF BibTeX XML Cite
Full Text: DOI
Calmet, Jacques (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC ’98, Plattsburgh, NY, USA, September 16–18, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1476, 145-156 (1998).
MSC:  03B35 68T15 68W30 68Q42 51-04 53-04
PDF BibTeX XML Cite
Buchberger, Bruno (ed.) et al., Gröbner bases and applications. Based on a course for young researchers, January 1998, and the conference “33 years of Gröbner bases”, Linz, Austria, February 2–4, 1998. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 251, 281-301 (1998).
MSC:  68T15 68Q05 13P10
PDF BibTeX XML Cite
Lecture Notes in Computer Science 1360. Lecture Notes in Artificial Intelligence. Berlin: Springer. vii, 235 p. (1998).
PDF BibTeX XML Cite
McRobbie, M. A. (ed.) et al., Automated deduction – CADE-13. 13th international conference on automated deduction, New Brunswick, NJ, USA, July/August 1996. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1104, 166-170 (1996).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Maurer, Hermann (ed.) et al., J.UCS. The Journal of Universal Computer Science. Vol. 1, 1995. Annual print and CD-ROM archive edition. With 1 CD-ROM. Berlin: Springer. 658-673 (1996).
MSC:  68T15
PDF BibTeX XML Cite
Pfalzgraf, Jochen (ed.) et al., Automated practical reasoning. Algebraic approaches. With a foreword by Jim Cunningham. Wien: Springer-Verlag. Texts and Monographs in Symbolic Computation. 187-201 (1995).
MSC:  68T15 68W30
PDF BibTeX XML Cite
Pfalzgraf, Jochen (ed.) et al., Automated practical reasoning. Algebraic approaches. With a foreword by Jim Cunningham. Wien: Springer-Verlag. Texts and Monographs in Symbolic Computation. 147-185 (1995).
MSC:  68T15 14Q99 51N99 68W30 13P99
PDF BibTeX XML Cite
Eyssette, Frédéric et al., Computational algebraic geometry. Papers from a conference, held in Nice, France, April 21-25, 1992. Boston: Birkhäuser. Prog. Math., Boston, Mass. 109, 301-328 (1993).
PDF BibTeX XML Cite
Watt, Stephen M. (ed.), ISSAC ’91. Proceedings of the 1991 international symposium on Symbolic and algebraic computation. Bonn, Germany, July 15–17, 1991. New York, NY: ACM Press, 462-463 (1991).
MSC:  68T05
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
Biographic Reference