Search results
- 1.0477047 - ÚI 2019 RIV NL eng J - Journal Article
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
R&D Projects: GA ČR GA13-14654S
Institutional support: RVO:67985807
Keywords : abstract algebraic logic * Leibniz hierarchy * Frege hierarchy Leibniz congruence * decidability * Diophantine equations * relation algebras
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Impact factor: 0.829, year: 2018
Permanent Link: http://hdl.handle.net/11104/0273441File Download Size Commentary Version Access a0477047.pdf 10 463.1 KB Publisher’s postprint require - 2.0411517 - UTIA-B 20050247 CZ eng K - Conference Paper (Czech conference)
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]
R&D Projects: GA ČR GA102/05/0011; GA MŠMT 1M0567
Institutional research plan: CEZ:AV0Z10750506
Keywords : algebraic approach * polynomial Diophantine equations * polynomial design
Subject RIV: BC - Control Systems Theory
Permanent Link: http://hdl.handle.net/11104/0131597 - 3.0410874 - UTIA-B 20020088 RIV FR eng J - Journal Article
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
R&D Projects: GA AV ČR KSK1019101; GA MŠMT ME 427
Institutional research plan: CEZ:AV0Z1075907
Keywords : linear equations * polynomial approach * diophantine equations
Subject RIV: BC - Control Systems Theory
Impact factor: 0.542, year: 2002
Permanent Link: http://hdl.handle.net/11104/0130961 - 4.0348170 - MÚ 2011 RIV CZ cze J - Journal Article
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
R&D Projects: GA AV ČR(CZ) IAA100190803
Institutional research plan: CEZ:AV0Z10190503
Keywords : last Fermat theorem * elliptic curves * diophantine equations
Subject RIV: BA - General Mathematics
http://dml.cz/dmlcz/402231
Permanent Link: http://hdl.handle.net/11104/0188768File Download Size Commentary Version Access Krizek.pdf 1 1.1 MB Publisher’s postprint open-access - 5.0341052 - MÚ 2010 RIV CZ cze J - Journal Article
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
R&D Projects: GA AV ČR(CZ) IAA100190803
Institutional research plan: CEZ:AV0Z10190503
Keywords : golden section * orthogonal transformations * diophantine equations
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0184159File Download Size Commentary Version Access Krizek4.pdf 3 3.8 MB Publisher’s postprint open-access