The following pages link to (Q5718720):
Displaying 8 items.
- A semi-algebraic approach for asymptotic stability analysis (Q1036644) (← links)
- Automated reasoning about elementary point-set topology (Q1122363) (← links)
- Euclidean geometry in terms of automata theory (Q1124346) (← links)
- Automatic generation of staged geometric predicates (Q1426869) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Realization of automatic reasoning system of geometry based on point-eliminating method (Q3399727) (← links)
- (Q3486874) (← links)
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom? (Q6157640) (← links)