Pages that link to "Item:Q3582707"
From MaRDI portal
The following pages link to A Formal Quantifier Elimination for Algebraically Closed Fields (Q3582707):
Displaying 12 items.
- Cardy condition for open-closed field algebras (Q956645) (← links)
- Quantifier elimination for modules with scalar variables (Q1192337) (← links)
- Quantifier elimination for Henselian fields relative to additive and multiplicative congruences (Q1320036) (← links)
- Elimination of constants from machines over algebraically closed fields (Q1361877) (← links)
- Simplification of quantifier-free formulae over ordered fields (Q1368694) (← links)
- Quantifier elimination in pairs of algebraically closed fields (Q1759771) (← links)
- SEPARABLY CLOSED VALUED FIELDS: QUANTIFIER ELIMINATION (Q2976369) (← links)
- (Q3384907) (← links)
- (Q5127336) (← links)
- (Q5187264) (← links)
- Proof Assistant Decision Procedures for Formalizing Origami (Q5200107) (← links)
- Quantifier elimination for the theory of algebraically closed valued fields with analytic structure (Q5293194) (← links)