Pages that link to "Item:Q918227"

The following pages link to Geometric reasoning with logic and algebra (Q918227):

Displaying 17 items.

• Uniqueness of equilibrium in the haber synthesis of ammonia (Q460874) (← links)
• Automatic computation of the complete root classification for a parametric polynomial (Q840716) (← links)
• Bifurcation from double eigenvalue for nonlinear equation with third-order nondegenerate singularity (Q902540) (← links)
• On mechanical quantifier elimination for elementary algebra and geometry (Q1102744) (← links)
• A bibliography of quantifier elimination for real closed fields (Q1103610) (← links)
• A cluster-based cylindrical algebraic decomposition algorithm (Q1105372) (← links)
• On the center criterion of planar quasi-homogeneous polynomial differential systems (Q1670377) (← links)
• Recent advances on determining the number of real roots of parametric polynomials (Q1808669) (← links)
• Geometric theorem proving by integrated logical and algebraic reasoning (Q1855223) (← links)
• Algorithms to compute the topology of orientable real algebraic surfaces (Q1878477) (← links)
• Classification of the real roots of the quartic equation and their Pythagorean tunes (Q2114437) (← links)
• The Dirac equation in the Kerr-de Sitter metric (Q2320475) (← links)
• A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
• Quantifier elimination theory and maps which preserve semipositivity (Q2687228) (← links)
• Topological elementary equivalence of closed semi-algebraic sets in the real plane (Q2710595) (← links)
• On the Expressive Power of Query Languages for Matrices (Q3305355) (← links)
• Extended symmetry analysis of remarkable (1+2)-dimensional Fokker–Planck equation (Q6049387) (← links)