Search results
- 1.0579461 - ÚI 2024 RIV DE eng C - Conference Paper (international conference)
Ratschan, Stefan
Deciding Predicate Logical Theories Of Real-Valued Functions.
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023). Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023 - (Leroux, J.; Lombardy, S.; Peleg, D.), č. článku 76. Leibniz International Proceedings in Informatics, 272. ISBN 978-3-95977-292-1. ISSN 1868-8969.
[MFCS 2023: International Symposium on Mathematical Foundations of Computer Science /48./. Bordeaux (FR), 28.08.2023-01.09.2023]
R&D Projects: GA ČR(CZ) GA21-09458S
Institutional support: RVO:67985807
Keywords : decision procedures * first-order predicate logical theories * real numbers * real-valued functions
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.MFCS.2023.76
Permanent Link: https://hdl.handle.net/11104/0348265File Download Size Commentary Version Access 0579461-aoa.pdf 2 730.8 KB OA CC BY 4.0 Publisher’s postprint open-access
Research data: ArXiv.org (preprint) - 2.0577735 - FLÚ 2024 RIV CZ cze J - Journal Article
Vlasáková, Marta
Cantorův diagonální důkaz.
[Cantor’s Diagonal Proof.]
Teorie vědy. Roč. 45, č. 2 (2023), s. 153-193. ISSN 1210-0250. E-ISSN 1804-6347
R&D Projects: GA ČR(CZ) GA23-07119S
Institutional support: RVO:67985955
Keywords : Cantor’s diagonal proof * actual and potential infinity * real numbers * set cardinality * recursive function
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Open access
https://doi.org/10.46938/tv.2023.605
Permanent Link: https://hdl.handle.net/11104/0348567 - 3.0561783 - FLÚ 2023 RIV NL eng E - Electronic Document
Fuentes Guillén, Elías
Bolzano’s Theory of meßbare Zahlen. Insights and Uncertainties Regarding the Number Continuum.
[textový soubor]. - Cham: Springer, 2022, 564 kB
R&D Projects: GA ČR(CZ) GJ19-03125Y
Institutional support: RVO:67985955
Keywords : Bernard Bolzano * measurable numbers * number continuum * real numbers * nineteenth-century mathematics
OECD category: Philosophy, History and Philosophy of science and technology
https://doi.org/10.1007/978-3-030-19071-2_96-2
Permanent Link: https://hdl.handle.net/11104/0334901 - 4.0548251 - FLÚ 2022 ES spa R - Book Review
Fuentes Guillén, Elías
Georg Cantor. Obra matemática, by Carlos Gómez Bermúdez [Review].
[CANTOR, G.: Obra matemática. La Coruña: Universidade da Coruña. Madrid: RSME, 2019. ISBN 978-84-9749-702-2, ISBN 978-84-9351-969-8]. La Gaceta de la Real Sociedad Matematica Espaňola. Roč. 24, č. 1 (2021), s. 211-219. ISSN 1138-8927
Institutional support: RVO:67985955
Keywords : Georg Cantor * History of mathematics in the 19th century * History of set theory * History of real numbers
OECD category: Philosophy, History and Philosophy of science and technology
Method of publishing: Open access
https://gaceta.rsme.es/abrir.php?id=1627
Permanent Link: http://hdl.handle.net/11104/0324339 - 5.0449388 - ÚI 2017 RIV NL eng J - Journal Article
Franek, Peter - Ratschan, Stefan - Zgliczynski, P.
Quasi-Decidability of a Fragment of the First-Order Theory of Real Numbers.
Journal of Automated Reasoning. Roč. 57, č. 2 (2016), s. 157-185. ISSN 0168-7433. E-ISSN 1573-0670
R&D Projects: GA ČR GCP202/12/J060; GA MŠMT OC10048; GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : decidability * decision procedure * real numbers
Subject RIV: IN - Informatics, Computer Science
Impact factor: 1.636, year: 2016
Permanent Link: http://hdl.handle.net/11104/0250958File Download Size Commentary Version Access a0449388.pdf 9 702.4 KB Publisher’s postprint require - 6.0405562 - UIVT-O 330942 RIV ES eng C - Conference Paper (international conference)
Běhounek, Libor
Towards a Formal Theory of Fuzzy Dedekind Reals.
[Předběžný nástin formální teorie dedekindovských fuzzy reálných čísel.]
Fuzzy Logic and Technology. Barcelona, 2005 - (Montseny, E.; Sobrevilla, P.), s. 949-954. ISBN 84-7683-872-3.
[EUSFLAT - LFA 2005. Conference of the European Society for Fuzzy Logic and Technology /13./, Recontres Francophones sur la Logique Floue et ses Applications /11./. Barcelona (ES), 07.09.2005-09.09.2005]
R&D Projects: GA AV ČR KJB100300502
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy Dedekind completion * fuzzy real numbers * high-order fuzzy logic
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125717 - 7.0368130 - ÚI 2012 RIV DE eng C - Conference Paper (international conference)
Franek, Peter - Ratschan, Stefan - Zgliczynski, P.
Satisfiability of Systems of Equations of Real Analytic Functions is Quasi-decidable.
Mathematical Foundations of Computer Science 2011. Berlin: Springer, 2011 - (Murlak, F.; Sankowski, P.), s. 315-326. Lecture Notes in Computer Science, 6907. ISBN 978-3-642-22992-3. ISSN 0302-9743.
[MFCS 2011. International Symposium /36./. Warsaw (PL), 22.08.2011-26.08.2011]
R&D Projects: GA MŠMT OC10048
Institutional research plan: CEZ:AV0Z10300504
Keywords : decidability * logical theories * real numbers
Subject RIV: IN - Informatics, Computer Science
Permanent Link: http://hdl.handle.net/11104/0202562File Download Size Commentary Version Access a0368130.pdf 2 216 KB Publisher’s postprint require - 8.0318380 - ÚI 2009 BE eng A - Abstract
Běhounek, Libor
Axiomatization of Mathematical and Physical Theories in t-norm logics.
Logic and the Foundations of Physics: Space, Time and Quanta. Brussel: CLEA, 2008. s. 21-22.
[Trends in Logic /6./. 11.12.2008-12.12.2008, Brussels]
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * axiomatic theory * real numbers
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0167816 - 9.0106898 - MU-W 20040105 RIV CZ cze J - Journal Article
Práger, Milan - Sýkorová, I.
Jak počítače počítají.
[How the computers compute.]
Pokroky matematiky, fyziky & astronomie. Roč. 49, č. 1 (2004), s. 32-45. ISSN 0032-2423
Institutional research plan: CEZ:AV0Z1019905
Keywords : real numbers representation * computer arithmetics * round-off errors
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0014070File Download Size Commentary Version Access Prager.pdf 1 311.1 KB Publisher’s postprint open-access