The following pages link to GUARDIAN (Q22349):
Displaying 4 items.
- A new approach for automatic theorem proving in real geometry (Q1272610) (← links)
- Reasoning over networks by symbolic methods (Q1304767) (← links)
- A logic based approach to finding real singularities of implicit ordinary differential equations (Q2035628) (← links)
- A reconstruction and extension of Maple's assume facility via constraint contextual rewriting (Q2456557) (← links)