Math.comput.sci. doi 10.1007/s11786-017-0319-z

HIGHLIGHTS

• who: Real quantifier elimination et al. from the This instructive example has been used by Hoon Hong in a colloquium talk at the University of Passau in , have published the article: Math.Comput.Sci. DOI 10.1007/s11786-017-0319-z, in the Journal: (JOURNAL)
• what: The authors focus here on geometric theorem proving. Alternative reductions to real quantifier elimination of the model have been discussed.
• how: The largest reaction system considered with the approach so far is the Mitogen-Activated Protein Kinase (MAPK) cascade which is well studied in cell biology.
 



If you want to have access to all the content you need to log in!

Thanks :)

Username or Email

Password

Remember me

Lost your password?

If you don't have an account, you can create one here.