- Arithmetic of D-algebraic functions Bertrand Teguia Tabuguia Wed 21 August 2024
- A Polynomial-Division-Based Algorithm for Computing Linear Recurrence Relations Jérémy Berthomieu Jean-Charles Faugère Mon 06 November 2023
- A Grøbner-Basis Theory for Divide-and-Conquer Recurrences Frédéric Chyzak Philippe Dumas Mon 06 November 2023
- Non-Linear Loop Invariant Generation Using Grøbner Bases Sriram Sankaranarayanan Henny B. Sipma Zohar Manna Fri 01 September 2023
- Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes Michele Boreale Sat 25 March 2023
- Computing Grøbner Bases of Ideals of Few Points in High Dimensions Winfried Just Brandilyn Stigler Thu 08 December 2022
- Grøbner bases of lattices, corner polyhedra, and integer programming. Bernd Sturmfels Robert Weismantel Gunter M. Ziegler Fri 02 April 2021
- Noetherian quotients of the algebra of partial difference polynomials and Grøbner bases of symmetric ideals Vladimir Gerdt Roberto La Scala Sun 12 April 2020
- Algorithmic problems for differential polynomial algebras Ualbai Umirbaev Fri 10 April 2020
- A Maple package for computing Grøbner bases for linear recurrence relations Vladimir P. Gerdt Daniel Robertz Fri 10 April 2020
- GrøBner Bases and the Defining Polynomial of a Context-free Grammar Generating Function Alois Panholzer Fri 25 May 2018
Library Size: 13G (11 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
