GUARDIAN

swMATH10388MaRDI QIDQ22349FDOQ22349

Author name not available (Why is that?)

Cited In (4)

• A new approach for automatic theorem proving in real geometry
• A logic based approach to finding real singularities of implicit ordinary differential equations
• 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