A New Reasoning Framework for Theorema 2.0

Alexander Maletzky

Research output: Working paper and reports › Preprint

Abstract

Accepted as work-in-progess paper at CICM 2017 (10th Conference on Intelligent Computer Mathematics, Edinburgh, UK, July 17-21)

Name	RISC Report Series / Technical report

@techreport{3e39ab965adf4914a1002d3144db8f12,

title = "A New Reasoning Framework for Theorema 2.0",

abstract = "Accepted as work-in-progess paper at CICM 2017 (10th Conference on Intelligent Computer Mathematics, Edinburgh, UK, July 17-21)",

author = "Alexander Maletzky",

year = "2017",

month = may,

language = "English",

series = "RISC Report Series / Technical report",

publisher = "RISC, JKU",

type = "WorkingPaper",

institution = "RISC, JKU",

}

TY - UNPB

T1 - A New Reasoning Framework for Theorema 2.0

AU - Maletzky, Alexander

PY - 2017/5

Y1 - 2017/5

N2 - Accepted as work-in-progess paper at CICM 2017 (10th Conference on Intelligent Computer Mathematics, Edinburgh, UK, July 17-21)

AB - Accepted as work-in-progess paper at CICM 2017 (10th Conference on Intelligent Computer Mathematics, Edinburgh, UK, July 17-21)

M3 - Preprint

T3 - RISC Report Series / Technical report

BT - A New Reasoning Framework for Theorema 2.0

PB - RISC, JKU

CY - Hagenberg, Linz

ER -