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 :)
If you don't have an account, you can create one here.