#

real-algebraic-geometry

Here are 2 public repositories matching this topic...

ofloveandhate / bertini_real

software for real algebraic sets

curves polynomials numerical-methods surfaces algebraic-geometry bertini polynomial-systems real-algebraic-geometry

Updated Jan 4, 2025
C++

CohenCyril / signdet

Sign determination for CAD

coq real-algebraic-geometry ssreflect mathcomp

Updated Sep 24, 2020
Coq

Improve this page

Add a description, image, and links to the real-algebraic-geometry topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the real-algebraic-geometry topic, visit your repo's landing page and select "manage topics."