A semi-reflexive tactic for (sub-)equational reasoning
A Sample CV - University of Colombo
a review sheet for test #02
A quick review of Mathe 114
A PROOF OF RYSZARD W´OJCICKI`S CONJECTURE
A numerical solution of a two-dimensional transport equation.
a note on the matrix haffian
A Note on Formalizing Undefined Terms in Real Analysis
A new proof of the maximal monotonicity of
a Microsoft Word document containing test #4
A linear type system for pi calculus
a la Finance University Paris 1 Stochastic Calculus 2 Annie Millet
A Hilbert-style axiomatization of higher-order
A GENERALIZATION OF THE CARTAN FORM pdq − H dt
A function f(x) can be approximated using a polynomial Pn(x) (order n)
A function f is linear if f(ax + by) = af(x) + bf(y) Or equivalently f is
A Direct Proof of the Prime Number Theorem
A Complete Characterization of Complete Intersection
A Collection of Proofs
a = x
