Klaus Mainzer

Research output

Research output per year 1972 2005 2014 2018 2021 2024

• 20 Article
• 17 Chapter
• 12 Conference contribution
• 7 Book
• 9 More
  • 2 Foreword/postscript
  • 2 Conference article
  • 2 Editorial
  • 2 Review article
  • 1 Comment/debate

Research output per year

Research output per year

Search results

• 2021

  Preface

  Mainzer, K., Schuster, P. & Schwichtenberg, H., 1 Jan 2021, Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification. World Scientific Publishing Co., p. v-vi

  Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

  • Computer Science 100%
  • Proof Theory 100%
  • Digitalization 100%
  • Bavaria 50%
  • Computer Technology 50%
  2 Scopus citations
• 2018

  Preface

  Mainzer, K., Schuster, P. & Schwichtenberg, H., 1 Jan 2018, Proof and Computation: Digitization in Mathematics, Computer Science and Philosophy. World Scientific Publishing Co., p. v-vi

  Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript
  4 Scopus citations