The following pages link to Andreas Dolzmann (Q898259):
Displaying 6 items.
- Better answers to real questions (Q898260) (← links)
- A new approach for automatic theorem proving in real geometry (Q1272610) (← links)
- Simplification of quantifier-free formulae over ordered fields (Q1368694) (← links)
- Multiple object semilinear motion planning (Q2457425) (← links)
- (Q2760201) (← links)
- Local quantifier elimination (Q3454748) (← links)
