Font Size:
a
A
A
Keyword [Proof]
Result: 121 - 140 | Page: 7 of 9
121.
A proof of Burnside's theorem on the solvability of groups
122.
Parallelizing an Interactive Theorem Prover: Functional Programming and Proofs with ACL2
123.
QCD factorization for hadronic B decays: Proofs and higher-order corrections
124.
A study of Gauss's theorem on the Euclidean construction of regular polygons
125.
An explicit proof of the weak finite basis theorem and applications to computing ranks of elliptic curves
126.
A Proof of the Higher Order Accuracy of the Patchy Method for Solving the Hamilton-Jacobi-Bellmamn Equation
127.
Analytic Proofs of Certain MacWilliams Identities
128.
Research on Vacuum Laser Accelerator and Proof-of Principle Experiment
129.
Embedding domains in skew fields
130.
Brouwer's fixed point theorem: Methods of proof and generalizations
131.
Congruences for modular forms
132.
A conservative type system based on fractional permissions
133.
The atomic decomposition of theq-Kostka polynomials in combinatorics and geometry
134.
A generalization of Hardy's inequality for Fourier series
135.
Enhancing the Nuprl proof development system and applying it to computational abstract algebra
136.
Higher-order functional languages and intensional logic
137.
A Proof of Looijenga's Conjecture via Integral-Affine Geometry
138.
Rapid Generation Of Zebrafish Maternal Mutants By Oocyte-specific Genome Editing,A Proof-of-principle Test
139.
A Theoretical Proof Of Stability Of Critical Equilibrium For Columns With Flexible Constraints And For Ring Under Pressure
140.
The Research Of Several Restricted Partition Functions
<<First
<Prev
Next>
Last>>
Jump to
