Macaulay2 and Maple scripts used for the proofs of the paper 
      
"On Partial Polynomial Interpolation", M.C.Brambilla and G.Ottaviani
See the article
 Macaulay2 scripts 
      
Proposition 4.3: check of the statement in the case n=8 | 
Proposition 4.7 and Proposition 4.8: check of the statement in the case n=7 | 
Proposition 4.8: check of the special cases | 
Proposition 4.12: check of the statement in the case n=6 | 
Proposition 4.12: check of the statement in the case n=7 | 
 Maple scripts 
      
Proposition 4.7 and Proposition 4.8: check of the statement in the case n=5 | 
Proposition 4.12: check of the statement in the case n=5 |