Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorDetinko, Alla
dc.contributor.authorFlannery, Dane
dc.date.accessioned2020-01-29T12:30:09Z
dc.date.available2020-01-29T12:30:09Z
dc.date.issued2019-12
dc.identifier253120361
dc.identifier4c8fc50d-6c14-44fe-a17b-2952d0e645b8
dc.identifier85052931878
dc.identifier000518490500004
dc.identifier.citationDetinko , A & Flannery , D 2019 , ' Linear groups and computation ' , Expositiones Mathematicae , vol. 37 , no. 4 , pp. 454-484 . https://doi.org/10.1016/j.exmath.2018.07.002en
dc.identifier.issn0723-0869
dc.identifier.urihttps://hdl.handle.net/10023/19370
dc.descriptionFunding: A. S. Detinko is supported by a Marie Skłodowska-Curie Individual Fellowship grant (Horizon 2020, EU Framework Programme for Research and Innovation).en
dc.description.abstractWe present an exposition of our ongoing project in a new area of applicable mathematics: practical computation with finitely generated linear groups over infinite fields. Methodology and algorithms available for practical computation in this class of groups are surveyed. We illustrate the solution of hard mathematical problems by computer experimentation. Possible avenues for further progress are discussed.
dc.format.extent31
dc.format.extent379666
dc.language.isoeng
dc.relation.ispartofExpositiones Mathematicaeen
dc.subjectMatrix groupen
dc.subjectAlgorithmen
dc.subjectComputationen
dc.subjectDecidable problemen
dc.subjectQA Mathematicsen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectT-NDASen
dc.subject.lccQAen
dc.subject.lccQA75en
dc.titleLinear groups and computationen
dc.typeJournal articleen
dc.contributor.institutionUniversity of St Andrews. School of Computer Scienceen
dc.identifier.doi10.1016/j.exmath.2018.07.002
dc.description.statusPeer revieweden
dc.identifier.urlhttps://arxiv.org/abs/1805.05984en


This item appears in the following Collection(s)

Show simple item record