-
The fundamental theorem of calculus in differential rings
Raab, C. & Regensburger, G., Juni 2024, in: Advances in Mathematics. 447, 50 S., 109676.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
The fundamental theorem of calculus in differential rings
Raab, C. & Regensburger, G., Jän. 2023, 49 S. (arXiv.org; Nr. 2301.13134).Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation
-
Computing Elements of Certain Form in Ideals to Prove Properties of Operators
Hofstadler, C., Raab, C. & Regensburger, G., Sep. 2022, in: Mathematics in Computer Science. 16, 2-3, 19 S., 17.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Open Access -
Universal truth of operator statements via ideal membership
Hofstadler, C., Raab, C. & Regensburger, G., Dez. 2022, 33 S. (arXiv.org; Nr. 2212.11662).Publikation: Preprints, Working Paper und Forschungsberichte › Vorabpublikation
-
Algebraic proof methods for identities of matrices and operators: Improvements of Hartwig’s triple reverse order law
Cvetkovic-Ilic, D., Hofstadler, C., Hossein Poor, J., Milosevic, J., Raab, C. & Regensburger, G., 15 Nov. 2021, in: Applied Mathematics and Computation. 409, 126357, 10 S., 126357.Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung
Projekte
- 4 Abgeschlossen
-
Symbolic computations for identities of linear operators
Regensburger, G. (Projektleiter*in)
01.09.2019 → 29.02.2024
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds
-
Generalized inverses, symbolic computation and operator algebras
Hossein Poor, J. (Forscher*in), Korporal, A. (Forscher*in), Raab, C. (Forscher*in), Tasic, M. (Forscher*in), Cvetkovic-Ilic, D. (Projektleiter*in) & Regensburger, G. (Projektleiter*in)
01.01.2016 → 31.12.2017
Projekt: Geförderte Forschung › Sonstige überwieg. aus öff. Hand
-
Computer algebra for Functional Equations (CAFE)
Barkatou, M. A. (Forscher*in), Hossein Poor, J. (Forscher*in), Quadrat, A. (Forscher*in), Raab, C. (Forscher*in), Cluzeau, T. (Projektleiter*in) & Regensburger, G. (Projektleiter*in)
01.01.2016 → 31.12.2017
Projekt: Geförderte Forschung › Sonstige überwieg. aus öff. Hand
-
Algebra and algorithms for integro-differential equations
Hossein Poor, J. (Forscher*in), Raab, C. (Forscher*in) & Regensburger, G. (Projektleiter*in)
01.01.2015 → 31.12.2019
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds
Aktivitäten
-
Formal proofs of operator identities via ideal membership of noncommutative polynomials
Regensburger, G. (Vortragende*r)
27 Sep. 2021Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
Algebraic and Algorithmic Aspects of Differential and Integral Operators Session (AADIOS 2021)
Raab, C. (Session Chair) & Regensburger, G. (Session Chair)
24 Juli 2021 → 27 Juli 2021Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Organisation von Konferenz, Workshop, ...
-
Positive solutions of generalized polynomial systems with real exponents and chemical reaction networks
Regensburger, G. (Vortragende*r)
30 März 2021Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science
-
Symbolic computation for linear operators with matrix coefficients
Regensburger, G. (Vortragende*r)
16 März 2021Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science
-
CASC - Computer Algebra in Scientific Computing 2020
et al. (Organisator*in), Kauers, M. (Organisator*in), Pillwein, V. (Organisator*in), Raab, C. (Organisator*in) & Regensburger, G. (Organisator*in)
14 Sep. 2020 → 18 Sep. 2020Aktivität: Teilnahme an oder Organisation einer Veranstaltung › Organisation von Konferenz, Workshop, ...