國立高雄大學圖資館 |

Language: English

Back

Mathematical software - ICMS 20207th...

(1998 :)

Mathematical software - ICMS 20207th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Mathematical software - ICMS 2020edited by Anna Maria Bigatti ... [et al.].
Reminder of title:	7th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings /
remainder title:	ICMS 2020
other author:	Bigatti, Anna Maria.
corporate name:
Published:	Cham :Springer International Publishing :2020.
Description:	xxiii, 494 p. :ill., digital ;24 cm.
Contained By:	Springer Nature eBook
Subject:	MathematicsCongresses.Computer programs
Online resource:	https://doi.org/10.1007/978-3-030-52200-1
ISBN:	9783030522001$q(electronic bk.)

Mathematical software - ICMS 20207th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings /
Mathematical software - ICMS 20207th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings /[electronic resource] :ICMS 2020edited by Anna Maria Bigatti ... [et al.]. - Cham :Springer International Publishing :2020. - xxiii, 494 p. :ill., digital ;24 cm. - Lecture notes in computer science,120970302-9743 ;. - Lecture notes in computer science ;4891..

Grobner Bases in Theory and Practice -- Algebraic Geometry via Numerical Computation -- Software for Number Theory and Arithmetic Geometry -- Groups and Group Actions -- The Classification Problem in Geometry -- Univalent Mathematics: Theory and Implementation -- Databases in Mathematics -- Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data -- The Jupyter Environment for Computational Mathematics -- General Session.

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 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use.

ISBN: 9783030522001$q(electronic bk.)

Standard No.: 10.1007/978-3-030-52200-1doiSubjects--Topical Terms:

440734
Mathematics
--Computer programs--Congresses.

LC Class. No.: QA76.95 / .I5654 2020

Dewey Class. No.: 510.285536

Mathematical software - ICMS 20207th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings /
LDR:02181nmm a2200373 a 4500 001 583481
003 DE-He213
005 20200707234205.0
006 m d
007 cr nn 008maaau
008 210202s2020 sz s 0 eng d
020 $a 9783030522001$q(electronic bk.)
020 $a 9783030521998$q(paper)
024 7 $a 10.1007/978-3-030-52200-1 $2 doi
035 $a 978-3-030-52200-1
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.95 $b .I5654 2020
072 7 $a PBD $2 bicssc
072 7 $a COM018000 $2 bisacsh
072 7 $a PBD $2 thema
072 7 $a UYAM $2 thema
082 0 4 $a 510.285536 $2 23
090 $a QA76.95 $b .I61 2020
111 2 $n (3rd : $d 1998 : $c Amsterdam, Netherlands) $3 194767
245 1 0 $a Mathematical software - ICMS 2020 $h [electronic resource] : $b 7th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings / $c edited by Anna Maria Bigatti ... [et al.].
246 3 $a ICMS 2020
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a xxiii, 494 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 12097
490 1 $a Theoretical computer science and general issues
505 0 $a Grobner Bases in Theory and Practice -- Algebraic Geometry via Numerical Computation -- Software for Number Theory and Arithmetic Geometry -- Groups and Group Actions -- The Classification Problem in Geometry -- Univalent Mathematics: Theory and Implementation -- Databases in Mathematics -- Accelerating Innovation Speed in Mathematics by Trading Mathematical Research Data -- The Jupyter Environment for Computational Mathematics -- General Session.
520 $a 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 topical sessions, each of which providing an overview of the challenges, achievements and progress in a environment of mathematical software research, development and use.
650 0 $a Mathematics $x Computer programs $v Congresses. $3 440734
650 0 $a Mathematics $x Data processing $v Congresses. $3 445277
650 0 $a Computer software $3 252618
650 1 4 $a Discrete Mathematics in Computer Science. $3 274791
650 2 4 $a Data Structures and Information Theory. $3 825714
650 2 4 $a Computer Communication Networks. $3 218087
650 2 4 $a Special Purpose and Application-Based Systems. $3 274487
650 2 4 $a Computer System Implementation. $3 276333
650 2 4 $a Mathematical Applications in Computer Science. $3 530811
700 1 $a Bigatti, Anna Maria. $3 874044
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer Nature eBook
830 0 $a Lecture notes in computer science ; $v 4891. $3 383229
830 0 $a Theoretical computer science and general issues. $3 822018
856 4 0 $u https://doi.org/10.1007/978-3-030-52200-1
950 $a Computer Science (SpringerNature-11645)