LIP6 2003/010

• Technical report
  Actes de la conférence Calculemus 2003
• Th. Hardin, R. Rioboo
• 141 pages - 09/10/2003- document en - http://www.lip6.fr/lip6/reports/2003/lip6.2003.010.pdf - 1,759 Ko
• Contact : Renaud.Rioboo (at) nulllip6.fr
• Ancien Thème : CALFOR
This report presents the proceedings of the Calculemus 2003 conference that was held in Rome on september 10-12 2003. Calculemus is aboutthe interaction between Computer Algebra systems and Prrof Deductionsystems. the conference was organized in conjunction with TABLEAUX 2003 and TPHOLs 2003.
• Keywords : Calculemus, Proof systems, Computer Algebra
• Publisher : David.Massot (at) nulllip6.fr