524 citations
- Perimeter InstituteCA19 papers
- Bogolyubov Institute for Theoretical PhysicsUA6 papers
- Center for Astrophysics Harvard & SmithsonianUS5 papers
- Harvard UniversityUS5 papers
- University of VictoriaCA4 papers
- Brown UniversityUS3 papers
- European Southern ObservatoryCL3 papers
- Helsinki Institute of PhysicsFI3 papers
- Jet Propulsion LaboratoryUS3 papers
- Kyoto UniversityJP3 papers
- Universidad de la República de UruguayUY3 papers
- University of CambridgeGB3 papers
4 papers · 1 filter
Computing Cylindrical Algebraic Decomposition via Triangular Decomposition
Changbo Chen, Marc Moreno Maza, Bican Xia +1
Cylindrical algebraic decomposition is one of the most important tools for computing with semi-algebraic sets, while triangular decomposition is among the most important approaches…
Computations modulo regular chains
Xin Li, Marc Moreno Maza, Wei Pan
The computation of triangular decompositions are based on two fundamental operations: polynomial GCDs modulo regular chains and regularity test modulo saturated ideals. We propose…
Fast algorithms for differential equations in positive characteristic
Alin Bostan, Éric Schost
We address complexity issues for linear differential equations in characteristic : resolution and computation of the -curvature. For these tasks, our main focus is on algor…
Differential Equations for Algebraic Functions
Alin Bostan, Frédéric Chyzak, Bruno Salvy +2
It is classical that univariate algebraic functions satisfy linear differential equations with polynomial coefficients. Linear recurrences follow for the coefficients of their powe…