Manuel Kauers

2.3k total citations
79 papers, 822 citations indexed

About

Manuel Kauers is a scholar working on Computational Theory and Mathematics, Artificial Intelligence and Geometry and Topology. According to data from OpenAlex, Manuel Kauers has authored 79 papers receiving a total of 822 indexed citations (citations by other indexed papers that have themselves been cited), including 57 papers in Computational Theory and Mathematics, 26 papers in Artificial Intelligence and 19 papers in Geometry and Topology. Recurrent topics in Manuel Kauers's work include Polynomial and algebraic computation (37 papers), Advanced Combinatorial Mathematics (16 papers) and Logic, programming, and type systems (12 papers). Manuel Kauers is often cited by papers focused on Polynomial and algebraic computation (37 papers), Advanced Combinatorial Mathematics (16 papers) and Logic, programming, and type systems (12 papers). Manuel Kauers collaborates with scholars based in Austria, United States and China. Manuel Kauers's co-authors include Armin Biere, Carsten Schneider, Peter Paule, Alin Bostan, Christoph Koutschan, Shaoshi Chen, Doron Zeilberger, Stefan Gerhold, Veronika Pillwein and Alin Bostan and has published in prestigious journals such as Proceedings of the National Academy of Sciences, SHILAP Revista de lepidopterología and Computer Physics Communications.

In The Last Decade

Manuel Kauers

72 papers receiving 757 citations

Peers

Manuel Kauers

CTM

DMC

AI

ANT

GT

Peter Bürgisser Germany

Guillaume Hanrot France

Bruno Salvy France

Giorgio Ottaviani Italy

Éric Fusy France

Hans Schönemann Germany

Joris van der Hoeven France

Mark van Hoeij United States

Petr Lisoněk Canada

S. Barry Cooper New Zealand

Peter Bürgisser Germany

Manuel Kauers

822 ×1.8

CTM

180 ×0.9

DMC

359 ×1.8

AI

198 ×1.1

ANT

246 ×1.9

GT

Citations per year, relative to Manuel Kauers Manuel Kauers (= 1×) peers Peter Bürgisser

Countries citing papers authored by Manuel Kauers

Since Specialization

Citations

This map shows the geographic impact of Manuel Kauers's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Manuel Kauers with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Manuel Kauers more than expected).

Fields of papers citing papers by Manuel Kauers

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Manuel Kauers. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Manuel Kauers. The network helps show where Manuel Kauers may publish in the future.

Co-authorship network of co-authors of Manuel Kauers

This figure shows the co-authorship network connecting the top 25 collaborators of Manuel Kauers. A scholar is included among the top collaborators of Manuel Kauers based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Manuel Kauers. Manuel Kauers is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

1.

Kauers, Manuel, et al.. (2024). Hardinian Arrays. The Electronic Journal of Combinatorics. 31(2).

2.

Kauers, Manuel, et al.. (2023). Order bounds for C2-finite sequences. 389–397. 1 indexed citations

3.

Kauers, Manuel. (2023). D-Finite Functions. 1 indexed citations

4.

Biere, Armin, et al.. (2022). Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker. Formal Methods in System Design. 64(1-3). 73–107. 1 indexed citations

5.

Kauers, Manuel, et al.. (2021). Annals of Combinatorics volume / Walks with Small Steps in the 4D-Orthant. University Library Linz repository (Johannes Kepler Universitat Linz). 1 indexed citations

6.

Kauers, Manuel, et al.. (2021). Polynomial bivariate copulas of degree five: characterization and some particular inequalities. SHILAP Revista de lepidopterología. 9(1). 13–42. 4 indexed citations

7.

Biere, Armin, et al.. (2019). Incremental column-wise verification of arithmetic circuits using computer algebra. Formal Methods in System Design. 56(1-3). 22–54. 11 indexed citations

8.

Chen, Shaoshi, Manuel Kauers, Ziming Li, & Yi Zhang. (2019). Apparent singularities of D-finite systems. Journal of Symbolic Computation. 95. 217–237. 5 indexed citations

9.

Gittenberger, Bernhard, et al.. (2019). Asymptotic enumeration of compacted binary trees of bounded right height. Journal of Combinatorial Theory Series A. 172. 105177–105177. 2 indexed citations

10.

Chen, Shaoshi, Mark van Hoeij, Manuel Kauers, & Christoph Koutschan. (2017). Reduction-based creative telescoping for fuchsian D-finite functions. Journal of Symbolic Computation. 85. 108–127. 12 indexed citations

11.

Bostan, Alin, et al.. (2016). Hypergeometric Expressions for Generating Functions of Walks with Small\n Steps in the Quarter Plane. arXiv (Cornell University). 22 indexed citations

12.

Chen, Shaoshi, Manuel Kauers, & Michael F. Singer. (2015). Desingularization of Ore operators. Journal of Symbolic Computation. 74. 617–626. 11 indexed citations

13.

Kauers, Manuel, Ryan O’Donnell, Li-Yang Tan, & Yuan Zhou. (2014). Hypercontractive inequalities via SOS, and the Frankl-Rödl graph. Symposium on Discrete Algorithms. 1644–1658. 5 indexed citations

14.

Kauers, Manuel, et al.. (2014). On the length of integers in telescopers for proper hypergeometric terms. Journal of Symbolic Computation. 66. 21–33. 3 indexed citations

15.

Chen, Shaoshi & Manuel Kauers. (2012). Trading order for degree in creative telescoping. Journal of Symbolic Computation. 47(8). 968–995. 11 indexed citations

16.

Kauers, Manuel & Doron Zeilberger. (2011). The computational challenge of enumerating high-dimensional rook walks. Advances in Applied Mathematics. 47(4). 813–819. 5 indexed citations

17.

Kauers, Manuel, et al.. (2008). Computing the algebraic relations of C-finite sequences and multisequences. Journal of Symbolic Computation. 43(11). 787–803. 20 indexed citations

18.

Kauers, Manuel. (2007). Summation algorithms for Stirling number identities. Journal of Symbolic Computation. 42(10). 948–970. 14 indexed citations

19.

Kauers, Manuel. (2006). SumCracker: A package for manipulating symbolic sums and related objects. Journal of Symbolic Computation. 41(9). 1039–1057. 18 indexed citations

20.

Alzer, Horst, et al.. (2006). On Turán's inequality for Legendre polynomials. Expositiones Mathematicae. 25(2). 181–186. 16 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact