E-LIB Suche - Ergebnisse für: Kauers, Manuel

1

Reduction-based creative telescoping for P-recursive sequen..:

Chen, Shaoshi ; Du, Lixin ; Kauers, Manuel.
Journal of Symbolic Computation. 126 (2025) - p. 102341 , 2025

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

2

Order bounds for C2-finite sequences:

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

Kauers, Manuel ; Nuspl, Philipp ; Pillwein, Veronika - p. 389-397 , 2023

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

3

The Recurrence Case in One Variable:

, In: D-Finite Functions; Algorithms and Computation in Mathematics,

Kauers, Manuel - p. 81-183 , 2023

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

4

Hermite Reduction for D-finite Functions via Integral Bases:

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

Chen, Shaoshi ; Du, Lixin ; Kauers, Manuel - p. 155-163 , 2023

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

5

Operators:

, In: D-Finite Functions; Algorithms and Computation in Mathematics,

Kauers, Manuel - p. 287-391 , 2023

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

6

The Differential Case in One Variable:

, In: D-Finite Functions; Algorithms and Computation in Mathematics,

Kauers, Manuel - p. 185-286 , 2023

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

7

Summation and Integration:

, In: D-Finite Functions; Algorithms and Computation in Mathematics,

Kauers, Manuel - p. 393-509 , 2023

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

8

Background and Fundamental Concepts:

, In: D-Finite Functions; Algorithms and Computation in Mathematics,

Kauers, Manuel - p. 1-80 , 2023

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

9

D-Finite Functions

Algorithms and Computation in Mathematics, 30

Kauers, Manuel - 1st ed. 2023 . , 2023

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

10

Flip Graphs for Matrix Multiplication:

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

Kauers, Manuel ; Moosbauer, Jakob - p. 381-388 , 2023

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

11

Transcendence Certificates for D-finite Functions:

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

Kauers, Manuel ; Koutschan, Christoph ; Verron, Thibaut - p. 372-380 , 2023

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

12

Lonely Points in Simplices:

Jaroschek, Maximilian ; Kauers, Manuel ; Kovács, Laura
Discrete & Computational Geometry. 69 (2022) 1 - p. 4-25 , 2022

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

13

Order-Degree-Height Surfaces for Linear Operators:

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

Huang, Hui ; Kauers, Manuel ; Mukherjee, Gargi - p. 91-99 , 2022

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

14

A Normal Form for Matrix Multiplication Schemes:

, In: Algebraic Informatics; Lecture Notes in Computer Science,

Kauers, Manuel ; Moosbauer, Jakob - p. 149-160 , 2022

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

15

Guessing with Little Data:

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

Kauers, Manuel ; Koutschan, Christoph - p. 83-90 , 2022

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