Concepedia

Flowchart Proof

A Flowchart Proof is a type of geometric proof that uses a diagrammatic structure of boxes and arrows to represent logical arguments, where each statement and its justification are placed in separate boxes and connected by arrows to show the flow of reasoning from premises to conclusion.

5

Publications

200

Citations

28

Authors

33

Institutions

Publications per year

2017–2026

2

Variants

Flow Chart Proof

Parents

Publications

5

Management of Paediatric Ulcerative Colitis, Part 2: Acute Severe Colitis-An Evidence-based Consensus Guideline From the European Crohn's and Colitis Organization and the European Society of Paediatric Gastroenterology, Hepatology and Nutrition

Dan Turner, Frank M. Ruemmele, Esther Orlanski‐Meyer et al. · Zurich Open Repository and Archive (University of Zurich) · 2018 · 117 citations

, , +17

Flow-chart proofs with open problems as scaffolds for learning about geometrical proofs

Mikio Miyazaki, Taro Fujita, Keith Jones · ZDM · 2015 · 37 citations

, , +12

Designing a Web-based Learning Support System for Flow-chart Proving in School Geometry

Mikio Miyazaki, Taro Fujita, Keith Jones et al. · Digital Experiences in Mathematics Education · 2017 · 18 citations · Full text

, , +10

Some inference rules for integer arithmetic for verification of flowchart programs on integers

Dipankar Sarkar, Sudeshna Sarkar · IEEE Transactions on Software Engineering · 1989 · 17 citations

, , +17

Nontrivial definability by flow-chart programs

Paweł Urzyczyn · Information and Control · 1983 · 11 citations

, , +11

1–5 of 5

Authors

28

  1. MM
    Mikio Miyazaki

    Shinshu University, Japan

    2 publications · 55 citations

    2

    h-index

  2. TF
    Taro Fujita

    University of Exeter, United Kingdom

    2 publications · 55 citations

    2

    h-index

  3. KJ
    Keith Jones

    Brookhaven National Laboratory, United States

    2 publications · 55 citations

    2

    h-index

  4. YI
    Yasuo Iwanaga

    Shinshu University, Japan

    1 publications · 18 citations

    1

    h-index

  5. PU
    Paweł Urzyczyn

    University of Warsaw, Poland

    1 publications · 11 citations

    1

    h-index

1–5 of 28

Institutions

33

  1. University of Southampton

    Southampton, United Kingdom

    2 h-index

    2 publications

    55 citations

  2. Shinshu University

    Matsumoto, Japan

    2 h-index

    3 publications

    73 citations

  3. University of Exeter

    Exeter, United Kingdom

    2 h-index

    2 publications

    55 citations

  4. SickKids Foundation

    Toronto, Canada

    1 h-index

    2 publications

    234 citations

  5. University of Toronto

    Toronto, Canada

    1 h-index

    2 publications

    234 citations

  6. BC Children's Hospital

    Vancouver, Canada

    1 h-index

    1 publications

    117 citations

  7. Hebrew University of Jerusalem

    Jerusalem, Israel

    1 h-index

    3 publications

    351 citations

  8. Semmelweis University

    Budapest, Hungary

    1 h-index

    2 publications

    234 citations

1–8 of 33

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 1 publications · 17 citations

    1

    h-index

  2. Information and Control

    1 publications · 11 citations

    1

    h-index

  3. Zurich Open Repository and Archive (University of Zurich)

    Repository · 1 publications · 117 citations

    1

    h-index

  4. Digital Experiences in Mathematics Education

    1 publications · 18 citations

    1

    h-index

  5. ZDM

    1 publications · 37 citations

    1

    h-index

1–5