Sebastian Scholz, Die Merowinger. Stuttgart, Kohlhammer 2015
- 期刊名称Historische Zeitschrift
- 作者Hartmann, Martina
- 卷第305卷
- 期第2期
- 印刷ISSN0018-2613
- 电子ISSN2196-680X
- 文件大小81.98KB
- 发表时间2017-01-6
- DOI10.1515/hzhz-2017-1405
Semiring of SetsCoghetto, Roland · Formalized Mathematics · 2014
Finite Product of Semiring of SetsCoghetto, Roland · Formalized Mathematics · 2015
Summable Family in a Commutative GroupCoghetto, Roland · Formalized Mathematics · 2015
Morley’s Trisector TheoremCoghetto, Roland · Formalized Mathematics · 2015
Chebyshev DistanceCoghetto, Roland · Formalized Mathematics · 2016
Altitude, Orthocenter of a Triangle and TriangulationCoghetto, Roland · Formalized Mathematics · 2016
Semiring of SetsCoghetto, Roland · Formalized Mathematics · 2014
Gaussian IntegersFuta, Yuichi; Okazaki, Hiroyuki; Mizushima, Daichi; Shidama, Yasunari · Formalized Mathematics · 2013
Finite Product of Semiring of SetsCoghetto, Roland · Formalized Mathematics · 2015
Solution of Cubic and Quartic EquationsRiccardi, Marco · Formalized Mathematics · 2009
A Model of Mizar Concepts - UnificationBancerek, Grzegorz · Formalized Mathematics · 2010
The Derivations of Temporal Logic FormulasGiero, Mariusz · Formalized Mathematics · 2012
Nilpotent GroupsLi, Dailu; Liang, Xiquan; Men, Yanhong · Formalized Mathematics · 2010
The Friendship TheoremPąk, Karol · Formalized Mathematics · 2012