Informatics Report Series


Grant Passmore

Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Report Date Title
EDI-INF-RR-1343 Sep 2009 Superfluous S-polynomials in Strategy-Independent Groebner Bases
EDI-INF-RR-1342 Sep 2009 On Locally Minimal Nullstellensatz Proofs
EDI-INF-RR-1330 Jul 2009 Combined Decision Techniques for the Existential Theory of the Reals
EDI-INF-RR-1310 Oct 2008 Does SAT Exhibit Fractal Behavior?

Home : Publications : Author 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh