Works matching DE "PROOF theory"

Results: 2684

Proof theory of Abelian connexive logics.

Published in:

Journal of Philosophical Logic, 2025, v. 54, n. 3, p. 691, doi. 10.1007/s10992-025-09799-2

By:

Kamide, Norihiro

Publication type:

Article

Oiva Ketonen, Investigations into the Predicate Calculus, vol. 3 of Logic PhDs, Sara Negri, and Jan von Plato, (eds.), College Publications, 2022, pp. 130+vii; ISBN 978-1-84890-407-1.

Published in:

2025

By:

Więckowski, Bartosz

Publication type:

Book Review

PROVING COPYING.

Published in:

William & Mary Law Review, 2022, v. 64, n. 2, p. 299

By:

BALGANESH, SHYAMKRISHNA;
MENELL, PETER S.

Publication type:

Article

The Homogeneous Approximation Property and the Comparison Theorem for Coherent Frames.

Published in:

Sampling Theory in Signal & Image Processing, 2008, v. 7, n. 3, p. 271, doi. 10.1007/bf03549500

By:

Gröchenig, Karlheinz

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

Turing Interrogative Games.

Published in:

Minds & Machines, 2011, v. 21, n. 3, p. 435, doi. 10.1007/s11023-011-9245-z

By:

Łupkowski, Paweł;
Wiśniewski, Andrzej

Publication type:

Article

Do Accelerating Turing Machines Compute the Uncomputable?

Published in:

Minds & Machines, 2011, v. 21, n. 2, p. 221, doi. 10.1007/s11023-011-9238-y

By:

Jack Copeland, B.;
Shagrir, Oron

Publication type:

Article

Consistency, Turing Computability and Gödel’s First Incompleteness Theorem.

Published in:

Minds & Machines, 2008, v. 18, n. 1, p. 1, doi. 10.1007/s11023-007-9082-2

By:

Hadley, Robert

Publication type:

Article

Computers, Justification, and Mathematical Knowledge.

Published in:

Minds & Machines, 2007, v. 17, n. 2, p. 185, doi. 10.1007/s11023-007-9063-5

By:

Arkoudas, Konstantine;
Bringsjord, Selmer

Publication type:

Article

Alan Turing and the Mathematical Objection.

Published in:

Minds & Machines, 2003, v. 13, n. 1, p. 23, doi. 10.1023/A:1021348629167

By:

Piccinini, Gualtiero

Publication type:

Article

Bogomolov's inequality for Higgs sheaves in positive characteristic.

Published in:

Inventiones Mathematicae, 2015, v. 199, n. 3, p. 889, doi. 10.1007/s00222-014-0534-z

By:

Langer, Adrian

Publication type:

Article

3-Manifolds with nonnegative Ricci curvature.

Published in:

Inventiones Mathematicae, 2013, v. 193, n. 2, p. 367, doi. 10.1007/s00222-012-0428-x

By:

Liu, Gang

Publication type:

Article

On the Davenport-Heilbronn theorems and second order terms.

Published in:

Inventiones Mathematicae, 2013, v. 193, n. 2, p. 439, doi. 10.1007/s00222-012-0433-0

By:

Bhargava, Manjul;
Shankar, Arul;
Tsimerman, Jacob

Publication type:

Article

Global well-posedness, scattering and blow-up for the energy-critical, focusing, non-linear Schrödinger equation in the radial case.

Published in:

Inventiones Mathematicae, 2006, v. 166, n. 3, p. 645, doi. 10.1007/s00222-006-0011-4

By:

Kenig, Carlos E.;
Merle, Frank

Publication type:

Article

On the Steady Compressible Navier–Stokes–Fourier System.

Published in:

Communications in Mathematical Physics, 2009, v. 288, n. 1, p. 349, doi. 10.1007/s00220-009-0772-x

By:

Mucha, Piotr B.;
Pokorný, Milan

Publication type:

Article

The Expected Area of the Filled Planar Brownian Loop is π/5.

Published in:

Communications in Mathematical Physics, 2006, v. 264, n. 3, p. 797, doi. 10.1007/s00220-006-1555-2

By:

Garban, Christophe;
Trujillo Ferreras, José A.

Publication type:

Article

Computation of Superpotentials for D-Branes.

Published in:

Communications in Mathematical Physics, 2006, v. 264, n. 1, p. 227, doi. 10.1007/s00220-006-1527-6

By:

Aspinwall, Paul S.;
Katz, Sheldon

Publication type:

Article

The Virtual Class of the Moduli Stack of Stable r-Spin Curves.

Published in:

Communications in Mathematical Physics, 2006, v. 264, n. 1, p. 1, doi. 10.1007/s00220-006-1538-3

By:

Mochizuki, Takuro

Publication type:

Article

Proof of Nishida's Conjecture on Anharmonic Lattices.

Published in:

Communications in Mathematical Physics, 2006, v. 261, n. 1, p. 613, doi. 10.1007/s00220-005-1451-1

By:

Rink, Bob

Publication type:

Article

Asymptotically Simple Solutions of the Vacuum Einstein Equations in Even Dimensions.

Published in:

Communications in Mathematical Physics, 2005, v. 260, n. 3, p. 557, doi. 10.1007/s00220-005-1424-4

By:

Anderson, Michael T.;
Chruściel, Piotr T.

Publication type:

Article

Two Novel Methods and Multi-Mode Periodic Solutions for the Fermi-Pasta-Ulam Model.

Published in:

Communications in Mathematical Physics, 2005, v. 255, n. 1, p. 1, doi. 10.1007/s00220-004-1251-z

By:

Arioli, Gianni;
Koch, Hans;
Terracini, Susanna

Publication type:

Article

Sharp Regularity Results for Coulombic Many-Electron Wave Functions.

Published in:

Communications in Mathematical Physics, 2005, v. 255, n. 1, p. 183, doi. 10.1007/s00220-004-1257-6

By:

Fournais, Søren;
Hoffmann-Ostenhof, Maria;
Hoffmann-Ostenhof, Thomas;
Sørensen, Thomas østergaard

Publication type:

Article

Bykovskii's theorem and a generalization of Larcher's theorem.

Published in:

Mathematical Notes, 2012, v. 91, n. 5/6, p. 746, doi. 10.1134/S0001434612050197

By:

Ushanov, D.

Publication type:

Article

On basic properties of the Ramanujan τ-function.

Published in:

Mathematical Notes, 2011, v. 90, n. 5/6, p. 723, doi. 10.1134/S0001434611110101

By:

Snurnitsyn, P.

Publication type:

Article

Generalized limits and related asymptotic formulas.

Published in:

Mathematical Notes, 2009, v. 86, n. 3/4, p. 577, doi. 10.1134/S000143460909034X

By:

Sedaev, A. A.

Publication type:

Article

Construction of exact solutions to singular perturbation problems for linear ordinary differential equations with power boundary layer.

Published in:

Mathematical Notes, 2006, v. 79, n. 5/6, p. 886, doi. 10.1007/s11006-006-0100-0

By:

Konyaev, Yu.

Publication type:

Article

On the number of noncritical vertices in strongly connected digraphs.

Published in:

Mathematical Notes, 2006, v. 79, n. 5/6, p. 687, doi. 10.1007/s11006-006-0078-7

By:

Savchenko, S.

Publication type:

Article

An identity for generalizing the hypergeometric integral.

Published in:

Mathematical Notes, 2006, v. 79, n. 5/6, p. 741, doi. 10.1007/s11006-006-0086-7

By:

Ulanskii, E.

Publication type:

Article

On matrix analogs of Fermat’s little theorem.

Published in:

Mathematical Notes, 2006, v. 79, n. 5/6, p. 783, doi. 10.1007/s11006-006-0090-y

By:

Zarelua, A.

Publication type:

Article

Typical ℤ<sup>n</sup>-actions can be inserted only in injective ℝ<sup>n</sup>-actions.

Published in:

Mathematical Notes, 2006, v. 79, n. 5/6, p. 864, doi. 10.1007/s11006-006-0097-4

By:

Ryzhikov, V.;
Tikhonov, S.

Publication type:

Article

On the Existence of a Regularly Varying Majorant of an Integrable Monotone Function.

Published in:

Mathematical Notes, 2006, v. 79, n. 1/2, p. 129, doi. 10.1007/s11006-006-0013-y

By:

Denisov, D. E.

Publication type:

Article

On a Series with Simple Zeros of <MATH>\zeta(s)</MATH>.

Published in:

Mathematical Notes, 2003, v. 73, n. 3/4, p. 585, doi. 10.1023/A:1023223724513

By:

Garaev, M.Z.

Publication type:

Article

A Discrete Analog of the Poisson Summation Formula.

Published in:

Mathematical Notes, 2003, v. 73, n. 1/2, p. 97, doi. 10.1023/A:1022178118555

By:

Ustinov, A.V.

Publication type:

Article

The Range of the Berezin Transform.

Published in:

Journal of Mathematical Sciences, 2018, v. 228, n. 6, p. 684, doi. 10.1007/s10958-017-3656-1

By:

Rao, N.

Publication type:

Article

Modules of Space Configurations and Removable Sets.

Published in:

Journal of Mathematical Sciences, 2017, v. 225, n. 6, p. 1022, doi. 10.1007/s10958-017-3513-2

By:

Shlyk, V.;
Yakovlev, A.

Publication type:

Article

Proof of Schauder Estimates for Parabolic Initial-Boundary Value Model Problems VIA O. A. Ladyzhenskaya's Fourier Multipliers Theorem.

Published in:

Journal of Mathematical Sciences, 2017, v. 224, n. 3, p. 475, doi. 10.1007/s10958-017-3430-4

By:

Solonnikov, V.

Publication type:

Article

FROM BOLZANO'S POINT OF VIEW.

Published in:

Monist, 2000, v. 83, n. 1, p. 47

By:

Berg, Jan

Publication type:

Article

Formal Power Series The Lagrange- Burmann Theo.

Published in:

Multi-Knowledge Electronic Comprehensive Journal For Education & Science Publications (MECSJ), 2019, n. 20, p. 1

By:

Alyousef, Rasha

Publication type:

Article

(p, q) - Fuzzy αm-Closed Sets in Double Fuzzy Topological Spaces.

Published in:

Diyala Journal for Pure Science, 2018, v. 14, n. 1, p. 109, doi. 10.24237/djps.1401.349C

By:

Mohammed, Fatimah M.;
Abdullah, Sanaa I.;
Obaid, Safa H.

Publication type:

Article

"An Immense and Enduring Contribution".

Published in:

Cosmos + Taxis, 2020, v. 8, n. 4/5, p. 1

By:

BROWN, RUSSELL

Publication type:

Article

ON THE DISTRIBUTION OF UNIQUE RANGE SETS AND ITS ELEMENTS OVER THE EXTENDED COMPLEX PLANE.

Published in:

Matematychni Studii, 2023, v. 60, n. 1, p. 40, doi. 10.30970/ms.60.1.40-54

By:

MALLICK, S.

Publication type:

Article

ENTIRE FUNCTIONS OF BOUNDED INDEX IN FRAME.

Published in:

Matematychni Studii, 2020, v. 54, n. 2, p. 1, doi. 10.30970/ms.54.2.193-202

By:

BANDURA, A. I.

Publication type:

Article

GRAPHS WITH SMALL AND LARGE HOP DOMINATION NUMBERS.

Published in:

Bulletin of International Mathematical Virtual Institute, 2021, v. 11, n. 3, p. 483, doi. 10.7251/BIMVI2103483A

By:

Anusha, D.;
John, J.;
Robin, S. Joseph

Publication type:

Article

Infeasible constraint-reduced interior-point methods for linear optimization.

Published in:

Optimization Methods & Software, 2012, v. 27, n. 4/5, p. 801, doi. 10.1080/10556788.2011.589056

By:

He, MeiyunY.;
Tits, AndréL.

Publication type:

Article

An accelerated conjugate gradient algorithm with guaranteed descent and conjugacy conditions for unconstrained optimization.

Published in:

Optimization Methods & Software, 2012, v. 27, n. 4/5, p. 583, doi. 10.1080/10556788.2010.501379

By:

Andrei, Neculai

Publication type:

Article

A new class of distributed optimization algorithms: application to regression of distributed data.

Published in:

Optimization Methods & Software, 2012, v. 27, n. 1, p. 71, doi. 10.1080/10556788.2010.511669

By:

Sundhar Ram, S.;
Nedić, A.;
Veeravalli, V.V.

Publication type:

Article

On the Cîrtoaje's conjecture.

Published in:

Journal of Inequalities & Applications, 2016, v. 2016, n. 1, p. 1, doi. 10.1186/s13660-016-1092-2

By:

Matejíčka, Ladislav

Publication type:

Article

A note on the rank inequality for diagonally magic matrices.

Published in:

Journal of Inequalities & Applications, 2016, v. 2016, n. 1, p. 1, doi. 10.1186/s13660-016-1013-4

By:

Zhou, Duanmei;
Cai, Qingyou;
Chen, Xiaoyan

Publication type:

Article

Global Existence, Uniqueness, and Asymptotic Behavior of Solution for p-Laplacian Type Wave Equation.

Published in:

Journal of Inequalities & Applications, 2010, v. 2010, p. 1, doi. 10.1155/2010/216760

By:

Caisheng Chen;
Huaping Yao;
Ling Shao

Publication type:

Article