Nápověda

Part Fedor

Publikace ASEP

Označit vše / Zobrazit všechny roky / Zrušit označení

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 1

0598223 - MÚ 2026 RIV NL eng J - Článek v odborném periodiku
Part, Fedor - Thapen, Neil - Tzameret, I.
First-order reasoning and efficient semi-algebraic proofs.
Annals of Pure and Applied Logic. Roč. 176, č. 1 (2025), č. článku 103496. ISSN 0168-0072. E-ISSN 1873-2461
Grant CEP: GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: bounded arithmetic * polynomial calculus * semi-algebraic proofs * sum of squares
Obor OECD: Pure mathematics
Impakt faktor: 0.6, rok: 2024 ; AIS: 0.656, rok: 2024
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.apal.2024.103496
Tzameret, I.
Trvalý odkaz: https://hdl.handle.net/11104/0355950