Projects

• Maple Package for Dixon / Bezout Resultant Computation.
• Download package
• Documentation
• Symbolic Matrix Determinant Interpolator (C++) MatDetInterp Presented at ISSAC'04, Santander Spain
• Online computation of Dixon / Bezout resultant (Java) (Under Construction)
• Online database of polynomials systems and their resultants.
• Other/Older Projects
• Segment Database (Master Thesis) work at Wadsworth Center, NYS Department of Health
• Generalized Satisfiability Problem (GSP) work at SUNY under supervision of Richard Stearns

---