Pages that link to "Item:Q2959017"
From MaRDI portal
The following pages link to An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q2959017):
Displaying 1 item.
The following pages link to An effective implementation of a symbolic-numeric cylindrical algebraic decomposition for quantifier elimination (Q2959017):
Displaying 1 item.