CONCEPTUAL STRUCTURE OF THE PROOF AUTOMATON.
- Published in:
- 2014
- Publication type:
- Chart/Diagram/Graph
Works matching DE "PROOF theory"
Results: 2668
1
2
A Simple Derivation of the Wishart Distribution.
- Published in:
- American Statistician, 2002, v. 56, n. 2, p. 100, doi. 10.1198/000313002317572754
- By:
- Publication type:
- Article
3
Uzawa's Preference Axioms: A Comment.
- Published in:
- Review of Economic Studies, 1980, v. 47, n. 3, p. 641, doi. 10.2307/2297315
- By:
- Publication type:
- Article
4
Consistent Plans.
- Published in:
- Review of Economic Studies, 1980, v. 47, n. 3, p. 533, doi. 10.2307/2297304
- By:
- Publication type:
- Article
5
'Turnpike' Theory: A Revised Proof.
- Published in:
- 1976
- By:
- Publication type:
- Correction Notice
6
Optimal Stabilization Policies for Stochastic Linear Systems: The Case of Correlated Muliplicative and Additive Disturbances.
- Published in:
- Review of Economic Studies, 1976, v. 43, n. 1, p. 191, doi. 10.2307/2296614
- By:
- Publication type:
- Article
7
Dynamic Pricing with Stochastic Entry.
- Published in:
- Review of Economic Studies, 1976, v. 43, n. 1, p. 91, doi. 10.2307/2296603
- By:
- Publication type:
- Article
8
Private Constant Returns and Public Shadow Prices.
- Published in:
- Review of Economic Studies, 1976, v. 43, n. 1, p. 41, doi. 10.2307/2296598
- By:
- Publication type:
- Article
9
An Important Theorem on Income Tax.
- Published in:
- Review of Economic Studies, 1975, v. 42, n. 4, p. 649, doi. 10.2307/2296802
- By:
- Publication type:
- Article
10
Efficiency Analysis for Multivariate Distributions.
- Published in:
- Review of Economic Studies, 1975, v. 42, n. 1, p. 87, doi. 10.2307/2296822
- By:
- Publication type:
- Article
11
On Existence of Weakly Maximal Programmes in a Multi-Sector Economy.
- Published in:
- Review of Economic Studies, 1970, v. 37, n. 2, p. 275, doi. 10.2307/2296419
- By:
- Publication type:
- Article
12
An Indian solution to ‘incompleteness’.
- Published in:
- AI & Society, 2009, v. 24, n. 4, p. 351, doi. 10.1007/s00146-009-0209-2
- By:
- Publication type:
- Article
13
A Last Word on L=λW.
- Published in:
- Operations Research, 1974, v. 22, n. 2, p. 417, doi. 10.1287/opre.22.2.417
- By:
- Publication type:
- Article
14
The monodromy of unit-root F -isocrystals with geometric origin.
- Published in:
- Compositio Mathematica, 2022, v. 158, n. 2, p. 334, doi. 10.1112/S0010437X2200728X
- By:
- Publication type:
- Article
15
On exact $\infty$-categories and the Theorem of the Heart.
- Published in:
- Compositio Mathematica, 2015, v. 151, n. 11, p. 2160, doi. 10.1112/S0010437X15007447
- By:
- Publication type:
- Article
16
Vanishing of negative $\def \xmlpi #1{}\def \mathsfbi #1{\boldsymbol {\mathsf {#1}}}\let \le =\leqslant \let \leq =\leqslant \let \ge =\geqslant \let \geq =\geqslant \def \Pr {\mathit {Pr}}\def \Fr {\mathit {Fr}}\def \Rey {\mathit {Re}}K$-theory in ...
- Published in:
- Compositio Mathematica, 2014, v. 150, n. 8, p. 1425, doi. 10.1112/S0010437X14007301
- By:
- Publication type:
- Article
17
Rational maps between quasilinear hypersurfaces.
- Published in:
- Compositio Mathematica, 2013, v. 149, n. 3, p. 333, doi. 10.1112/S0010437X12000632
- By:
- Publication type:
- Article
18
The standard conjectures for holomorphic symplectic varieties deformation equivalent to Hilbert schemes of K3 surfaces.
- Published in:
- Compositio Mathematica, 2013, v. 149, n. 3, p. 481, doi. 10.1112/S0010437X12000607
- By:
- Publication type:
- Article
19
The André–Oort conjecture for the moduli space of abelian surfaces.
- Published in:
- Compositio Mathematica, 2013, v. 149, n. 2, p. 204, doi. 10.1112/S0010437X12000589
- By:
- Publication type:
- Article
20
The tangent complex and Hochschild cohomology of $\mathcal {E}_n$-rings.
- Published in:
- Compositio Mathematica, 2013, v. 149, n. 3, p. 430, doi. 10.1112/S0010437X12000140
- By:
- Publication type:
- Article
21
Generic Torelli theorem for Prym varieties of ramified coverings.
- Published in:
- Compositio Mathematica, 2012, v. 148, n. 4, p. 1147, doi. 10.1112/S0010437X12000280
- By:
- Publication type:
- Article
22
A lower bound on the waist of unit spheres of uniformly convex normed spaces.
- Published in:
- Compositio Mathematica, 2012, v. 148, n. 4, p. 1238, doi. 10.1112/S0010437X1200019X
- By:
- Publication type:
- Article
23
Braiding via geometric Lie algebra actions.
- Published in:
- Compositio Mathematica, 2012, v. 148, n. 2, p. 464, doi. 10.1112/S0010437X1100724X
- By:
- Publication type:
- Article
24
Proof of Cellini’s conjecture on self-avoiding paths in Coxeter groups.
- Published in:
- Compositio Mathematica, 2012, v. 148, n. 2, p. 548, doi. 10.1112/S0010437X11007032
- By:
- Publication type:
- Article
25
On ramification filtrations and p-adic differential equations, II: mixed characteristic case.
- Published in:
- Compositio Mathematica, 2012, v. 148, n. 2, p. 415, doi. 10.1112/S0010437X1100707X
- By:
- Publication type:
- Article
26
Mœglin’s theorem and Goldie rank polynomials in Cartan type A.
- Published in:
- Compositio Mathematica, 2011, v. 147, n. 6, p. 1741, doi. 10.1112/S0010437X11005653
- By:
- Publication type:
- Article
27
Remarks on endomorphisms and rational points.
- Published in:
- Compositio Mathematica, 2011, v. 147, n. 6, p. 1819, doi. 10.1112/S0010437X11005537
- By:
- Publication type:
- Article
28
Cluster algebras via cluster categories with infinite-dimensional morphism spaces.
- Published in:
- Compositio Mathematica, 2011, v. 147, n. 6, p. 1921, doi. 10.1112/S0010437X11005483
- By:
- Publication type:
- Article
29
Corrigendum: ‘A new proof of the non-tameness of the Nagata automorphism from the point of view of the Sarkisov Program, Compositio Math. 144 (2008), 963–977’.
- Published in:
- 2010
- By:
- Publication type:
- Erratum
30
On existence of log minimal models.
- Published in:
- Compositio Mathematica, 2010, v. 146, n. 4, p. 919, doi. 10.1112/S0010437X09004564
- By:
- Publication type:
- Article
31
Measure rigidity and $p$-adic Littlewood-type problems.
- Published in:
- Compositio Mathematica, 2007, v. 143, n. 3, p. 689, doi. 10.1112/S0010437X07002801
- By:
- Publication type:
- Article
32
Generators of Simple Modular Lie Superalgebras.
- Published in:
- Algebra Colloquium, 2016, v. 23, n. 2, p. 347, doi. 10.1142/S1005386716000365
- By:
- Publication type:
- Article
33
Note on Lattice-ordered Rings with Positive Squares.
- Published in:
- Algebra Colloquium, 2013, v. 20, n. 3, p. 417, doi. 10.1142/S1005386713000382
- By:
- Publication type:
- Article
34
Finite Groups with ℋ-Subgroups.
- Published in:
- Algebra Colloquium, 2013, v. 20, n. 3, p. 421, doi. 10.1142/S1005386713000394
- By:
- Publication type:
- Article
35
Notes on the Drinfeld Double of Finite-dimensional Group Algebras.
- Published in:
- Algebra Colloquium, 2012, v. 19, n. 3, p. 483, doi. 10.1142/S100538671200034X
- By:
- Publication type:
- Article
36
A Note on the Adjacency Criterion for the Prime Graph and the Characterization of C<sub>p</sub>(3).
- Published in:
- Algebra Colloquium, 2012, v. 19, n. 3, p. 553, doi. 10.1142/S1005386712000429
- By:
- Publication type:
- Article
37
Another Uniqueness Proof of the Dickson Simple Group G<sub>2</sub>(3).
- Published in:
- Algebra Colloquium, 2011, v. 18, n. 2, p. 181, doi. 10.1142/S1005386711000125
- By:
- Publication type:
- Article
38
Power-serieswise McCoy Rings.
- Published in:
- Algebra Colloquium, 2011, v. 18, n. 2, p. 301, doi. 10.1142/S1005386711000198
- By:
- Publication type:
- Article
39
Verification and validation meet planning and scheduling.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 1, doi. 10.1007/s10009-013-0294-x
- By:
- Publication type:
- Article
40
SMT solvers: new oracles for the HOL theorem prover.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 419, doi. 10.1007/s10009-011-0188-8
- By:
- Publication type:
- Article
41
Liveness with invisible ranking.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2006, v. 8, n. 3, p. 261, doi. 10.1007/s10009-005-0193-x
- By:
- Publication type:
- Article
42
On the Third Moduli of Continuity.
- Published in:
- Ukrainian Mathematical Journal, 2015, v. 66, n. 10, p. 1589, doi. 10.1007/s11253-015-1034-z
- By:
- Publication type:
- Article
43
A Stable Range of Class Full Matrices over Elementary Divisor Ring.
- Published in:
- Ukrainian Mathematical Journal, 2014, v. 66, n. 5, p. 792, doi. 10.1007/s11253-014-0973-0
- By:
- Publication type:
- Article
44
θ-Centralizers on Semiprime Banach *-algebras.
- Published in:
- Ukrainian Mathematical Journal, 2014, v. 66, n. 2, p. 300, doi. 10.1007/s11253-014-0930-y
- By:
- Publication type:
- Article
45
Strong Convergence of Two-Dimensional Walsh–Fourier Series.
- Published in:
- Ukrainian Mathematical Journal, 2013, v. 65, n. 6, p. 914, doi. 10.1007/s11253-013-0828-0
- By:
- Publication type:
- Article
46
On Zeros of Periodic Zeta Functions.
- Published in:
- Ukrainian Mathematical Journal, 2013, v. 65, n. 6, p. 953, doi. 10.1007/s11253-013-0832-4
- By:
- Publication type:
- Article
47
Semigroups of Strong Endomorphisms of Infinite Graphs and Hypergraphs.
- Published in:
- Ukrainian Mathematical Journal, 2013, v. 65, n. 6, p. 823, doi. 10.1007/s11253-013-0820-8
- By:
- Publication type:
- Article
48
<i>α</i>-Sasakian 3-Metric as a Ricci Soliton.
- Published in:
- Ukrainian Mathematical Journal, 2013, v. 65, n. 6, p. 945, doi. 10.1007/s11253-013-0831-5
- By:
- Publication type:
- Article
49
Fixed-Point Results on Complete <i>G</i>-Metric Spaces for Mappings Satisfying an Implicit relation of New Type.
- Published in:
- Ukrainian Mathematical Journal, 2013, v. 65, n. 6, p. 904, doi. 10.1007/s11253-013-0827-1
- By:
- Publication type:
- Article
50
On the Asymptotic Behavior of a Subcritical Branching Process with Immigration.
- Published in:
- Ukrainian Mathematical Journal, 2013, v. 65, n. 6, p. 928, doi. 10.1007/s11253-013-0829-z
- By:
- Publication type:
- Article