More examples is included in the mathematica code. A julia package is still in development. This need to use CAS in julia, e.g. Symbolics.jl and/or SymEngine. For general in-homogeneous polynomial ...

This book presents the complete proof of the Bloch-Kato conjecture and several related conjectures of Beilinson and Lichtenbaum in algebraic geometry. Brought together here for the first time, these ...