Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Kühlwein, Daniel"'
Autor:
Lenga, Pavlina1 (AUTHOR) pavlina.lenga@med.uni-heidelberg.de, Kühlwein, Daniel1 (AUTHOR), Schönenberger, Silvia2 (AUTHOR), Neumann, Jan-Oliver1 (AUTHOR), Unterberg, Andreas W.1 (AUTHOR), Beynon, Christopher1 (AUTHOR)
Publikováno v:
Neurological Sciences. May2024, Vol. 45 Issue 5, p2165-2170. 6p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Kühlwein, Daniel, Urban, Josef
MaLeS is an automatic tuning framework for automated theorem provers. It provides solutions for both the strategy finding as well as the strategy scheduling problem. This paper describes the tool and the methods used in it, and evaluates its performa
Externí odkaz:
http://arxiv.org/abs/1308.2116
Smart premise selection is essential when using automated reasoning as a tool for large-theory formal proof development. A good method for premise selection in complex mathematical libraries is the application of machine learning to large corpora of
Externí odkaz:
http://arxiv.org/abs/1108.3446
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Interactive Theorem Proving (9783642396335); 2013, p35-50, 16p