The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Manuel Kauers" ( http://dblp.L3S.de/Authors/Manuel_Kauers )

URL (Homepage):  http://www.kauers.de/  Author page on DBLP  Author page in RDF  Community of Manuel Kauers in ASPL-2

Publication years (Num. hits)
2002-2007 (15) 2008-2010 (19) 2011-2013 (22) 2014-2016 (24) 2017-2018 (18) 2019 (6)
Publication types (Num. hits)
article(69) book(1) incollection(1) inproceedings(28) proceedings(5)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 8 keywords

Results
Found 105 publication records. Showing 104 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang Apparent singularities of D-finite systems. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maximilian Jaroschek, Manuel Kauers, Laura Kovács Lonely Points in Simplices. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Manuel Kauers, Martina Seidl, Doron Zeilberger On the maximal minimal cube lengths in distinct DNF tautologies. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Manuel Kauers, Martina Seidl Local Search for Fast Matrix Multiplication. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Manuel Kauers, Martina Seidl New ways to multiply 3 x 3-matrices. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marijn J. H. Heule, Manuel Kauers, Martina Seidl Local Search for Fast Matrix Multiplication. Search on Bibsonomy SAT The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Martina Seidl Short proofs for some symmetric Quantified Boolean Formulas. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan Reduction-based creative telescoping for fuchsian D-finite functions. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Doron Zeilberger A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Manuel Kauers, Martina Seidl Short Proofs for Some Symmetric Quantified Boolean Formulas. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Manuel Kauers, Martina Seidl Symmetries of Quantified Boolean Formulas. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1James H. Davenport, Manuel Kauers, George Labahn, Josef Urban (eds.) Mathematical Software - ICMS 2018 - 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings Search on Bibsonomy ICMS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniela Ritirc, Armin Biere, Manuel Kauers Improving and extending the algebraic approach for verifying gate-level multipliers. Search on Bibsonomy DATE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Alexey Ovchinnikov, Éric Schost (eds.) Proceedings of the 2018 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC 2018, New York, NY, USA, July 16-19, 2018 Search on Bibsonomy ISSAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Martina Seidl Symmetries of Quantified Boolean Formulas. Search on Bibsonomy SAT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech Hypergeometric expressions for generating functions of walks with small steps in the quarter plane. Search on Bibsonomy Eur. J. Comb. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers, Ziming Li, Yi Zhang Apparent Singularities of D-finite Systems. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Manuel Kauers, Gleb Pogudin Bounds for D-finite Substitution. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Antoine Genitrini, Bernhard Gittenberger, Manuel Kauers, Michael Wallner Asymptotic Enumeration of Compacted Binary Trees. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers Some open problems related to creative telescoping. Search on Bibsonomy J. Systems Science & Complexity The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Rong-Hua Wang Lattice walks in the octant with infinite associated groups. Search on Bibsonomy Electronic Notes in Discrete Mathematics The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Daniela Ritirc, Armin Biere, Manuel Kauers Column-wise verification of multipliers using computer algebra. Search on Bibsonomy FMCAD The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Gleb Pogudin Bounds for Substituting Algebraic Functions into D-finite Functions. Search on Bibsonomy ISSAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Armin Biere, Manuel Kauers, Daniela Ritirc Challenges in Verifying Arithmetic Circuits Using Computer Algebra. Search on Bibsonomy SYNASC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Peter Paule, Greg Reid Workshop on symbolic combinatorics and algorithmic differential algebra. Search on Bibsonomy ACM Comm. Computer Algebra The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers, Michael F. Singer Desingularization of Ore operators. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Michael Drmota, Manuel Kauers, Lukas Spiegelhofer On a Conjecture of Cusick Concerning the Sum of Digits of n and n+t. Search on Bibsonomy SIAM J. Discrete Math. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers Some Open Problems related to Creative Telescoping. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Shaoshi Chen, Mark van Hoeij, Manuel Kauers, Christoph Koutschan Reduction-Based Creative Telescoping for Fuchsian D-finite Functions. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Alin Bostan, Frédéric Chyzak, Mark van Hoeij, Manuel Kauers, Lucien Pech Hypergeometric Expressions for Generating Functions of Walks with Small Steps in the Quarter Plane. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers, Christoph Koutschan Reduction-Based Creative Telescoping for Algebraic Functions. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Manuel Kauers, Doron Zeilberger Factorization of C-finite Sequences. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Hui Huang, Manuel Kauers D-finite Numbers. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers, Christoph Koutschan Reduction-Based Creative Telescoping for Algebraic Functions. Search on Bibsonomy ISSAC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Lily Yen On the length of integers in telescopers for proper hypergeometric terms. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Christoph Koutschan Integral D-Finite Functions. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li An Improved Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Michael Drmota, Manuel Kauers, Lukas Spiegelhofer On a Conjecture of Cusick Concerning the Sum of Digits of n and n + t. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Manuel Kauers, Christoph Koutschan Integral D-Finite Functions. Search on Bibsonomy ISSAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shaoshi Chen, Hui Huang, Manuel Kauers, Ziming Li A Modified Abramov-Petkovsek Reduction and Creative Telescoping for Hypergeometric Terms. Search on Bibsonomy ISSAC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manuel Kauers Creative Telescoping via Hermite Reduction. Search on Bibsonomy SYNASC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson 0001 Ore Polynomials in Sage. Search on Bibsonomy Computer Algebra and Polynomials The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Manuel Kauers Bounds for D-finite closure properties. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers, Christoph Koutschan A Generalized Apagodu-Zeilberger Algorithm. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers, Michael F. Singer Desingularization of Ore Operators. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou 0007 Hypercontractive inequalities via SOS, and the Frankl-Rödl graph. Search on Bibsonomy SODA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Manuel Kauers Bounds for D-finite closure properties. Search on Bibsonomy ISSAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers, Christoph Koutschan A generalized Apagodu-Zeilberger algorithm. Search on Bibsonomy ISSAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Lily Yen On the length of integers in telescopers for proper hypergeometric terms. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Fredrik Johansson 0001, Manuel Kauers, Marc Mezzarobba Finding Hyperexponential Solutions of Linear ODEs by Numerical Evaluation Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Stefan Gerhold, Manuel Kauers, Christoph Koutschan, Peter Paule, Carsten Schneider, Burkhard Zimmermann Computer-Assisted Proofs of Some Identities for Bessel Functions of Fractional Order Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer Desingularization Explains Order-Degree Curves for Ore Operators Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson 0001 Ore Polynomials in Sage. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Shaoshi Chen, Maximilian Jaroschek, Manuel Kauers, Michael F. Singer Desingularization explains order-degree curves for ore operators. Search on Bibsonomy ISSAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fredrik Johansson 0001, Manuel Kauers, Marc Mezzarobba Finding hyperexponential solutions of linear ODEs by numerical evaluation. Search on Bibsonomy ISSAC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Manuel Kauers (eds.) International Symposium on Symbolic and Algebraic Computation, ISSAC'13, Boston, MA, USA, June 26-29, 2013 Search on Bibsonomy ISSAC The full citation details ... 2013 DBLP  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers Trading order for degree in creative telescoping. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Ryan O'Donnell, Li-Yang Tan, Yuan Zhou 0007 Hypercontractive inequalities via SOS, with an application to Vertex-Cover Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers, Michael F. Singer Telescopers for Rational and Algebraic Functions via Residues Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers Order-Degree Curves for Hypergeometric Creative Telescoping Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers, Michael F. Singer Telescopers for rational and algebraic functions via residues. Search on Bibsonomy ISSAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers Order-degree curves for hypergeometric creative telescoping. Search on Bibsonomy ISSAC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz Dominance in the family of Sugeno-Weber t-norms. Search on Bibsonomy Fuzzy Sets and Systems The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Shaoshi Chen, Manuel Kauers Trading Order for Degree in Creative Telescoping Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Manuel Kauers, Carsten Schneider A Refined Denominator Bounding Algorithm for Multivariate Linear Difference Equations Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Bruno Buchberger, Manuel Kauers Buchberger's algorithm. Search on Bibsonomy Scholarpedia The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Christian Krattenthaler, Thomas W. Müller A Method for Determining the Mod-2k Behaviour of Recursive Sequences, with Applications to Subgroup Counting. Search on Bibsonomy Electr. J. Comb. The full citation details ... 2011 DBLP  BibTeX  RDF
1Manuel Kauers, Carsten Schneider A refined denominator bounding algorithm for multivariate linear difference equations. Search on Bibsonomy ISSAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel Kauers The concrete tetrahedron. Search on Bibsonomy ISSAC The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Peter Paule The Concrete Tetrahedron - Symbolic Sums, Recurrence Equations, Generating Functions, Asymptotic Estimates. Search on Bibsonomy 2011   DOI  RDF
1Manuel Kauers, Veronika Pillwein When can we decide that a P-finite sequence is positive? Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Manuel Kauers, Veronika Pillwein, Susanne Saminger-Platz Dominance in the family of Sugeno-Weber t-norms Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Manuel Kauers, Carsten Schneider Partial Denominator Bounds for Partial Linear Difference Equations Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Christoph Koutschan, Manuel Kauers, Doron Zeilberger Proof of George Andrews's and David Robbins's q-TSPP Conjecture. Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Bruno Buchberger, Manuel Kauers Groebner basis. Search on Bibsonomy Scholarpedia The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Carsten Schneider Partial denominator bounds for partial linear difference equations. Search on Bibsonomy ISSAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Veronika Pillwein When can we detect that a P-finite sequence is positive? Search on Bibsonomy ISSAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider Determining the closed forms of the O(sS3) anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra. Search on Bibsonomy Computer Physics Communications The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Alin Bostan, Manuel Kauers The complete Generating Function for Gessel Walks is Algebraic Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Johannes Blümlein, Manuel Kauers, Sebastian Klein, Carsten Schneider From Moments to Functions in Quantum Chromodynamics Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Frédéric Chyzak, Manuel Kauers, Bruno Salvy A Non-Holonomic Systems Approach to Special Function Identities Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Frédéric Chyzak, Manuel Kauers, Bruno Salvy A non-holonomic systems approach to special function identities. Search on Bibsonomy ISSAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF d-finite functions, symbolic summation and integration
1Manuel Kauers, Burkhard Zimmermann Computing the algebraic relations of C-finite sequences and multisequences. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Richard Stong A Telescoping Fibonacci Sum: 11258. Search on Bibsonomy The American Mathematical Monthly The full citation details ... 2008 DBLP  BibTeX  RDF
1Manuel Kauers, Carsten Schneider Automated Proofs for Some Stirling Number Identities. Search on Bibsonomy Electr. J. Comb. The full citation details ... 2008 DBLP  BibTeX  RDF
1Manuel Kauers Solving difference equations whose coefficients are not transcendental. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Doron Zeilberger Experiments with a Positivity-Preserving Operator. Search on Bibsonomy Experimental Mathematics The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Manuel Kauers Integration of algebraic functions: a simple heuristic for finding the logarithmic part. Search on Bibsonomy ISSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF algebraic functions, symbolic integration
1Manuel Kauers Summation algorithms for Stirling number identities. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Manuel Kauers An algorithm for deciding zero equivalence of nested polynomially recurrent sequences. Search on Bibsonomy ACM Trans. Algorithms The full citation details ... 2007 DBLP  DOI  BibTeX  RDF combinatorial sequences, nested polynomially recurrent sequences, zero equivalence, Symbolic computation
1Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger (eds.) Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings Search on Bibsonomy Calculemus/MKM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Carsten Schneider Symbolic summation with radical expressions. Search on Bibsonomy ISSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF difference fields, square roots, algebraic functions, symbolic summation
1Manuel Kauers SumCracker: A package for manipulating symbolic sums and related objects. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Manuel Kauers Problem 11258. Search on Bibsonomy The American Mathematical Monthly The full citation details ... 2006 DBLP  BibTeX  RDF
1Manuel Kauers Shift Equivalence of P-finite Sequences. Search on Bibsonomy Electr. J. Comb. The full citation details ... 2006 DBLP  BibTeX  RDF
1Manuel Kauers, Carsten Schneider Indefinite summation with unspecified summands. Search on Bibsonomy Discrete Mathematics The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Manuel Kauers, Carsten Schneider Application of unspecified sequences in symbolic summation. Search on Bibsonomy ISSAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF difference fields, symbolic summation
1Manuel Kauers (eds.) Symbolic and Algebraic Computation, International Symposium ISSAC 2005, Beijing, China, July 24-27, 2005, Proceedings Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  BibTeX  RDF
1Stefan Gerhold, Manuel Kauers A procedure for proving special function inequalities involving a discrete parameter. Search on Bibsonomy ISSAC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF computer proofs, special functions, inequalities, cylindrical algebraic decomposition
Displaying result #1 - #100 of 104 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license