Informatics Report Series


Author   

Grant Passmore


Related Pages

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

Home
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 <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh