Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1 (Englisch)
- Neue Suche nach: Matsuzaki, Takuya
- Neue Suche nach: Iwane, Hidenao
- Neue Suche nach: Kobayashi, Munehiro
- Neue Suche nach: Zhan, Yiyang
- Neue Suche nach: Fukasaku, Ryoya
- Neue Suche nach: Kudo, Jumma
- Neue Suche nach: Anai, Hirokazu
- Neue Suche nach: Arai, Noriko H.
- Neue Suche nach: Fontaine, Pascal
- Neue Suche nach: Kaliszyk, Cezary
- Neue Suche nach: Schulz, Stephan
- Neue Suche nach: Urban, Josef
- Neue Suche nach: Matsuzaki, Takuya
- Neue Suche nach: Iwane, Hidenao
- Neue Suche nach: Kobayashi, Munehiro
- Neue Suche nach: Zhan, Yiyang
- Neue Suche nach: Fukasaku, Ryoya
- Neue Suche nach: Kudo, Jumma
- Neue Suche nach: Anai, Hirokazu
- Neue Suche nach: Arai, Noriko H.
In:
AI Communications
;
31
, 3
;
251-266
;
2018
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1
-
Beteiligte:Fontaine, Pascal / Kaliszyk, Cezary / Schulz, Stephan / Urban, Josef / Matsuzaki, Takuya ( Autor:in ) / Iwane, Hidenao ( Autor:in ) / Kobayashi, Munehiro ( Autor:in ) / Zhan, Yiyang ( Autor:in ) / Fukasaku, Ryoya ( Autor:in ) / Kudo, Jumma ( Autor:in )
-
Erschienen in:AI Communications ; 31, 3 ; 251-266
-
Verlag:
- Neue Suche nach: IOS Press
-
Erscheinungsort:Amsterdam, The Netherlands
-
Erscheinungsdatum:11.04.2018
-
Format / Umfang:16 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 31, Ausgabe 3
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 235
-
Foreword to the Special Issue on Automated ReasoningFontaine, Pascal / Kaliszyk, Cezary / Schulz, Stephan / Urban, Josef et al. | 2018
- 237
-
Hierarchical invention of theorem proving strategiesJakubův, Jan / Urban, Josef et al. | 2018
- 251
-
Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1Matsuzaki, Takuya / Iwane, Hidenao / Kobayashi, Munehiro / Zhan, Yiyang / Fukasaku, Ryoya / Kudo, Jumma / Anai, Hirokazu / Arai, Noriko H. et al. | 2018
- 267
-
Towards backbone computing: A Greedy-Whitening based approachZhang, Yueling / Zhang, Min / Pu, Geguang / Song, Fu / Li, Jianwen et al. | 2018
- 281
-
Programming and verifying a declarative first-order prover in Isabelle/HOLJensen, Alexander Birch / Larsen, John Bruntse / Schlichtkrull, Anders / Villadsen, Jørgen et al. | 2018
- 303
-
Consensus-finding that preserves mutually conflicting hypothetical information from a same agentGrégoire, Éric / Lagniez, Jean-Marie / Zhang, Du et al. | 2017