This page gathers references to articles either reporting on research
where the RegularChains library is used, or simply citing the RegularChains library,
or uisng regular chain theory. This page does not include articles
co-authored by developers of the RegularChains library.
Papers using the RegularChains library
Relative Equilibria in the Four-Vortex Problem with Two Pairs of Equal Vorticities
by Marshall Hampton, Gareth E. Roberts and Manuele Santoprete Link to the paper
Cylindrical algebraic decompositions for boolean combinations
by Russell Bradford, James H. Davenport, Matthew England, Scott McCallum and David Wilson Link to the paper
Recognition of concurrency relations between inaccurate lines
by Peter Veelaert and Michael Heyvaert Link to the paper
Deciding Nonnegativity of Polynomials by MAPLE
by Lu Yang, Bican Xia Link to the paper
An implementation of CAD in Maple utilising McCallum projection
by Matthew England Link to the paper
On Stationary Sets of Euler's Equations on so(3,1) and their Stability
by Valentin Irtegov and Tatyana Titorenko Link to the paper
Geometry of branch cuts
by Nalina Phisanbut, Russell J. Bradford and James H. Davenport Link to the paper
Applying a Rigorous Quasi-Steady State Approximation Method for Proving the Absence of Oscillations in Models of Genetic Circuits
by François Boulier, Marc Lefranc, François Lemaire and Pierre-Emmanuel Morant Link to the paper
Thomas Decomposition of Algebraic and Differential Systems
by Thomas Bächler, Vladimir Gerdt, Markus Lange-Hegermann and Daniel Robertz Link to the paper
An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance
by Matthew England Link to the paper
MABSys: Modeling and Analysis of Biological Systems
by François Lemaire and Asli Ürgüplü Link to the paper
Algebraic transformation of differential characteristic decompositions from one ranking to another
by Oleg Golubitsky , Marina Kondratieva and Alexey Ovchinnikov Link to the paper
Generic Regular Decompositions for Generic Zero-Dimensional Systems
by Xiaoxian Tang, Zhenghong Chen and Bican Xia Link to the paper
Model Reduction of Chemical Reaction Systems using Elimination
by François Boulier, Marc Lefranc, François Lemaire and Pierre-Emmanuel Morant Link to the paper
Stability of Triangular Decomposition and Comprehensive Triangular Decomposition
by Xiaoxian Tang and Bican Xia Link to the paper
Chemical Reaction Systems, Computer Algebra and Systems Biology
by François Boulier, François Lemaire, Michel Petitot and Alexandre Sedoglavic Link to the paper
Papers citing the RegularChains library
Singularity: A Maple library for local zeros of scalar smooth maps by Majid Gazor, Mahsa Kazemi Link to the paper
Qualitative investigation of a gene model using computer algebra algorithms by F. Boulier, M. Han , F. Lemaire, V. G. Romanovski Link to the paper
An extension of Turan's inequality by Geno Nikolov, Veronika Pillwein Link to the paper
Using the Regular Chains Library to build cylindrical algebraic decompositions by projecting and lifting by Matthew England, David Wilson, Russell Bradford, James H. Davenport Link to the paper
Using Maple's RegularChains Library to Automatically Classify Plane Geometric Loci by Francisco Botana, Tomas Recio Link to the paper
The package CRACK for solving large overdetermined systems
by Thomas Wolf Link to the paper
Computational Polynomial Algebra and Its Biological Applications
by Dongming Wang Link to the paper
Papers using triangular decomposition and regular chain theory
An approach to first principles electronic structure calculation by symbolic-numeric computation
by Akihito Kikuchi Link to the paper
Properties of regular systems and algorithmic improvements for regular decomposition
by Meng Jin Link to the paper
Applications