Session Zeta_Function

Theories

• Bernoulli.Bernoulli_Zeta
• Sturm_Tarski.PolyMisc
• HOL-Computational_Algebra.Field_as_Ring
• Sturm_Tarski.Sturm_Tarski
• Winding_Number_Eval.Missing_Topology
• Budan_Fourier.BF_Misc
• Winding_Number_Eval.Missing_Algebraic
• Winding_Number_Eval.Missing_Transcendental
• Winding_Number_Eval.Missing_Analysis
• Winding_Number_Eval.Cauchy_Index_Theorem
• HOL-Eisbach.Eisbach
  • File ‹parse_tools.ML›
  • File ‹method_closure.ML›
  • File ‹eisbach_rule_insts.ML›
  • File ‹match_method.ML›
• HOL-Eisbach.Eisbach_Tools
• Winding_Number_Eval.Winding_Number_Eval
• Zeta_Library
• Pure-ex.Guess
• Zeta_Function
• Zeta_Laurent_Expansion
• Hadjicostas_Chapman