Pages that link to "Item:Q5175311"

The following pages link to Computing the real solutions of polynomial systems with the RegularChains library in Maple (Q5175311):

Displaying 2 items.

• Exploring alternative machine learning models for variable ordering in cylindrical algebraic decomposition (Q6637810) (← links)
• A dataset for suggesting variable orderings for cylindrical algebraic decompositions (Q6660322) (← links)