swMATH10388MaRDI QIDQ22349FDOQ22349
Author name not available (Why is that?)
Official website: http://web.mit.edu/reduce_v20101007/reduce-algebra-20101007/packages/guardian/guardian.txt
Cited In (6)
- A new approach for automatic theorem proving in real geometry
- A logic based approach to finding real singularities of implicit ordinary differential equations
- RDL
- TDDS
- Reasoning over networks by symbolic methods
- A reconstruction and extension of Maple's assume facility via constraint contextual rewriting
This page was built for software: GUARDIAN
