The following pages link to Andreas Dolzmann (Q898259):
Displaying 12 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)
- (Q4226991) (← links)
- (Q4232480) (← links)
- (Q4247790) (← links)
- Efficient projection orders for CAD (Q4657310) (← links)
- (Q4946076) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464720) (← links)
