Accéder directement au contenu

Jean-Guillaume Dumas

Professeur à l'UGA, directeur du LJK
1
Documents
Site web
  • https://membres-ljk.imag.fr/Jean-Guillaume.Dumas

Publications

863556

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits

 Jean-Guillaume Dumas , Erich Kaltofen , Gilles Villard , Lihong Zhi
ISSAC 2017 - 42nd International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. pp.125-132, ⟨10.1145/3087604.3087640⟩
Communication dans un congrès hal-01657873v1