-
The fundamental theorem of calculus in differential rings
Raab, C. & Regensburger, G., Jun 2024, In: Advances in Mathematics. 447, 50 p., 109676.Research output: Contribution to journal › Article › peer-review
Open Access -
The fundamental theorem of calculus in differential rings
Raab, C. & Regensburger, G., Jan 2023, 49 p. (arXiv.org; no. 2301.13134).Research output: Working paper and reports › Preprint
-
Computing Elements of Certain Form in Ideals to Prove Properties of Operators
Hofstadler, C., Raab, C. & Regensburger, G., Sept 2022, In: Mathematics in Computer Science. 16, 2-3, 19 p., 17.Research output: Contribution to journal › Article › peer-review
Open Access -
Universal truth of operator statements via ideal membership
Hofstadler, C., Raab, C. & Regensburger, G., Dec 2022, 33 p. (arXiv.org; no. 2212.11662).Research output: Working paper and reports › Preprint
-
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 p., 126357.Research output: Contribution to journal › Article › peer-review
Projects
- 4 Finished
-
Symbolic computations for identities of linear operators
Regensburger, G. (PI)
01.09.2019 → 29.02.2024
Project: Funded research › FWF - Austrian Science Fund
-
Generalized inverses, symbolic computation and operator algebras
Hossein Poor, J. (Researcher), Korporal, A. (Researcher), Raab, C. (Researcher), Tasic, M. (Researcher), Cvetkovic-Ilic, D. (PI) & Regensburger, G. (PI)
01.01.2016 → 31.12.2017
Project: Funded research › Other mainly public funds
-
Computer algebra for Functional Equations (CAFE)
Barkatou, M. A. (Researcher), Hossein Poor, J. (Researcher), Quadrat, A. (Researcher), Raab, C. (Researcher), Cluzeau, T. (PI) & Regensburger, G. (PI)
01.01.2016 → 31.12.2017
Project: Funded research › Other mainly public funds
-
Algebra and algorithms for integro-differential equations
Hossein Poor, J. (Researcher), Raab, C. (Researcher) & Regensburger, G. (PI)
01.01.2015 → 31.12.2019
Project: Funded research › FWF - Austrian Science Fund
Activities
-
Formal proofs of operator identities via ideal membership of noncommutative polynomials
Regensburger, G. (Speaker)
27 Sept 2021Activity: Talk or presentation › Contributed talk › science-to-science
-
Algebraic and Algorithmic Aspects of Differential and Integral Operators Session (AADIOS 2021)
Raab, C. (Session chair) & Regensburger, G. (Session chair)
24 Jul 2021 → 27 Jul 2021Activity: Participating in or organising an event › Organising a conference, workshop, ...
-
Positive solutions of generalized polynomial systems with real exponents and chemical reaction networks
Regensburger, G. (Speaker)
30 Mar 2021Activity: Talk or presentation › Invited talk › science-to-science
-
Symbolic computation for linear operators with matrix coefficients
Regensburger, G. (Speaker)
16 Mar 2021Activity: Talk or presentation › Contributed talk › science-to-science
-
CASC - Computer Algebra in Scientific Computing 2020
et al. (Organiser), Kauers, M. (Organiser), Pillwein, V. (Organiser), Raab, C. (Organiser) & Regensburger, G. (Organiser)
14 Sept 2020 → 18 Sept 2020Activity: Participating in or organising an event › Organising a conference, workshop, ...