Quantifier elimination by cylindrical algebraic decomposition based on regular chains von Chen, Changbo, Moreno Maza, Marc

Volltext

Algorithms for computing triangular decomposition of polynomial systems von Chen, Changbo, Moreno Maza, Marc

Volltext

Algorithms and Data Structures for Sparse Polynomial Arithmetic von Asadi, Mohammadali, Brandt, Alexander, Moir, Robert H. C., Moreno Maza, Marc

Volltext

A Standard Basis Free Algorithm for Computing the Tangent Cones of a Space Curve von Alvandi, Parisa, Maza, Marc Moreno, Schost, Éric, Vrbik, Paul

Volltext

An equivalence theorem for regular differential chains von Boulier, François, Lemaire, François, Poteaux, Adrien, Moreno Maza, Marc

Volltext

On the Extended Hensel Construction and its application to the computation of real limit points von Alvandi, Parisa, Ataei, Masoud, Kazemi, Mahsa, Moreno Maza, Marc

Volltext

Computing the Integer Points of a Polyhedron, I: Algorithm von Jing, Rui-Juan, Moreno Maza, Marc

Volltext

Computing the Integer Points of a Polyhedron, II: Complexity Estimates von Jing, Rui-Juan, Moreno Maza, Marc

Volltext

Triangular decomposition of semi-algebraic systems von Chen, Changbo, Davenport, James H., May, John P., Moreno Maza, Marc, Xia, Bican, Xiao, Rong

Volltext

Counting the Integer Points of Parametric Polytopes: A Maple Implementation von Jing, Rui-Juan, Lei, Yuzhuo, Maligec, Christopher F. S., Moreno Maza, Marc

Volltext

A Short Contribution to the Theory of Regular Chains von Boulier, François, Lemaire, François, Moreno Maza, Marc, Poteaux, Adrien

Volltext

A Modular Algorithm for Computing the Intersection of a One-Dimensional Quasi-Component and a Hypersurface von Brandt, Alexander, González Trochez, Juan Pablo, Moreno Maza, Marc, Yuan, Haoze

Volltext

Fast polynomial multiplication on a GPU von Maza, Marc Moreno, Pan, Wei

Volltext

Computing with semi-algebraic sets: Relaxation techniques and effective boundaries von Chen, Changbo, Davenport, James H., Moreno Maza, Marc, Xia, Bican, Xiao, Rong

Volltext

The modpn library: Bringing fast polynomial arithmetic into Maple von Li, Xin, Moreno Maza, Marc, Rasheed, Raqeeb, Schost, Éric

Volltext

Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains von Bradford, Russell, Chen, Changbo, Davenport, James H., England, Matthew, Moreno Maza, Marc, Wilson, David

Volltext

Computing differential characteristic sets by change of ordering von Boulier, François, Lemaire, François, Moreno Maza, Marc

Volltext

On Solving Parametric Polynomial Systems von Moreno Maza, Marc, Xia, Bican, Xiao, Rong

Volltext

When does 〈 T 〉 equal sat ( T ) ? von Lemaire, François, Moreno Maza, Marc, Pan, Wei, Xie, Yuzhen

Volltext

Fast arithmetic for triangular sets: From theory to practice von Li, Xin, Moreno Maza, Marc, Schost, Éric

Volltext