\relax 
\providecommand\hyper@newdestlabel[2]{}
\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument}
\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined
\global\let\oldcontentsline\contentsline
\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global\let\oldnewlabel\newlabel
\gdef\newlabel#1#2{\newlabelxx{#1}#2}
\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\ifx\hyper@anchor\@undefined
\let\contentsline\oldcontentsline
\let\newlabel\oldnewlabel
\fi}
\fi}
\global\let\hyper@last\relax 
\gdef\HyperFirstAtBeginDocument#1{#1}
\providecommand\HyField@AuxAddToFields[1]{}
\providecommand\HyField@AuxAddToCoFields[2]{}
\emailauthor{pascal.koiran@ens-lyon.fr}{Pascal Koiran}
\emailauthor{natacha.portier@ens-lyon.fr}{Natacha Portier}
\emailauthor{sebastien.tavenas@ens-lyon.fr}{S\'ebastien Tavenas}
\citation{Valiant82,Burg}
\citation{Koi10}
\citation{ShSm95}
\Newlabel{lip}{a}
\@writefile{toc}{\contentsline {section}{\numberline {1}Introduction}{1}{section.1}}
\citation{GKPS11}
\citation{GKPS11}
\citation{Kh91}
\citation{GKPS11}
\citation{Ave09}
\citation{HS80}
\citation{KI04}
\citation{AM11}
\citation{Agra05}
\citation{AS09,Sax09}
\citation{GKPS11}
\newlabel{spspower}{{1}{2}{Introduction}{equation.1.1}{}}
\citation{PoSz76}
\citation{GKS91}
\citation{GK93}
\citation{GKS94}
\newlabel{lem_strongDescartes}{{1}{3}{Strong rule of signs}{theorem.1}{}}
\newlabel{lem_Descartes}{{2}{3}{Weak rule of signs}{theorem.2}{}}
\citation{PoSz76}
\citation{Pea1889a,Pea1889b,Bo1900a}
\citation{HistWr}
\citation{Bo1900b}
\citation{Hur90}
\citation{VP75}
\@writefile{toc}{\contentsline {section}{\numberline {2}Zeros of the Wronskian as an upper bound}{4}{section.2}}
\newlabel{Sec_upperbound}{{2}{4}{Zeros of the Wronskian as an upper bound}{section.2}{}}
\newlabel{lem_zero}{{5}{4}{}{theorem.5}{}}
\newlabel{Thm_heart}{{7}{4}{}{theorem.7}{}}
\newlabel{thm_main}{{8}{5}{}{theorem.8}{}}
\newlabel{Eq1}{{2}{5}{}{equation.2.2}{}}
\newlabel{Eq2}{{3}{5}{}{equation.2.3}{}}
\citation{GKPS11}
\citation{Kh91}
\newlabel{thm_main3}{{9}{6}{}{theorem.9}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3}Applications}{6}{section.3}}
\newlabel{Sec_applications}{{3}{6}{Applications}{section.3}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.1}Derivative of a power}{6}{subsection.3.1}}
\newlabel{lem_power}{{10}{6}{}{theorem.10}{}}
\citation{GKPS11}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.2}Several models}{8}{subsection.3.2}}
\newlabel{lem_monomials}{{11}{8}{}{theorem.11}{}}
\newlabel{Thm_model1}{{12}{8}{}{theorem.12}{}}
\newlabel{eqn_factor}{{5}{9}{Several models}{equation.3.5}{}}
\newlabel{Borne_zeros}{{6}{9}{Several models}{equation.3.6}{}}
\newlabel{for_Upsilon}{{7}{10}{Several models}{equation.3.7}{}}
\citation{Ave09}
\citation{LRW03}
\citation{LRW03}
\newlabel{Thm_model2}{{13}{11}{}{theorem.13}{}}
\newlabel{Cor_Avendano}{{14}{11}{}{theorem.14}{}}
\newlabel{Cor_trinomials}{{16}{12}{}{theorem.16}{}}
\@writefile{toc}{\contentsline {section}{\numberline {4}Some Algorithms for Polynomial Identity Testing}{13}{section.4}}
\newlabel{Sec_PIT}{{4}{13}{Some Algorithms for Polynomial Identity Testing}{section.4}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.1}Blackbox PIT algorithms}{13}{subsection.4.1}}
\newlabel{cor_blackbox1}{{17}{13}{}{theorem.17}{}}
\newlabel{cor_blackbox2}{{18}{13}{}{theorem.18}{}}
\@writefile{toc}{\contentsline {subsection}{\numberline {4.2}A Whitebox PIT algorithm}{13}{subsection.4.2}}
\newlabel{pro_whitebox1}{{19}{13}{}{theorem.19}{}}
\newlabel{pro_algo}{{20}{14}{}{theorem.20}{}}
\citation{VP75}
\@writefile{toc}{\contentsline {section}{\numberline {5}An improved upper bound}{15}{section.5}}
\newlabel{Sec_upperbound_refinement}{{5}{15}{An improved upper bound}{section.5}{}}
\newlabel{Thm_Voor}{{21}{15}{}{theorem.21}{}}
\citation{Fro76,Pol22,NY95}
\newlabel{lem_Frobenius}{{22}{16}{}{theorem.22}{}}
\@writefile{toc}{\contentsline {section}{\numberline {6}Optimality of Theorem\nobreakspace  {}\ref  {thm_main}}{17}{section.6}}
\newlabel{Sec_optimality}{{6}{17}{Optimality of Theorem~\ref {thm_main}}{section.6}{}}
\newlabel{lem_derivopt}{{23}{17}{}{theorem.23}{}}
\newlabel{lem_Zff}{{24}{19}{}{theorem.24}{}}
\newlabel{eqn_lineardependence}{{8}{19}{Optimality of Theorem~\ref {thm_main}}{equation.6.8}{}}
\newlabel{eqn_impl}{{9}{19}{Optimality of Theorem~\ref {thm_main}}{equation.6.9}{}}
\citation{PoSz76}
\newlabel{lem_easy}{{25}{20}{}{theorem.25}{}}
\newlabel{thm_opt}{{26}{20}{}{theorem.26}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces roots of $g=h\circ f$ in the proof of Theorem\nobreakspace  {}\ref  {thm_opt}}}{21}{figure.1}}
\newlabel{fig:nb-roots}{{1}{21}{roots of $g=h\circ f$ in the proof of Theorem~\ref {thm_opt}}{figure.1}{}}
\newlabel{eqn_z(g)}{{10}{21}{Optimality of Theorem~\ref {thm_main}}{equation.6.10}{}}
\newlabel{eqn_upsilon}{{11}{21}{Optimality of Theorem~\ref {thm_main}}{equation.6.11}{}}
\bibstyle{plain}
\bibdata{Wronskien}
\bibcite{AM11}{{1}{}{{}}{{}}}
\bibcite{Agra05}{{2}{}{{}}{{}}}
\bibcite{AS09}{{3}{}{{}}{{}}}
\bibcite{Ave09}{{4}{}{{}}{{}}}
\bibcite{Bo1900a}{{5}{}{{}}{{}}}
\bibcite{Bo1900b}{{6}{}{{}}{{}}}
\bibcite{Burg}{{7}{}{{}}{{}}}
\bibcite{HistWr}{{8}{}{{}}{{}}}
\bibcite{Fro76}{{9}{}{{}}{{}}}
\bibcite{GKPS11}{{10}{}{{}}{{}}}
\bibcite{GK93}{{11}{}{{}}{{}}}
\bibcite{GKS91}{{12}{}{{}}{{}}}
\bibcite{GKS94}{{13}{}{{}}{{}}}
\bibcite{HS80}{{14}{}{{}}{{}}}
\bibcite{Hur90}{{15}{}{{}}{{}}}
\bibcite{KI04}{{16}{}{{}}{{}}}
\bibcite{Kh91}{{17}{}{{}}{{}}}
\bibcite{Koi10}{{18}{}{{}}{{}}}
\bibcite{LRW03}{{19}{}{{}}{{}}}
\bibcite{NY95}{{20}{}{{}}{{}}}
\bibcite{Pea1889a}{{21}{}{{}}{{}}}
\bibcite{Pea1889b}{{22}{}{{}}{{}}}
\bibcite{PoSz76}{{23}{}{{}}{{}}}
\bibcite{Pol22}{{24}{}{{}}{{}}}
\bibcite{Sax09}{{25}{}{{}}{{}}}
\bibcite{ShSm95}{{26}{}{{}}{{}}}
\bibcite{Valiant82}{{27}{}{{}}{{}}}
\bibcite{VP75}{{28}{}{{}}{{}}}
\@writefile{toc}{\contentsline {section}{\numberline {Appendix A}Proof of lemmas for Section\nobreakspace  {}\ref  {Sec_PIT}}{24}{appendix.A}}
\newlabel{Sec_proof_PIT}{{Appendix A}{24}{Proof of lemmas for Section~\ref {Sec_PIT}}{appendix.A}{}}
\newlabel{lem_develop}{{27}{24}{}{theorem.27}{}}
\newlabel{lem_beta}{{28}{24}{}{theorem.28}{}}
\newlabel{Eq_Beta}{{A.1}{25}{Proof of lemmas for Section~\ref {Sec_PIT}}{equation.A.1}{}}
\newlabel{lem_cell}{{29}{25}{}{theorem.29}{}}
\newlabel{lem_determinant}{{30}{26}{}{theorem.30}{}}
\providecommand\NAT@force@numbers{}\NAT@force@numbers
