Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System

F. Brausse; P. Collins; M. Ziegler

doi:10.1007/978-3-031-14788-3_5

Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System

F. Brausse, P. Collins, M. Ziegler^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

451 Downloads (Pure)

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.

Original language	English
Title of host publication	Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings
Subtitle of host publication	Conference proceedings
Editors	François Boulier, Matthew England, Timur M. Sadykov, Evgenii V. Vorozhtsov
Publisher	Springer International Publishing AG
Pages	62-82
Number of pages	21
Volume	13366
ISBN (Electronic)	978-3-031-14788-3
ISBN (Print)	9783031147876
DOIs	https://doi.org/10.1007/978-3-031-14788-3_5
Publication status	Published - 2022
Event	24th International Workshop on Computer Algebra in Scientific Computing (CASC) - Gebze, Turkey Duration: 22 Aug 2022 → 26 Aug 2022 http://www.casc-conference.org/2022/

Publication series

Series	Lecture Notes in Computer Science
Volume	13366
ISSN	0302-9743

Conference

Conference	24th International Workshop on Computer Algebra in Scientific Computing (CASC)
Country/Territory	Turkey
City	Gebze
Period	22/08/22 → 26/08/22
Internet address	http://www.casc-conference.org/2022/

Keywords

COMPUTATIONAL-COMPLEXITY
COMPUTABILITY
AXIOM

Access to Document

10.1007/978-3-031-14788-3_5

Full TextFinal published version, 10.4 MBLicence: Taverne

Cite this

Brausse, F., Collins, P., & Ziegler, M. (2022). Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System. In F. Boulier, M. England, T. M. Sadykov, & E. V. Vorozhtsov (Eds.), Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings: Conference proceedings (Vol. 13366, pp. 62-82). Springer International Publishing AG. https://doi.org/10.1007/978-3-031-14788-3_5

Brausse, F. ; Collins, P. ; Ziegler, M. / Computer Science for Continuous Data : Survey, Vision, Theory, and Practice of a Computer Analysis System. Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings: Conference proceedings. editor / François Boulier ; Matthew England ; Timur M. Sadykov ; Evgenii V. Vorozhtsov. Vol. 13366 Springer International Publishing AG, 2022. pp. 62-82 (Lecture Notes in Computer Science, Vol. 13366).

@inbook{33e5dd6afb5d48879b42120312233bce,

title = "Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System",

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.",

keywords = "COMPUTATIONAL-COMPLEXITY, COMPUTABILITY, AXIOM",

author = "F. Brausse and P. Collins and M. Ziegler",

note = "Funding Information: This work was supported by the National Research Foundation of Korea (grant 2017R1E1A1A03071032) and by the International Research & Development Program of the Korean Ministry of Science and ICT (grant 2016K1A3A7A03950702) and by the European Union{\textquoteright}s Horizon 2020 MSCA IRSES project #731143. Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 24th International Workshop on Computer Algebra in Scientific Computing (CASC) ; Conference date: 22-08-2022 Through 26-08-2022",

year = "2022",

doi = "10.1007/978-3-031-14788-3_5",

language = "English",

isbn = "9783031147876",

volume = "13366",

series = "Lecture Notes in Computer Science",

publisher = "Springer International Publishing AG",

pages = "62--82",

editor = "Fran{\c c}ois Boulier and Matthew England and Sadykov, {Timur M.} and Vorozhtsov, {Evgenii V.}",

booktitle = "Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings",

url = "http://www.casc-conference.org/2022/",

}

Brausse, F, Collins, P & Ziegler, M 2022, Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System. in F Boulier, M England, TM Sadykov & EV Vorozhtsov (eds), Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings: Conference proceedings. vol. 13366, Springer International Publishing AG, Lecture Notes in Computer Science, vol. 13366, pp. 62-82, 24th International Workshop on Computer Algebra in Scientific Computing (CASC), Gebze, Turkey, 22/08/22. https://doi.org/10.1007/978-3-031-14788-3_5

Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System. / Brausse, F.; Collins, P.; Ziegler, M.
Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings: Conference proceedings. ed. / François Boulier; Matthew England; Timur M. Sadykov; Evgenii V. Vorozhtsov. Vol. 13366 Springer International Publishing AG, 2022. p. 62-82 (Lecture Notes in Computer Science, Vol. 13366).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

TY - CHAP

T1 - Computer Science for Continuous Data

T2 - 24th International Workshop on Computer Algebra in Scientific Computing (CASC)

AU - Brausse, F.

AU - Collins, P.

AU - Ziegler, M.

N1 - Funding Information: This work was supported by the National Research Foundation of Korea (grant 2017R1E1A1A03071032) and by the International Research & Development Program of the Korean Ministry of Science and ICT (grant 2016K1A3A7A03950702) and by the European Union’s Horizon 2020 MSCA IRSES project #731143. Publisher Copyright: © 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.

PY - 2022

Y1 - 2022

N2 - 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.

AB - 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.

KW - COMPUTATIONAL-COMPLEXITY

KW - COMPUTABILITY

KW - AXIOM

U2 - 10.1007/978-3-031-14788-3_5

DO - 10.1007/978-3-031-14788-3_5

M3 - Chapter

SN - 9783031147876

VL - 13366

T3 - Lecture Notes in Computer Science

SP - 62

EP - 82

BT - Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings

A2 - Boulier, François

A2 - England, Matthew

A2 - Sadykov, Timur M.

A2 - Vorozhtsov, Evgenii V.

PB - Springer International Publishing AG

Y2 - 22 August 2022 through 26 August 2022

ER -

Brausse F, Collins P, Ziegler M. Computer Science for Continuous Data: Survey, Vision, Theory, and Practice of a Computer Analysis System. In Boulier F, England M, Sadykov TM, Vorozhtsov EV, editors, Computer Algebra in Scientific Computing - 24th International Workshop, CASC 2022, Proceedings: Conference proceedings. Vol. 13366. Springer International Publishing AG. 2022. p. 62-82. (Lecture Notes in Computer Science, Vol. 13366). doi: 10.1007/978-3-031-14788-3_5