E-LIB Suche - Ergebnisse für: Raab, Clemens G.

1

The fundamental theorem of calculus in differential rings:

Raab, Clemens G. ; Regensburger, Georg
Advances in Mathematics. 447 (2024) - p. 109676 , 2024

Link: https://doi.org/10.1016/..

2

Computing Elements of Certain Form in Ideals to Prove Prope..:

Hofstadler, Clemens ; Raab, Clemens G. ; Regensburger, Georg
Mathematics in Computer Science. 16 (2022) 2-3 - p. , 2022

Link: https://doi.org/10.1007/..

3

Comments on Risch's On the Integration of Elementary Functi..:

, In: Texts & Monographs in Symbolic Computation; Integration in Finite Terms: Fundamental Sources,

Raab, Clemens G. - p. 217-229 , 2022

Link: https://doi.org/10.1007/..

4

Integration in Finite Terms: Fundamental Sources

Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria

Raab, Clemens G ; Singer, Michael F - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

5

Algebraic proof methods for identities of matrices and oper..:

Cvetković-Ilić, Dragana S. ; Hofstadler, Clemens ; Hossein Poor, Jamal...
Applied Mathematics and Computation. 409 (2021) - p. 126357 , 2021

Link: https://doi.org/10.1016/..

6

Formal proofs of operator identities by a single formal com..:

Raab, Clemens G. ; Regensburger, Georg ; Hossein Poor, Jamal
Journal of Pure and Applied Algebra. 225 (2021) 5 - p. 106564 , 2021

Link: https://doi.org/10.1016/..

7

Nested Integrals and Rationalizing Transformations:

, In: Texts & Monographs in Symbolic Computation; Anti-Differentiation and the Calculation of Feynman Amplitudes,

Raab, Clemens G. - p. 395-422 , 2021

Link: https://doi.org/10.1007/..

8

Compatible rewriting of noncommutative polynomials for prov..:

, In: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation,

Chenavier, Cyrille ; Hofstadler, Clemens ; Raab, Clemens G.. - p. 83-90 , 2020

Link: https://dl.acm.org/doi/1..

9

Certifying operator identities via noncommutative Gröbner b..:

Hofstadler, Clemens ; Raab, Clemens G. ; Regensburger, Georg
ACM Communications in Computer Algebra. 53 (2019) 2 - p. 49-52 , 2019

Link: https://doi.org/10.1145/..

10

Certifying operator identities via noncommutative Gröbner b..:

Hofstadler, Clemens ; Raab, Clemens G. ; Regensburger, Georg
ACM Communications in Computer Algebra. 53 (2019) 2 - p. 49-52 , 2019

Link: https://dl.acm.org/doi/1..

11

Algorithmic operator algebras via normal forms in tensor ri..:

Hossein Poor, Jamal ; Raab, Clemens G. ; Regensburger, Georg
Journal of Symbolic Computation. 85 (2018) - p. 247-274 , 2018

Link: https://doi.org/10.1016/..

12

Symbolic Computation of Parameter Integrals:

, In: Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation,

Raab, Clemens G. - p. 13-15 , 2016

Link: https://dl.acm.org/doi/1..

13

Algorithmic Operator Algebras via Normal Forms for Tensors:

, In: Proceedings of the 2016 ACM International Symposium on Symbolic and Algebraic Computation,

Hossein Poor, Jamal ; Raab, Clemens G. ; Regensburger, Georg - p. 397-404 , 2016

Link: https://dl.acm.org/doi/1..

14

Rewrite rules for nested integrals:

Raab, Clemens G.
ACM Communications in Computer Algebra. 49 (2015) 1 - p. 34 ff. , 2015

Link: https://dl.acm.org/doi/1..

15

Rewrite rules for nested integrals:

Raab, Clemens G.
ACM Communications in Computer Algebra. 49 (2015) 1 - p. 34-34 , 2015

Link: https://doi.org/10.1145/..