  Bidirected graphs are directed multigraphs admitting arrows having two
starting or two ending points. With arbitrary such graph we associate a
non-negative integral quadratic form as a so-called incidence form. We show
that each non-negative form of Dynkin type A, D or C arises in this way, and
that all certain roots of an integral quadratic form come from walks in the
associated bidirected graph. We show that these results yield useful tools to
prove new facts and to perform efficient computations for integral quadratic
forms and related problems in number theory, algebra and graph theory. Among
others, we prove the universality property for a large class of integral
quadratic forms; we provide computational methods to find solutions or to
characterize the finiteness of the sets of solutions of various related
Diophantine equations; we show a variant of Whitney's theorem on line graphs
using switching classes, and that reflections through mentioned roots can be
realized as switching; we generalize known classification of non-negative
quadratic forms of Dynkin types A and D (with respect to the usual
Z-equivalence as well as the Gabrielov equivalence) to type C. Moreover, we
apply our techniques to give a conceptual and constructive proof of the
non-negativity and the possible Dynkin types of the Euler quadratic forms of a
class of finite-dimensional gentle algebras.
