eBook
Mathematical Software – ICMS 2024
| Title: | Mathematical Software – ICMS 2024 |
|---|---|
| Description: | This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22–25, 2024. The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software for the applications of group theory to combinatorics; classical algebraic geometry & modern computer algebra: innovative software design and its applications; advancing computer algebra with massively parallel methods; computer algebra applications in the life sciences; machine learning within computer algebra systems; numerical software for special functions; mathematical research data; symbolic-numeric methods in algebraic geometry; Polyhedral geometry and combinatorics; general session. |
| Authors: | Kevin Buzzard, Alicia Dickenstein, Bettina Eick, Anton Leykin, Yue Ren |
| Resource Type: | eBook. |
| Subjects: | Mathematics--Computer programs--Congresses, Mathematics--Data processing--Congresses, Computer software--Congresses |
| Categories: | COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, MATHEMATICS / Applied |
| Database: | eBook Index |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: edsebk DbLabel: eBook Index An: 3975023 RelevancyScore: 975 AccessLevel: 6 PubType: eBook PubTypeId: ebook PreciseRelevancyScore: 974.776672363281 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Mathematical Software – ICMS 2024 – Name: Abstract Label: Description Group: Ab Data: This book constitutes the proceedings of the 8th International Conference on Mathematical Software, ICMS 2024, held in Durham, UK, during July 22–25, 2024. The 37 full papers presented were carefully reviewed and selected from 46 submissions. The papers are organized in subject areas as follows: plenary lectures; number theory and related areas; novel formalisations of mathematics in lean; software for the applications of group theory to combinatorics; classical algebraic geometry & modern computer algebra: innovative software design and its applications; advancing computer algebra with massively parallel methods; computer algebra applications in the life sciences; machine learning within computer algebra systems; numerical software for special functions; mathematical research data; symbolic-numeric methods in algebraic geometry; Polyhedral geometry and combinatorics; general session. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Kevin+Buzzard%22">Kevin Buzzard</searchLink><br /><searchLink fieldCode="AR" term="%22Alicia+Dickenstein%22">Alicia Dickenstein</searchLink><br /><searchLink fieldCode="AR" term="%22Bettina+Eick%22">Bettina Eick</searchLink><br /><searchLink fieldCode="AR" term="%22Anton+Leykin%22">Anton Leykin</searchLink><br /><searchLink fieldCode="AR" term="%22Yue+Ren%22">Yue Ren</searchLink> – Name: TypePub Label: Resource Type Group: TypPub Data: eBook. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Mathematics--Computer+programs--Congresses%22">Mathematics--Computer programs--Congresses</searchLink><br /><searchLink fieldCode="DE" term="%22Mathematics--Data+processing--Congresses%22">Mathematics--Data processing--Congresses</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software--Congresses%22">Computer software--Congresses</searchLink> – Name: SubjectBISAC Label: Categories Group: Su Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Science%22">COMPUTERS / Computer Science</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Artificial+Intelligence+%2F+General%22">COMPUTERS / Artificial Intelligence / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Computer+Architecture%22">COMPUTERS / Computer Architecture</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Networking+%2F+General%22">COMPUTERS / Networking / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Hardware+%2F+General%22">COMPUTERS / Hardware / General</searchLink><br /><searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Applied%22">MATHEMATICS / Applied</searchLink> |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsebk&AN=3975023 |
| RecordInfo | BibRecord: BibEntity: Classifications: – Code: 510.285536 Scheme: ddc Type: prePub Languages: – Code: eng Text: English Subjects: – SubjectFull: Mathematics--Computer programs--Congresses Type: general – SubjectFull: Mathematics--Data processing--Congresses Type: general – SubjectFull: Computer software--Congresses Type: general Titles: – TitleFull: Mathematical Software – ICMS 2024 Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Kevin Buzzard – PersonEntity: Name: NameFull: Alicia Dickenstein – PersonEntity: Name: NameFull: Bettina Eick – PersonEntity: Name: NameFull: Anton Leykin – PersonEntity: Name: NameFull: Yue Ren – PersonEntity: Name: NameFull: Kevin Buzzard – PersonEntity: Name: NameFull: Alicia Dickenstein – PersonEntity: Name: NameFull: Bettina Eick – PersonEntity: Name: NameFull: Anton Leykin – PersonEntity: Name: NameFull: Yue Ren IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2024 – D: 17 M: 07 Type: profile Y: 2024 Identifiers: – Type: isbn-print Value: 9783031645280 – Type: isbn-electronic Value: 9783031645297 Numbering: – Type: volume Value: 14749 Titles: – TitleFull: Mathematical Software – ICMS 2024 Type: main |
| ResultId | 1 |