The following pages link to (Q3838772):
Displaying 6 items.
- REDLOG (Q16433) (← links)
- Variant quantifier elimination (Q420753) (← links)
- Better answers to real questions (Q898260) (← links)
- Automatic derivation of positivity conditions inside boundary elements with the help of the REDLOG computer logic package. (Q1568438) (← links)
- Linear problems in valued fields (Q1582303) (← links)
- A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications (Q1701667) (← links)
