qepcad

Quantifier Elimination by Partial Cylindrical Decomposition MMT 2016

Name		Name	Last commit message	Last commit date
Latest commit History 146 Commits
docs		docs
.gitignore		.gitignore
CAD.py		CAD.py
Ejemplo5		Ejemplo5
EjemploClase		EjemploClase
LiftingUML.mdj		LiftingUML.mdj
Projection Fase		Projection Fase
ProjectionPhase.py		ProjectionPhase.py
README.md		README.md
Slides2FR2		Slides2FR2
Slides2FR2bug		Slides2FR2bug
SphereR3		SphereR3
example.py		example.py
lifting.py		lifting.py
paraboloideconcilindro.png		paraboloideconcilindro.png
paraboloideconcilindro.py		paraboloideconcilindro.py
provesCAD.py		provesCAD.py
provesLifting.py		provesLifting.py
scriptVagos.py		scriptVagos.py
simplifiedLiftingUml.mdj		simplifiedLiftingUml.mdj
sphereR3.png		sphereR3.png
sphereR3bug		sphereR3bug
sphereplot.py		sphereplot.py
subresultants.py		subresultants.py
sylverster.py		sylverster.py
tests-subresultants.py		tests-subresultants.py

fme-mmt/qepcad