Back to Results
First PageMeta Content
Quantification / Complexity classes / Finite model theory / Model theory / Quantifier elimination / FO / Well-formed formula / Prenex normal form / Arithmetical hierarchy / Logic / Mathematical logic / Theoretical computer science


Research Memorandum ISIS-RM-5E Real Quadratic Quantifier Elimination in Risa/Asir Thomas Sturm∗ @date
Add to Reading List

Document Date: 2005-07-01 05:32:07

Open Document

File Size: 181,39 KB

Share Result on Facebook

City

Passau / Davenport / /

Company

CNF / FUJITSU LABORATORIES LIMITED. / US RAND Corporation / /

Country

Germany / Japan / /

/

Facility

Risa/Asir Thomas Sturm∗ @date Institute / Risa/Asir Thomas Sturm∗ Institute / /

/

IndustryTerm

minor tool / polynomial algorithms / computer algebra systems / physical networks / transportation problem / /

OperatingSystem

ISIS / /

Organization

Risa/Asir Thomas Sturm∗ @date Institute for Social Information Science / Risa/Asir Thomas Sturm∗ Institute for Social Information Science / @date Institute for Social Information Science / /

/

Position

author / Prime Minister / og op1−v pm / Visiting researcher / /

ProgrammingLanguage

C / /

Technology

polynomial algorithms / CAD / /

SocialTag