Skip to search formSkip to main contentSkip to account menu

Regular chain

Known as: Regular 
In computer algebra, a regular chain is a particular kind of triangular set in a multivariate polynomial ring over a field. It enhances the notion of… 
Wikipedia (opens in a new tab)

Related topics

Related topics

10 relations
Gaussian eliminationGröbner basisRegular semi-algebraic systemRegularChains

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Evaluating the effectiveness of D-chains in SAT-based ATPG
With the ever increasing size of today's Very-Large-Scale-Integration (VLSI) designs new approaches for test pattern generation… 
Highly Cited
2014
Highly Cited
2014
Quantifier elimination by cylindrical algebraic decomposition based on regular chains
A quantifier elimination algorithm by cylindrical algebraic decomposition based on regular chains is presented. The main idea is… 
2011
2011
When does equal sat(T)?
2011
2011
Thomas decomposition and its applications
All zeroes of inequations have to be removed from the solution set. This requires them to be treated similarly to the equations… 
2009
2009
Combination of thermal subsystems by use of rapid circuit transformation and extended two-port theory
2008
2008
Increasing Scan Compression by Using X-chains
Scan testing and scan compression are key to realizing cost reduction and quality control of ever more complex designs. However… 
Highly Cited
2007
Highly Cited
2007
Comprehensive Triangular Decomposition
We introduce the concept of comprehensive triangular decomposition (CTD) for a parametric polynomial system F with coefficients… 
Highly Cited
2000
Highly Cited
2000
Formation mechanism of fullerene peapods and coaxial tubes: a path to large scale synthesis
1991
1991
A Constructive Implementation of the Cartan-Kähler Theory of Exterior Differential Systems
1990
1990
Recognition of the Laminin E8 Cell-binding Site by an Integrin Possessing the Subunit Is Essential for Epithelial Polarization in Developing Kidney Tubules
It has been previously shown that A-chain and domain(E8)-specific antibodies to laminin that inhibit cell adhesion also interfere… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)