GUARDIAN

MaRDI QIDQ22349swMATHFDO

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