Concepedia

Daniel Kühlwein

DK

3

Publications

199

Citations

3

H-Index

2013

Active since

Affiliations

Radboud University Nijmegen(Current)

Daniel Kühlwein is an author at Radboud University Nijmegen specializing in engineering, automated reasoning, and knowledge discovery.

Top concepts

Publications per year

2013–2016

3

Publications

3

Premise Selection for Mathematics by Corpus Analysis and Kernel Methods

Jesse Alama, Tom Heskes, Daniel Kühlwein et al. · Journal of Automated Reasoning · 2013 · 127 citations · Full text

, , +12

A Learning-Based Fact Selector for Isabelle/HOL

Jasmin Christian Blanchette, David Greenaway, Cezary Kaliszyk et al. · Journal of Automated Reasoning · 2016 · 55 citations · Full text

, , +7

MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers

Daniel Kühlwein, Josef Urban · Journal of Automated Reasoning · 2015 · 17 citations · Full text

, , +19

Rows per page

1–3 of 3