bibliographer - Computer Science - Symbolic Computation

Solving First Order Autonomous Algebraic Ordinary Differential Equations by Places Sebastian Falkensteiner J. Rafael Sendra Wed 18 March 2026
CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations Alexey Ovchinnikov Isabel Pérez Verona Gleb Pogudin Mirco Tribastone Mon 16 March 2026
A Categorical Programming Language Tatsuya Hagino Sat 29 November 2025
Projecting dynamical systems via a support bound Yulia Mukhina Gleb Pogudin Tue 20 May 2025
Computing with D-Algebraic Sequences Bertrand Teguia Tabuguia Tue 14 January 2025
Algebraic Tools for Computing Polynomial Loop Invariants (Extended Version) Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet Mon 06 January 2025
Algebraic power series and their automatic complexity II: modulo prime powers Eric Rowland Reem Yassawi Tue 24 September 2024
On the representation of non-holonomic univariate power series Bertrand Teguia Tabuguia Wolfram Koepf Thu 22 August 2024
D-Algebraic Functions Rida Ait El Manssour Anna-Laura Sattelberger Bertrand Teguia Tabuguia Thu 22 August 2024
Computing with Hypergeometric-Type Terms Bertrand Teguia Tabuguia Wed 21 August 2024
Linear equations with monomial constraints and decision problems in abelian-by-cyclic groups Ruiwen Dong Sun 23 June 2024
On Rational Recursion for Holonomic Sequences Bertrand Teguia Tabuguia James Worrell Tue 18 June 2024
On the Complexity and Parallel Implementation of Hensel's Lemma and Weierstrass Preparation Alexander Brandt Marc Moreno Maza Fri 14 June 2024
Towards a noncommutative Picard-Vessiot theory G. Duchamp Viincel Hoang Ngoc Minh Vu Nguyen Dinh Pierre Simonnet Fri 24 May 2024
On the complexity of Chow and Hurwitz forms Mahmut Levent Doğan Alperen Ali Ergur Elias Tsigaridas Thu 18 April 2024
The Fundamental Theorem of Tropical Partial Differential Algebraic Geometry Sebastian Falkensteiner Cristhian Garay-López Mercedes Haiech Marc Paul Noordman Zeinab Toghani François Boulier Sat 20 January 2024
Delta-Complete Decision Procedures for Satisfiability over the Reals Sicun Gao Jeremy Avigad Edmund Clarke Sun 05 November 2023
A sharper multivariate Christol's theorem with applications to diagonals and Hadamard products Boris Adamczewski Alin Bostan Xavier Caruso Mon 28 August 2023
Algebraic power series and their automatic complexity I: finite fields Eric Rowland Manon Stipulanti Reem Yassawi Mon 28 August 2023
Refined telescoping algorithms in RPLACEHOLDERPiPLACEHOLDERSigma-extensions to reduce the degrees of the denominators Carsten Schneider Fri 26 May 2023
Pourchet's theorem in action: decomposing univariate nonnegative polynomials as sums of five squares Victor Magron Przemysław Koprowski Tristan Vaccon Fri 26 May 2023
Beating binary powering for polynomial matrices Alin Bostan Vincent Neiger Sergey Yurkevich Fri 26 May 2023
Fast Algorithms for Discrete Differential Equations Alin Bostan Hadrien Notarantonio Mohab Safey El Din Fri 26 May 2023
Hermite Reduction for D-finite Functions via Integral Bases Shaoshi Chen Lixin Du Manuel Kauers Fri 26 May 2023
Transcendence Certificates for D-finite Functions Manuel Kauers Christoph Koutschan Thibaut Verron Fri 26 May 2023
The Complexity of Diagonalization Nikhil Srivastava Wed 24 May 2023
On the Order of Power Series and the Sum of Square Roots Problem Louis Gaillard Gorav Jindal Fri 28 April 2023
Solving homogeneous linear equations over polynomial semirings Ruiwen Dong Thu 02 March 2023
Factorization of C-finite Sequences Manuel Kauers Doron Zeilberger Sun 26 February 2023
Fast computation of power series solutions of systems of differential equations Alin Bostan Frédéric Chyzak François Ollivier Bruno Salvy Éric Schost Alexandre Sedoglavic Mon 20 February 2023
Lecture notes on complexity of quantifier elimination over the reals Nicolai Vorobjov Fri 03 February 2023
Quasi-optimal multiplication of linear differential operators Alexandre Benoit Alin Bostan Joris van der Hoeven Thu 02 February 2023
Minimization of differential equations and algebraic values of E-functions Alin Bostan Tanguy Rivoal Bruno Salvy Tue 20 December 2022
Computing the Real Isolated Points of an Algebraic Hypersurface Huu Phuoc Le Mohab Safey El Din Timo de Wolff Sat 26 November 2022
Basic Elements of Logical Graphs Lucas Dixon Mon 29 August 2022
Does a Program Yield the Right Distribution Verifying Probabilistic Programs via Generating Functions Mingshuai Chen Joost-Pieter Katoen Lutz Klinkenberg Tobias Winkler Tue 10 May 2022
A New Primitive for a Diffie-Hellman-like Key Exchange Protocol Based on Multivariate Ore Polynomials Reinhold Burger Albert Heinle Fri 29 April 2022
A New Type of Bases for Zero-dimensional Ideals Sheng-Ming Ma Sat 12 March 2022
Resultant-based Elimination in Ore Algebra Raqeeb Rasheed Tue 08 March 2022
Identity testing for radical expressions Nikhil Balaji Klara Nosan Mahsa Shirmohammadi James Worrell Thu 17 February 2022
The Membership Problem for Hypergeometric Sequences with Rational Parameters Klara Nosan Amaury Pouly Mahsa Shirmohammadi James Worrell Thu 17 February 2022
Linear equations for unordered data vectors Piotr Hofman Jakub Różycki Wed 08 September 2021
Subquadratic-Time Algorithms for Normal Bases Mark Giesbrecht Armin Jamshidpey Éric Schost Sun 27 December 2020
Bounds for elimination of unknowns in systems of differential-algebraic equations Alexey Ovchinnikov Gleb Pogudin N. Thieu Vo Mon 19 October 2020
Algorithms yield upper bounds in differential algebra Wei Li Alexey Ovchinnikov Gleb Pogudin Thomas Scanlon Mon 19 October 2020
Bounds for Substituting Algebraic Functions into D-finite Functions Manuel Kauers Gleb Pogudin Sun 18 October 2020
Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions Alin Bostan Frédéric Chyzak Pierre Lairez Bruno Salvy Sun 04 October 2020
Computing the Maximum Degree of Minors in Skew Polynomial Matrices Taihei Oki Sat 19 September 2020
Cyclotomic Identity Testing and Applications Nikhil Balaji Sylvain Perifel Mahsa Shirmohammadi James Worrell Tue 28 July 2020
Computing the Hermite Form of a Matrix of Ore Polynomials Mark Giesbrecht Myung Sub Kim Tue 09 June 2020
The Extended Theory of Trees and Algebraic (Co)datatypes Fabian Zaiser C. -H. Luke Ong Tue 19 May 2020
On Formal Power Series Solutions of Algebraic Ordinary Differential Equations Yi Zhang Sebastian Falkensteiner Thieu N. Vo Fri 08 May 2020
The Imandra Automated Reasoning System (system description) Grant Olney Passmore Simon Cruanes Denis Ignatovich Dave Aitken Matt Bray Elijah Kagan Kostya Kanishev Ewen Maclean Nicola Mometto Sat 25 April 2020
On the k-synchronizability for mailbox systems Cinzia Di Giusto Laetitia Laversa Etienne Lozes Thu 05 September 2019
Lemma Generation for Horn Clause Satisfiability: A Preliminary Study Emanuele De Angelis Fabio Fioravanti Alberto Pettorossi Maurizio Proietti Wed 21 August 2019
Algorithms in Real Algebraic Geometry: A Survey Saugata Basu Sat 29 June 2019
On the Skolem Problem for Continuous Linear Dynamical Systems Ventsislav Chonev Joel Ouaknine James Worrell Tue 30 April 2019

Library Size: 13G (57 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]