Jacques Carette – författare
Visar alla böcker från författaren Jacques Carette. Handla med fri frakt och snabb leverans.
10 produkter
Mathematical Software – ICMS 2020
7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings
Av Anna Maria Bigatti, Jacques Carette m. fl.
Häftad, 2020
552 kr
Lägg i varukorg
This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 meeting consisted of 20 …
Mathematical Software - ICMS 2020
7th International Conference, Braunschweig, Germany, July 13–16, 2020, Proceedings
Av Timo de Wolff, Michael Joswig m. fl.
E-bok, 2020
734 kr
Lägg i varukorg
This book constitutes the proceedings of the 7th International Conference on Mathematical Software, ICMS 2020, held in Braunschweig, Germany, in July 2020. The 48 papers included in this volume were carefully reviewed and selected from 58 submissions. The program of the 2020 meeting consisted of 20 …
Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Av Manfred Kerber, Jacques Carette m. fl.
Häftad, 2015
567 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and …
Intelligent Computer Mathematics
International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Av Volker Sorge, Florian Rabe m. fl.
E-bok, 2015
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and …
Intelligent Computer Mathematics
16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
Av Jacques Carette, Lucas Dixon m. fl.
Häftad, 2009
567 kr
Lägg i varukorg
As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among …
Intelligent Computer Mathematics
16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
Av Stephen Watt, Claudio Sacerdoti Coen m. fl.
E-bok, 2009
718 kr
Lägg i varukorg
As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among …
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
Av Johan Jeuring, John Campbell m. fl.
Häftad, 2012
569 kr
Lägg i varukorg
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital …
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
Av Volker Sorge, Makarius Wenzel m. fl.
E-bok, 2012
739 kr
Lägg i varukorg
This book constitutes the joint refereed proceedings of the 11th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2012, 19th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2012, 5th International Workshop on Digital …
Intelligent Computer Mathematics
MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
Av Jacques Carette, David Aspinall m. fl.
Häftad, 2013
569 kr
Lägg i varukorg
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the …
Intelligent Computer Mathematics
MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
Av Wolfgang Windsteiger, Petr Sojka m. fl.
E-bok, 2013
755 kr
Lägg i varukorg
This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the …
