DC Field | Value | Language |
---|---|---|
dc.contributor.author | Brauße, Franz | ko |
dc.contributor.author | Collins, Pieter | ko |
dc.contributor.author | Ziegler, Martin A | ko |
dc.date.accessioned | 2022-10-19T12:00:11Z | - |
dc.date.available | 2022-10-19T12:00:11Z | - |
dc.date.created | 2022-09-27 | - |
dc.date.created | 2022-09-27 | - |
dc.date.issued | 2022-08 | - |
dc.identifier.citation | 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022, pp.62 - 82 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://hdl.handle.net/10203/299048 | - |
dc.description.abstract | Building on George Boole’s work, Logic provides a rigorous foundation for the powerful tools in Computer Science that underlie nowadays ubiquitous processing of discrete data, such as strings or graphs. Concerning continuous data, already Alan Turing had applied “his” machines to formalize and study the processing of real numbers: an aspect of his oeuvre that we transform from theory to practice. The present essay surveys the state of the art and envisions the future of Computer Science for continuous data: natively, beyond brute-force discretization, based on and guided by and extending classical discrete Computer Science, as bridge between Pure and Applied Mathematics. | - |
dc.language | English | - |
dc.publisher | Springer Science and Business Media Deutschland GmbH | - |
dc.title | Computer Science for Continuous Data Survey, Vision, Theory, and Practice of a Computer Algebra Analysis System | - |
dc.type | Conference | - |
dc.identifier.wosid | 000874479800005 | - |
dc.identifier.scopusid | 2-s2.0-85137006565 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 62 | - |
dc.citation.endingpage | 82 | - |
dc.citation.publicationname | 24th International Workshop on Computer Algebra in Scientific Computing, CASC 2022 | - |
dc.identifier.conferencecountry | TU | - |
dc.identifier.conferencelocation | Gebze | - |
dc.identifier.doi | 10.1007/978-3-031-14788-3_5 | - |
dc.contributor.localauthor | Ziegler, Martin A | - |
dc.contributor.nonIdAuthor | Brauße, Franz | - |
dc.contributor.nonIdAuthor | Collins, Pieter | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.