Modes of Continuity in Diagram for Intermediate Value Theorem (Englisch)
- Neue Suche nach: Błaszczyk, Piotr
- Weitere Informationen zu Błaszczyk, Piotr:
- https://orcid.org/http://orcid.org/0000-0002-3501-3480
- Neue Suche nach: Fila, Marlena
- Weitere Informationen zu Fila, Marlena:
- https://orcid.org/http://orcid.org/0000-0001-6273-9220
- Neue Suche nach: Pietarinen, Ahti-Veikko
- Weitere Informationen zu Pietarinen, Ahti-Veikko:
- https://orcid.org/https://orcid.org/0000-0003-4855-8110
- Neue Suche nach: Chapman, Peter
- Weitere Informationen zu Chapman, Peter:
- https://orcid.org/https://orcid.org/0000-0002-5524-5780
- Neue Suche nach: Bosveld-de Smet, Leonie
- Weitere Informationen zu Bosveld-de Smet, Leonie:
- https://orcid.org/https://orcid.org/0000-0002-6173-4433
- Neue Suche nach: Giardino, Valeria
- Neue Suche nach: Corter, James
- Neue Suche nach: Linker, Sven
- Weitere Informationen zu Linker, Sven:
- https://orcid.org/https://orcid.org/0000-0003-2913-7943
- Neue Suche nach: Błaszczyk, Piotr
- Weitere Informationen zu Błaszczyk, Piotr:
- https://orcid.org/http://orcid.org/0000-0002-3501-3480
- Neue Suche nach: Fila, Marlena
- Weitere Informationen zu Fila, Marlena:
- https://orcid.org/http://orcid.org/0000-0001-6273-9220
In:
Diagrammatic Representation and Inference
: 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings
;
Kapitel: 4
;
34-49
;
2020
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Modes of Continuity in Diagram for Intermediate Value Theorem
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Pietarinen, Ahti-Veikko ( Herausgeber:in ) / Chapman, Peter ( Herausgeber:in ) / Bosveld-de Smet, Leonie ( Herausgeber:in ) / Giardino, Valeria ( Herausgeber:in ) / Corter, James ( Herausgeber:in ) / Linker, Sven ( Herausgeber:in ) / Błaszczyk, Piotr ( Autor:in ) / Fila, Marlena ( Autor:in )
-
Kongress:International Conference on Theory and Application of Diagrams ; 2020 ; Tallinn, Estonia
-
Erschienen in:Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings ; Kapitel: 4 ; 34-49Lecture Notes in Computer Science ; 12169 ; 34-49
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:17.08.2020
-
Format / Umfang:16 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:Intermediate Value Theorem , Dedekind Cut Principle , Continuous function , \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\varepsilon \delta $$\end{document}-continuity , Pencil continuity , Completeness , Real numbers , Hypereals , Real closed fields
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
On “Overspecification” in Medieval Mathematical DiagramsDe Young, Gregg et al. | 2020
- 2
-
Transductive Reconstruction of Hippocrates’ Dynamical Geometrical DiagramsVisokolskis, Sandra / Vargas, Evelyn / Carrión, Gonzalo et al. | 2020
- 3
-
Counting Mathematical Diagrams with Machine LearningSørensen, Henrik Kragh / Johansen, Mikkel Willum et al. | 2020
- 4
-
Modes of Continuity in Diagram for Intermediate Value TheoremBłaszczyk, Piotr / Fila, Marlena et al. | 2020
- 5
-
Modes of Diagrammatic Reasoning in Euclid’s ElementsBłaszczyk, Piotr / Petiurenko, Anna et al. | 2020
- 6
-
A Mentalist Look at Gaussian Clock ArithmeticJaspers, Dany et al. | 2020
- 7
-
A Diagram of Choice: The Curious Case of Wallis’s Attempted Proof of the Parallel Postulate and the Axiom of ChoiceTherrien, Valérie Lynn et al. | 2020
- 8
-
A Sketch of a Theory and Modelling Notation for Elucidating the Structure of RepresentationsCheng, Peter C.-H. et al. | 2020
- 9
-
Modality and Uncertainty in Data Visualizations: A Corpus Approach to the Use of Connecting LinesLechner, Verena Elisabeth et al. | 2020
- 10
-
Channel-Theoretic Account of the Semantic Potentials of False DiagramsShimojima, Atsushi / Barker-Plummer, Dave et al. | 2020
- 11
-
Dissecting RepresentationsRaggi, Daniel / Stockdill, Aaron / Jamnik, Mateja / Garcia Garcia, Grecia / Sutherland, Holly E. A. / Cheng, Peter C.-H. et al. | 2020
- 12
-
Towards Data-Driven Multilinear Metro MapsNickel, Soeren / Nöllenburg, Martin et al. | 2020
- 13
-
Visualizing Sound, Hearing Diagrams: On the Creative Process of Syrmos by Iannis XenakisBesada, José L. et al. | 2020
- 14
-
String Diagrams for Assembly PlanningMaster, Jade / Patterson, Evan / Yousfi, Shahin / Canedo, Arquimedes et al. | 2020
- 15
-
An Alternative Reformulation of the Transformation Rules in the Beta Part of Peirce’s Existential GraphsAtarashi, Shigeyuki et al. | 2020
- 16
-
Observational Advantages and Occurrence ReferentialityBellucci, Francesco / Burton, Jim et al. | 2020
- 17
-
The Diagram ProblemKozak, Piotr et al. | 2020
- 18
-
The BlotPietarinen, Ahti-Veikko / Bellucci, Francesco / Bobrova, Angelina / Haydon, Nathan / Shafiei, Mohammad et al. | 2020
- 19
-
Two Implications and Dual-Process Theories of ReasoningBobrova, Angelina / Pietarinen, Ahti-Veikko et al. | 2020
- 20
-
Well-Matchedness in Euler and Linear DiagramsStapleton, Gem / Rodgers, Peter / Touloumis, Anestis / Blake, Andrew et al. | 2020
- 21
-
Intuitionistic Euler-Venn DiagramsLinker, Sven et al. | 2020
- 22
-
Schopenhauer Diagrams for Conceptual AnalysisDobrzański, Michał / Lemanski, Jens et al. | 2020
- 23
-
Euler Diagrams for Defeasible ReasoningTakemura, Ryo et al. | 2020
- 24
-
Event Unit Analysis: A Methodology for Anticipating Processing Demands of Complex Animated DiagramsLowe, Richard / Boucheix, Jean-Michel et al. | 2020
- 25
-
Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and GraphsBaimagambetov, Almas / Stapleton, Gem / Blake, Andrew / Howse, John et al. | 2020
- 26
-
Visual Causality: Investigating Graph Layouts for Understanding Causal ProcessesVo, Dong-Bach / Lazarova, Kristina / Purchase, Helen C. / McCann, Mark et al. | 2020
- 27
-
Influence of Shape, Density, and Edge Crossings on the Perception of Graph DifferencesWallner, Günter / Pohl, Margit / Graniczkowska, Cynthia / Ballweg, Kathrin / von Landesberger, Tatiana et al. | 2020
- 28
-
Map or Gantt? Which Diagram Helps Viewers Best in Spatio-Temporal Data Exploration Tasks?Bosveld-de Smet, Leonie / Houben, Daniël et al. | 2020
- 29
-
On Effects of Changing Multi-attribute Table Design on Decision Making: An Eye-Tracking StudyIdeno, Takashi / Morii, Masahiro / Takemura, Kazuhisa / Okada, Mitsuhiro et al. | 2020
- 30
-
Using Multigraphs to Study the Interaction Between Opposition, Implication and Duality Relations in Logical SquaresDemey, Lorenz / Smessaert, Hans et al. | 2020
- 31
-
Opposition Relations Between PropheciesCruz, José David García / Ramos, Yessica Espinoza et al. | 2020
- 32
-
Compositional Diagrammatic First-Order LogicHaydon, Nathan / Sobociński, Paweł et al. | 2020
- 33
-
Free Rides in Logical Space Diagrams Versus Aristotelian DiagramsSmessaert, Hans / Shimojima, Atsushi / Demey, Lorenz et al. | 2020
- 34
-
Fregean Logical GraphsBellucci, Francesco et al. | 2020
- 35
-
Calculus CL as a Formal SystemLemanski, Jens / Jansen, Ludger et al. | 2020
- 36
-
Truth Graph: A Novel Method for Minimizing Boolean Algebra Expressions by Using GraphsAlharbi, Eisa et al. | 2020
- 37
-
Syllogisms with Intermediate Quantifiers Solved in Marlo Logic DiagramsAznar, Marcos Bautista López et al. | 2020
- 38
-
The Indemonstrables of Chrysippus of Soli in Marlo Logical Diagrams. Could Propositional Calculus Be Nothing but Syllogisms?Aznar, Marcos Bautista López et al. | 2020
- 39
-
‘Tokenized’ Dynamic Diagrams: An Approach for Improving Mental Model Construction?Boucheix, Jean-Michel / Lowe, Richard et al. | 2020
- 40
-
Depicting Negative Information in Photographs, Videos, and Comics: A Preliminary AnalysisSato, Yuri / Mineshima, Koji et al. | 2020
- 41
-
The Marlo Diagram in the ClassroomAznar, Marcos Bautista López et al. | 2020
- 42
-
Typical Cases Showing the Efficiency of Existential GraphsSasaki, Takashi et al. | 2020
- 43
-
The Sung Diagram: Revitalizing the Eisenhower MatrixBratterud, Hannah / Burgess, Mac / Fasy, Brittany Terese / Millman, David L. / Oster, Troy / Sung, Eunyoung (Christine) et al. | 2020
- 44
-
Marlo’s Networks of Expectations in the Classroom: A Tool for Heterogeneous ReasoningAznar, Marcos Bautista López et al. | 2020
- 45
-
Experimenting with Diagrams in MathematicsSochański, Michał et al. | 2020
- 46
-
Historio-GraphyMoktefi, Amirouche et al. | 2020
- 47
-
A Semiotic-Conceptual Analysis of Euler and Hasse DiagramsPriss, Uta et al. | 2020
- 48
-
On the Shoulders of Giants: Colourful Argument Trees for Academic WritingKruusmaa, Maarja / Moktefi, Amirouche / Tuhtan, Jeffrey et al. | 2020
- 49
-
Beta Assertive GraphsBellucci, Francesco / Chiffi, Daniele / Pietarinen, Ahti-Veikko et al. | 2020
- 50
-
Peirce’s Inclusion Diagrams, with Application to SyllogismsBhattacharjee, Reetu / Moktefi, Amirouche et al. | 2020
- 51
-
The DNA Framework of VisualizationEngelhardt, Yuri / Richards, Clive et al. | 2020
- 52
-
Imagine a Round SquareMoktefi, Amirouche / Družinina, Jelena et al. | 2020
- 53
-
Visualizing CurriculaNiemiec, Jacklynn et al. | 2020
- 54
-
Elucidating the Effects of Diagram Use Training for Math Word Problem SolvingAyabe, Hiroaki / Manalo, Emmanuel / Hanaki, Noriko et al. | 2020