Výsledky vyhledávání
- 1.0477047 - ÚI 2019 RIV NL eng J - Článek v odborném periodiku
Moraschini, Tommaso
A Computational Glimpse at the Leibniz and Frege Hierarchies.
Annals of Pure and Applied Logic. Roč. 169, č. 1 (2018), s. 1-20. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR GA13-14654S
Institucionální podpora: RVO:67985807
Klíčová slova: abstract algebraic logic * Leibniz hierarchy * Frege hierarchy Leibniz congruence * decidability * Diophantine equations * relation algebras
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impakt faktor: 0.829, rok: 2018
Trvalý link: http://hdl.handle.net/11104/0273441Název souboru Staženo Velikost Komentář Verze Přístup a0477047.pdf 10 463.1 KB Vydavatelský postprint vyžádat - 2.0411517 - UTIA-B 20050247 CZ eng K - Konferenční příspěvek (tuzemská konf.)
Hromčík, Martin - Hurák, Zdeněk - Frízel, R. - Šebek, M.
Banded matrix solvers and polynomial Diophantine equations.
Praha: ČVUT, 2005. In: Proceedings of the Technical Computing Prague 2005 Conference. - (Procházka, A.), s. 151-159
[International Conference Technical Computing Prague 2005. Praha (CZ), 15.11.2005]
Grant CEP: GA ČR GA102/05/0011; GA MŠMT 1M0567
Výzkumný záměr: CEZ:AV0Z10750506
Klíčová slova: algebraic approach * polynomial Diophantine equations * polynomial design
Kód oboru RIV: BC - Teorie a systémy řízení
Trvalý link: http://hdl.handle.net/11104/0131597 - 3.0410874 - UTIA-B 20020088 RIV FR eng J - Článek v odborném periodiku
Söderström, T. - Šebek, M. - Ježek, Jan - Kučera, V. - Henrion, Didier
An evaluation of algorithms for computing the covariance function of a multivariable ARMA process.
European Journal of Control. Roč. 8, č. 4 (2002), s. 315-325. ISSN 0947-3580. E-ISSN 1435-5671
Grant CEP: GA AV ČR KSK1019101; GA MŠMT ME 427
Výzkumný záměr: CEZ:AV0Z1075907
Klíčová slova: linear equations * polynomial approach * diophantine equations
Kód oboru RIV: BC - Teorie a systémy řízení
Impakt faktor: 0.542, rok: 2002
Trvalý link: http://hdl.handle.net/11104/0130961 - 4.0348170 - MÚ 2011 RIV CZ cze J - Článek v odborném periodiku
Křížek, Michal - Somer, L.
John Tate získal Abelovu cenu za rok 2010.
[John Tate received Abel Prize for the year 2010.]
Pokroky matematiky, fyziky & astronomie. Roč. 55, č. 2 (2010), s. 89-96. ISSN 0032-2423
Grant CEP: GA AV ČR(CZ) IAA100190803
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: last Fermat theorem * elliptic curves * diophantine equations
Kód oboru RIV: BA - Obecná matematika
http://dml.cz/dmlcz/402231
Trvalý link: http://hdl.handle.net/11104/0188768Název souboru Staženo Velikost Komentář Verze Přístup Krizek.pdf 1 1.1 MB Vydavatelský postprint povolen - 5.0341052 - MÚ 2010 RIV CZ cze J - Článek v odborném periodiku
Křížek, Michal - Šolc, J.
Od Keplerových mozaik k pětičetné symetrii.
[From Kepler's mosaics to Five-fold symmetry.]
Pokroky matematiky, fyziky & astronomie. Roč. 54, č. 1 (2009), s. 41-56. ISSN 0032-2423
Grant CEP: GA AV ČR(CZ) IAA100190803
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: golden section * orthogonal transformations * diophantine equations
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0184159Název souboru Staženo Velikost Komentář Verze Přístup Krizek4.pdf 3 3.8 MB Vydavatelský postprint povolen