Results

Looking for more? ProQuest® Dissertations & Theses has additional dissertations and theses.
8043 open access dissertations and theses found for:
if(Theorem proving)  »   Refine Search
1.
Galois theory and the Hilbert Irreducibility Theorem
by Adams, Damien, M.S.  San Jose State University. 2013: 118 pages; 1541481.
2.
A self-verifying theorem prover
by Davis, Jared Curran, Ph.D.  The University of Texas at Austin. 2009: 554 pages; 3407549.
3.
4.
An explication of the Hilbert basis theorem and its relation to school mathematics
by Tse, Jasmine, M.S.  California State University, Long Beach. 2009: 66 pages; 1466156.
6.
A modal logic for role-based access control within the HOL theorem prover
by Kosiyatrakul, Thumrongsak, Ph.D.  Syracuse University. 2010: 463 pages; 3429046.
7.
Towards an unconditional proof of the André-Oort Conjecture and surrounding problems
by Tsimerman, Jacob, Ph.D.  Princeton University. 2011: 104 pages; 3463338.
8.
Weil-étale cohomology over local fields
by Karpuk, David A., Ph.D.  University of Maryland, College Park. 2012: 85 pages; 3517682.
9.
Conditions for deterministic limits of markov jump processes: The Kurtz theorem in chemistry
by Sedova, Ada, M.A.  State University of New York at Albany. 2015: 133 pages; 1588003.
11.
12.
The Index Theorem for Quasi-Tori
by Chan, Tsz On Mario, Dr.Nat.  Universitaet Bayreuth (Germany). 2013: 45 pages; 10703709.
13.
On KK-Theory and a Theorem in Stable Uniqueness
by Foote, Richard D. L., M.S.  University of Louisiana at Lafayette. 2016: 57 pages; 10163279.
14.
Extension of Lyapunov's Convexity Theorem to Subranges
by Dai, Peng, Ph.D.  State University of New York at Stony Brook. 2011: 61 pages; 3477345.
15.
Using HDG+ to Compute Solutions of the 3D Linear Elastic and Poroelastic Wave Equations
by Hungria, Allan, Ph.D.  University of Delaware. 2019: 139 pages; 22588757.
16.
Roots of Polynomial Congruences
by Welsh, Matthew C, Ph.D.  Rutgers The State University of New Jersey, School of Graduate Studies. 2019: 89 pages; 13856719.
17.
An I/O-Complexity Lower Bound for All Recursive Matrix Multiplication Algorithms by Path-Routing
by Scott, Jacob N., Ph.D.  University of California, Berkeley. 2015: 113 pages; 10086162.
18.
Generalized factorization in commutative rings with zero-divisors
by Mooney, Christopher Park, Ph.D.  The University of Iowa. 2013: 125 pages; 3595128.
19.
First order decision diagrams for decision theoretic planning
by Joshi, Saket, Ph.D.  Tufts University. 2010: 190 pages; 3427479.
20.
Extensions of Morley's theorem
by Gordon, Richard Harvey, M.A.  San Jose State University. 1970: 122 pages; 1489311.
21.
The folk theorem in repeated games with private monitoring
by Sugaya, Takuo, Ph.D.  Princeton University. 2012: 313 pages; 3522566.
22.
Coboundary theorems for collections of random variables with moment conditions
by Morrow, Steven T., Ph.D.  Indiana University. 2012: 52 pages; 3550887.
23.
On efficient computation of Grobner bases
by Gash, Justin M., Ph.D.  Indiana University. 2008: 206 pages; 3330795.
24.
Classical three-body systems and the Kolmogorov-Arnold-Moser theorem
by Hill, James A., M.S.  California State University, Long Beach. 2012: 44 pages; 1517644.
26.
Quantitative Combinatorial Geometry with Applications to Number Theory and Optimization
by La Haye, Reuben N., Ph.D.  University of California, Davis. 2016: 133 pages; 10165904.
27.
Skirting around the no-go theorem in measurement-based quantum computation
by Kyaw, Thi Ha, M.S.  National University of Singapore (Singapore). 2015: 66 pages; 10006091.
28.
Subsurface transformations of depleted uranium at Aberdeen Proving Ground, Maryland
by Oxenberg, Tanya Palmateer, Ph.D.  The Johns Hopkins University. 2007: 364 pages; 3262364.
30.
New Paths from Splay to Dynamic Optimality
by Levy, Caleb Carson, Ph.D.  Princeton University. 2019: 137 pages; 13885892.
1 - 30 of 8043 displayed.
  1    2    3    4    5    6    7    8    9    10    11   Next >
Copyright © 2019 ProQuest LLC. All rights reserved. Terms and Conditions Privacy Policy Cookie Policy
ProQuest