Works about PROOF theory

Results: 2670

A Short Note on Almost Sure Convergence of Bayes Factors in the General Set-Up.

Published in:

American Statistician, 2020, v. 74, n. 1, p. 17, doi. 10.1080/00031305.2017.1397548

By:

Chatterjee, Debashis;
Maitra, Trisha;
Bhattacharya, Sourabh

Publication type:

Article

Exploring the Link Between Preservice Teachers' Conception of Proof and the Use of Dynamic Geometry Software.

Published in:

School Science & Mathematics, 2002, v. 102, n. 5, p. 216, doi. 10.1111/j.1949-8594.2002.tb18144.x

By:

Pandiscio, Eric A.

Publication type:

Article

Preservice Teacher Beliefs About Proofs.

Published in:

School Science & Mathematics, 1999, v. 99, n. 8, p. 438, doi. 10.1111/j.1949-8594.1999.tb17506.x

By:

Mingus, Tabitha T. Y.;
Grassl, Richard M.

Publication type:

Article

An Argument from Proof Theory against Implicit Conventionalism.

Published in:

Philosophical Quarterly, 2024, v. 74, n. 1, p. 273, doi. 10.1093/pq/pqac066

By:

Golan, Rea

Publication type:

Article

Why is there Philosophy of Mathematics at all?

Published in:

2017

By:

THALOS, MARIAM

Publication type:

Book Review

SOME PROBLEMS FOR PROOF-THEORETIC SEMANTICS.

Published in:

Philosophical Quarterly, 2008, v. 58, n. 231, p. 278, doi. 10.1111/j.1467-9213.2007.506.x

By:

Stirton, William R.

Publication type:

Article

THE PARADOX OF MOORE'S PROOF OF AN EXTERNAL WORLD.

Published in:

Philosophical Quarterly, 2008, v. 58, n. 231, p. 234, doi. 10.1111/j.1467-9213.2007.513.x

By:

Coliva, Annalisa

Publication type:

Article

FOUR VIEWS OF ARITHMETICAL TRUTH.

Published in:

Philosophical Quarterly, 1990, v. 40, n. 159, p. 155, doi. 10.2307/2219808

By:

Sayward, Charles

Publication type:

Article

Exponential inequalities and the law of the iterated logarithm in the unbounded forecasting game.

Published in:

Annals of the Institute of Statistical Mathematics, 2012, v. 64, n. 3, p. 615, doi. 10.1007/s10463-010-0322-5

By:

Takazawa, Shin-ichiro

Publication type:

Article

Estimating the ratio of two scale parameters: a simple approach.

Published in:

Annals of the Institute of Statistical Mathematics, 2012, v. 64, n. 2, p. 343, doi. 10.1007/s10463-010-0308-3

By:

Bobotas, Panayiotis;
Iliopoulos, George;
Kourouklis, Stavros

Publication type:

Article

Generators of Simple Modular Lie Superalgebras.

Published in:

Algebra Colloquium, 2016, v. 23, n. 2, p. 347, doi. 10.1142/S1005386716000365

By:

Tang, Liming;
Liu, Wende

Publication type:

Article

Note on Lattice-ordered Rings with Positive Squares.

Published in:

Algebra Colloquium, 2013, v. 20, n. 3, p. 417, doi. 10.1142/S1005386713000382

By:

Sun, Yujiao;
Yang, Yichuan

Publication type:

Article

Finite Groups with ℋ-Subgroups.

Published in:

Algebra Colloquium, 2013, v. 20, n. 3, p. 421, doi. 10.1142/S1005386713000394

By:

Shen, Zhencai;
Du, Ni

Publication type:

Article

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:

Chen, Huixiang;
Hiss, Gerhard;
Zhang, Jiping

Publication type:

Article

A Note on the Adjacency Criterion for the Prime Graph and the Characterization of Cp(3).

Published in:

Algebra Colloquium, 2012, v. 19, n. 3, p. 553, doi. 10.1142/S1005386712000429

By:

He, Huaiyu;
Shi, Wujie;
Li, Fu-an

Publication type:

Article

Another Uniqueness Proof of the Dickson Simple Group G2(3).

Published in:

Algebra Colloquium, 2011, v. 18, n. 2, p. 181, doi. 10.1142/S1005386711000125

By:

Michler, Gerhard O.;
Wang, Lizhong;
Zhang, Jiping

Publication type:

Article

Power-serieswise McCoy Rings.

Published in:

Algebra Colloquium, 2011, v. 18, n. 2, p. 301, doi. 10.1142/S1005386711000198

By:

Yang, Shizhou;
Song, Xuemei;
Liu, Zhongkui;
Shum, K. P.

Publication type:

Article

Rebuttal of Donnelly's paper on the spectral gap.

Published in:

Mathematische Zeitschrift, 2011, v. 269, n. 1/2, p. 5, doi. 10.1007/s00209-011-0925-4

By:

Ashbaugh, Mark;
Henrot, Antoine;
Laugesen, Richard

Publication type:

Article

Convexity estimates for a nonhomogeneous mean curvature flow.

Published in:

Mathematische Zeitschrift, 2010, v. 266, n. 1, p. 65, doi. 10.1007/s00209-009-0554-3

By:

Alessandroni, Roberta;
Sinestrari, Carlo

Publication type:

Article

Metrizability of the space of $${\mathbb{R}}$$ -places of a real function field.

Published in:

Mathematische Zeitschrift, 2010, v. 266, n. 1, p. 237, doi. 10.1007/s00209-009-0566-z

By:

Machura, Michał;
Marshall, Murray;
Osiak, Katarzyna

Publication type:

Article

Packing dimension and Ahlfors regularity of porous sets in metric spaces.

Published in:

Mathematische Zeitschrift, 2010, v. 266, n. 1, p. 83, doi. 10.1007/s00209-009-0555-2

By:

Järvenpää, Esa;
Järvenpää, Maarit;
Käenmäki, Antti;
Rajala, Tapio;
Rogovin, Sari;
Suomala, Ville

Publication type:

Article

Simple immersions of wonderful varieties.

Published in:: Mathematische Zeitschrift, 2007, v. 255, n. 4, p. 793, doi. 10.1007/s00209-006-0050-y
Publication type:: Article

Upper Bounds on the k-Tuple (Roman) Domination Number of a Graph.

Published in:

Graphs & Combinatorics, 2021, v. 37, n. 1, p. 325, doi. 10.1007/s00373-020-02249-7

By:

Henning, Michael A.;
Rad, Nader Jafari

Publication type:

Article

Bijections of Motzkin Paths Using Shifted Riordan Decompositions.

Published in:

Graphs & Combinatorics, 2019, v. 35, n. 1, p. 169, doi. 10.1007/s00373-018-1982-9

By:

Hennessy, Aoife

Publication type:

Article

Counting Vertices with Given Outdegree in Plane Trees and k-ary Trees.

Published in:

Graphs & Combinatorics, 2019, v. 35, n. 1, p. 221, doi. 10.1007/s00373-018-1975-8

By:

Du, Rosena R. X.;
He, Jia;
Yun, Xueli

Publication type:

Article

Total Coloring of Planar Graphs Without Chordal Short Cycles.

Published in:

Graphs & Combinatorics, 2015, v. 31, n. 5, p. 1755, doi. 10.1007/s00373-014-1449-6

By:

Wang, Huijuan;
Liu, Bin;
Wu, Jianliang

Publication type:

Article

On Traceable Line Graphs.

Published in:

Graphs & Combinatorics, 2015, v. 31, n. 1, p. 221, doi. 10.1007/s00373-013-1371-3

By:

Niu, Zhaohong;
Xiong, Liming

Publication type:

Article

A Unifying Approach for Proving Hook-Length Formulas for Weighted Tree Families.

Published in:

Graphs & Combinatorics, 2013, v. 29, n. 6, p. 1839, doi. 10.1007/s00373-012-1217-4

By:

Kuba, Markus;
Panholzer, Alois

Publication type:

Article

Irreducible Triangulations of Surfaces with Boundary.

Published in:

Graphs & Combinatorics, 2013, v. 29, n. 6, p. 1675, doi. 10.1007/s00373-012-1244-1

By:

Boulch, Alexandre;
Colin de Verdière, Éric;
Nakamoto, Atsuhiro

Publication type:

Article

Every Cycle-Connected Multipartite Tournament with δ ≥ 2 Contains At Least Two Universal Arcs.

Published in:

Graphs & Combinatorics, 2013, v. 29, n. 4, p. 1141, doi. 10.1007/s00373-012-1170-2

By:

Zou, Qingsong;
Li, Guojun;
Gao, Yunshu

Publication type:

Article

Degree Sum Conditions for Cyclability in Bipartite Graphs.

Published in:

Graphs & Combinatorics, 2013, v. 29, n. 4, p. 1077, doi. 10.1007/s00373-012-1148-0

By:

Okamura, Haruko;
Yamashita, Tomoki

Publication type:

Article

A Note on 5-Cycle Double Covers.

Published in:

Graphs & Combinatorics, 2013, v. 29, n. 4, p. 977, doi. 10.1007/s00373-012-1169-8

By:

Hoffmann-Ostenhof, Arthur

Publication type:

Article

Length of Longest Cycles in a Graph Whose Relative Length is at Least Two.

Published in:

Graphs & Combinatorics, 2012, v. 28, n. 6, p. 859, doi. 10.1007/s00373-011-1078-2

By:

Ozeki, Kenta;
Yamashita, Tomoki

Publication type:

Article

Circular Coloring of Planar Digraphs.

Published in:

Graphs & Combinatorics, 2012, v. 28, n. 6, p. 889, doi. 10.1007/s00373-011-1084-4

By:

Wang, Guanghui;
Liu, Bin;
Yu, Jiguo;
Liu, Guizhen

Publication type:

Article

The Maximum Chromatic Index of Multigraphs with Given Δ and μ.

Published in:

Graphs & Combinatorics, 2012, v. 28, n. 5, p. 717, doi. 10.1007/s00373-011-1068-4

By:

Scheide, Diego;
Stiebitz, Michael

Publication type:

Article

On Half-Way AZ-Style Identities.

Published in:

Graphs & Combinatorics, 2012, v. 28, n. 3, p. 423, doi. 10.1007/s00373-011-1046-x

By:

Thu, Tran

Publication type:

Article

Super-Simple Twofold Steiner Pentagon Systems.

Published in:

Graphs & Combinatorics, 2012, v. 28, n. 3, p. 297, doi. 10.1007/s00373-011-1053-y

By:

Abel, R.;
Bennett, F.

Publication type:

Article

On the Intersection Number of Matchings and Minimum Weight Perfect Matchings of Multicolored Point Sets.

Published in:

Graphs & Combinatorics, 2005, v. 21, n. 3, p. 333, doi. 10.1007/s00373-004-0606-8

By:

Merino, Criel;
Salazar, Gelasio;
Urrutia, Jorge

Publication type:

Article

Graphs of Triangulations and Perfect Matchings.

Published in:

Graphs & Combinatorics, 2005, v. 21, n. 3, p. 325, doi. 10.1007/s00373-005-0615-2

By:

Houle, M. E.;
Hurtado, F.;
Noy, M.;
Rivera-Campo, E.

Publication type:

Article

On Cyclic Packing of a Tree.

Published in:

Graphs & Combinatorics, 2004, v. 20, n. 4, p. 435, doi. 10.1007/s00373-004-0583-y

By:

Brandt, Stephan;
Wozniak, Mariusz

Publication type:

Article

An Improved Bound for the Crossing Number of CmCn: a Self–Contained Proof Using Mostly Combinatorial Arguments.

Published in:

Graphs & Combinatorics, 2004, v. 20, n. 2, p. 247, doi. 10.1007/s00373-003-0549-5

By:

Salazar, Gelasio;
Ugalde, Edgardo

Publication type:

Article

Disjoint Triangles of a Cubic Line Graph.

Published in:

Graphs & Combinatorics, 2004, v. 20, n. 2, p. 275, doi. 10.1007/s00373-004-0551-6

By:

Xiao-Dong Zhang;
Bylka, Stanislaw

Publication type:

Article

Choreographies, logically.

Published in:

Distributed Computing, 2018, v. 31, n. 1, p. 51, doi. 10.1007/s00446-017-0295-1

By:

Carbone, Marco;
Montesi, Fabrizio;
Schürmann, Carsten

Publication type:

Article

MODIFICATION OF VAN DER ZIEL RELATION FOR SPECTRUM OF NOISE IN p-n JUNCTION.

Published in:

Fluctuation & Noise Letters, 2012, v. 11, n. 2, p. 1250015-1, doi. 10.1142/S0219477512500150

By:

KLYUEV, ALEXEY V.;
SHMELEV, EVGENY I.;
YAKIMOV, ARKADY V.;
Mercha, Abdelkarim

Publication type:

Article

UNIFORM OBSERVABILITY ESTIMATES FOR LINEAR WAVES.

Published in:

ESAIM: Control, Optimisation & Calculus of Variations, 2016, v. 22, n. 4, p. 1097, doi. 10.1051/cocv/2016046

By:

LAURENT, CAMILLE;
LÉAUTAUD, MATTHIEU

Publication type:

Article

SPECTRAL INEQUALITY AND OPTIMAL COST OF CONTROLLABILITY FOR THE STOKES SYSTEM.

Published in:

ESAIM: Control, Optimisation & Calculus of Variations, 2016, v. 22, n. 4, p. 1137, doi. 10.1051/cocv/2016034

By:

CHAVES-SILVA, FELIPE W.;
LEBEAU, GILLES

Publication type:

Article

On indecomposable sets with applications.

Published in:

ESAIM: Control, Optimisation & Calculus of Variations, 2014, v. 20, n. 2, p. 612, doi. 10.1051/cocv/2013077

By:

Lorent, Andrew

Publication type:

Article

Diameters of Chevalley groups over local rings.

Published in:

Archiv der Mathematik, 2012, v. 99, n. 5, p. 417, doi. 10.1007/s00013-012-0451-6

By:

Dinai, Oren

Publication type:

Article

A proof of a theorem by Fried and MacRae and applications to the composition of polynomial functions.

Published in:

Archiv der Mathematik, 2011, v. 97, n. 2, p. 115, doi. 10.1007/s00013-011-0280-z

By:

Aichinger, Erhard;
Steinerberger, Stefan

Publication type:

Article

Special primitive pairs in finite groups.

Published in:

Archiv der Mathematik, 2011, v. 97, n. 1, p. 11, doi. 10.1007/s00013-011-0271-0

By:

Waldecker, Rebecca

Publication type:

Article