Elimination Practice: Software Tools and Applications

Stability analysis of biological systems with real solution classification

Proceedings of the 2005 international symposium on Symbolic and algebraic computation

Computing singular points of plane rational curves

Journal of Symbolic Computation

Computational Origami Construction as Constraint Solving and Rewriting

Electronic Notes in Theoretical Computer Science (ENTCS)

Differential Algebra and System Modeling in Cellular Biology

AB '08 Proceedings of the 3rd international conference on Algebraic Biology

Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits

AB '08 Proceedings of the 3rd international conference on Algebraic Biology

Algebraic Analysis of Bifurcation and Limit Cycles for Biological Systems

AB '08 Proceedings of the 3rd international conference on Algebraic Biology

Geometry theorem proving by Gröbner bases: using ideal decompositions

ACM Communications in Computer Algebra

Properties of regular systems and algorithmic improvements for regular decomposition

Computers & Mathematics with Applications

On Protocols for the Automated Discovery of Theorems in Elementary Geometry

Journal of Automated Reasoning

Computing differential characteristic sets by change of ordering

Journal of Symbolic Computation

Thomas decomposition of algebraic and differential systems

CASC'10 Proceedings of the 12th international conference on Computer algebra in scientific computing

Morley's theorem revisited: Origami construction and automated proof

Journal of Symbolic Computation

On computing absolutely irreducible components of algebraic varieties with parameters

Computing

Equal bisectors at a vertex of a triangle

ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV

On equivalence of conditions for a quadrilateral to be cyclic

ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV

Computing intersection and self-intersection loci of parametrized surfaces using regular systems and Gröbner bases

Computer Aided Geometric Design

Computational origami of a morley’s triangle

MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management

Software for computing the Gröbner cover of a parametric ideal

ACM Communications in Computer Algebra

Solving dynamic geometric constraints involving inequalities

AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation

On one method of proving inequalities in automated way

ADG'10 Proceedings of the 8th international conference on Automated Deduction in Geometry

Real solution formulas of cubic and quartic equations applied to generate dynamic diagrams with inequality constraints

Proceedings of the 27th Annual ACM Symposium on Applied Computing

A new algorithmic scheme for computing characteristic sets

Journal of Symbolic Computation