1. CJM 2012 (vol 64 pp. 1395)
 Rodney, Scott

Existence of Weak Solutions of Linear Subelliptic Dirichlet Problems With Rough Coefficients
This article gives an existence theory for weak solutions of second order nonelliptic linear Dirichlet problems of the form
\begin{align*}
\nabla'P(x)\nabla u +{\bf HR}u+{\bf S'G}u +Fu &= f+{\bf T'g} \text{ in }\Theta
\\
u&=\varphi\text{ on }\partial \Theta.
\end{align*}
The principal part $\xi'P(x)\xi$ of the above equation is assumed to
be comparable to a quadratic form ${\mathcal Q}(x,\xi) = \xi'Q(x)\xi$ that
may vanish for nonzero $\xi\in\mathbb{R}^n$. This is achieved using
techniques of functional analysis applied to the degenerate Sobolev
spaces $QH^1(\Theta)=W^{1,2}(\Theta,Q)$ and
$QH^1_0(\Theta)=W^{1,2}_0(\Theta,Q)$ as defined in
previous works.
Sawyer and Wheeden give a regularity theory
for a subset of the class of equations dealt with here.
Keywords:degenerate quadratic forms, linear equations, rough coefficients, subelliptic, weak solutions Categories:35A01, 35A02, 35D30, 35J70, 35H20 

2. CJM 2007 (vol 59 pp. 1284)
 Fukshansky, Lenny

On Effective Witt Decomposition and the CartanDieudonn{Ã© Theorem
Let $K$ be a number field, and let $F$ be a symmetric bilinear form in
$2N$ variables over $K$. Let $Z$ be a subspace of $K^N$. A classical
theorem of Witt states that the bilinear space $(Z,F)$ can be
decomposed into an orthogonal sum of hyperbolic planes and singular and
anisotropic components. We prove the existence of such a decomposition
of small height, where all bounds on height are explicit in terms of
heights of $F$ and $Z$. We also prove a special version of Siegel's
lemma for a bilinear space, which provides a smallheight orthogonal
decomposition into onedimensional subspaces. Finally, we prove an
effective version of the CartanDieudonn{\'e} theorem. Namely, we show
that every isometry $\sigma$ of a regular bilinear space $(Z,F)$ can
be represented as a product of reflections of bounded heights with an
explicit bound on heights in terms of heights of $F$, $Z$, and
$\sigma$.
Keywords:quadratic form, heights Categories:11E12, 15A63, 11G50 

3. CJM 2001 (vol 53 pp. 434)
 van der Poorten, Alfred J.; Williams, Kenneth S.

Values of the Dedekind Eta Function at Quadratic Irrationalities: Corrigendum
Habib Muzaffar of Carleton University has pointed out to the authors
that in their paper [A] only the result
\[
\pi_{K,d}(x)+\pi_{K^{1},d}(x)=\frac{1}{h(d)}\frac{x}{\log
x}+O_{K,d}\Bigl(\frac {x}{\log^2x}\Bigr)
\]
follows from the prime ideal theorem with remainder for ideal classes,
and not the stronger result
\[
\pi_{K,d}(x)=\frac{1}{2h(d)}\frac{x}{\log
x}+O_{K,d}\Bigl(\frac {x}{\log^2x}\Bigr)
\]
stated in Lemma~5.2. This necessitates changes in Sections~5 and 6 of
[A]. The main results of the paper are not affected by these changes.
It should also be noted that, starting on page 177 of [A], each and
every occurrence of $o(s1)$ should be replaced by $o(1)$.
Sections~5 and 6 of [A] have been rewritten to incorporate the above
mentioned correction and are given below. They should replace the
original Sections~5 and 6 of [A].
Keywords:Dedekind eta function, quadratic irrationalities, binary quadratic forms, form class group Categories:11F20, 11E45 

4. CJM 2000 (vol 52 pp. 613)
 Ou, Zhiming M.; Williams, Kenneth S.

Small Solutions of $\phi_1 x_1^2 + \cdots + \phi_n x_n^2 = 0$
Let $\phi_1,\dots,\phi_n$ $(n\geq 2)$ be nonzero integers such that
the equation
$$
\sum_{i=1}^n \phi_i x_i^2 = 0
$$
is solvable in integers $x_1,\dots,x_n$ not all zero. It is shown
that there exists a solution satisfying
$$
0 < \sum_{i=1}^n \phi_i x_i^2 \leq 2 \phi_1 \cdots \phi_n,
$$
and that the constant 2 is best possible.
Keywords:small solutions, diagonal quadratic forms Category:11E25 

5. CJM 1999 (vol 51 pp. 176)
 van der Poorten, Alfred; Williams, Kenneth S.

Values of the Dedekind Eta Function at Quadratic Irrationalities
Let $d$ be the discriminant of an imaginary quadratic field. Let
$a$, $b$, $c$ be integers such that
$$
b^2  4ac = d, \quad a > 0, \quad \gcd (a,b,c) = 1.
$$
The value of $\bigl\eta \bigl( (b + \sqrt{d})/2a \bigr) \bigr$ is
determined explicitly, where $\eta(z)$ is Dedekind's eta function
$$
\eta (z) = e^{\pi iz/12} \prod^\ty_{m=1} (1  e^{2\pi imz})
\qquad \bigl( \im(z) > 0 \bigr). %\eqno({\rm im}(z)>0).
$$
Keywords:Dedekind eta function, quadratic irrationalities, binary quadratic forms, form class group Categories:11F20, 11E45 
