524 citations
- Perimeter InstituteCA21 papers
- Bogolyubov Institute for Theoretical PhysicsUA6 papers
- Center for Astrophysics Harvard & SmithsonianUS5 papers
- Harvard UniversityUS5 papers
- University of VictoriaCA4 papers
- University of WaterlooCA4 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
Showing 2009 · cs.SCShow all
3 papers · 2 filters
cs.SC2009
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…
cs.SC2009★ 4 cited
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…
cs.SC2009★ 2 cited
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…