Pages that link to "Item:Q2110211"

From MaRDI portal

← Enhancements to Lazard's method for cylindrical algebraic decomposition (Q2110211)

Jump to:navigation, search

The following pages link to Enhancements to Lazard's method for cylindrical algebraic decomposition (Q2110211):

Displaying 2 items.

Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings (Q1996869) (← links)
Levelwise construction of a single cylindrical algebraic cell (Q6149151) (← links)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:WhatLinksHere/Item:Q2110211"