Solution for implicit proof

被引：0

作者：

机构：

来源：

The Mathematical Intelligencer | 2004年 / 26卷 / 3期

关键词：

Mathematical Method; Cedar Street; Mathematical Entertainment; Implicit Proof;

D O I：

10.1007/BF02986753

中图分类号：

学科分类号：

摘要：

引用

页码：69 / 69

共 50 条

[41] On One Proof of the Uniqueness of the Stokes Hydrodynamic Solution
S. O. Gladkov
Russian Physics Journal, 2018, 61 : 1117 - 1120
[42] PROOF OF THE UNIQUENESS OF THE SOLUTION OF ONE INVERSE PROBLEM
ZHIDKOV, YN
COMPUTATIONAL MATHEMATICS AND MATHEMATICAL PHYSICS, 1993, 33 (10) : 1331 - 1337
[43] The Ultimate Proof of Paradoxical Embolism and a Percutaneous Solution
Osten, Mark D.
Horlick, Eric M.
CATHETERIZATION AND CARDIOVASCULAR INTERVENTIONS, 2008, 72 (06) : 837 - 840
[44] Elementary proof of constructive versions of the tangent direction theorem and the implicit function theorem
Yu. G. Evtushenko
A. A. Tret’yakov
Doklady Mathematics, 2012, 85 : 23 - 28
[45] Elementary proof of constructive versions of the tangent direction theorem and the implicit function theorem
Evtushenko, Yu G.
Tret'yakov, A. A.
DOKLADY MATHEMATICS, 2012, 85 (01) : 23 - 28
[46] On Implicit and Explicit Semantics: Integration Issues in Proof-Based Development of Systems
Ait-Ameur, Yamine
Gibson, J. Paul
Mery, Dominique
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SPECIALIZED TECHNIQUES AND APPLICATIONS, PT II, 2014, 8803 : 604 - 618
[47] Implicit fractional differential equations: Existence of a solution revisited
Celik, Canan
Develi, Faruk
MATHEMATICAL METHODS IN THE APPLIED SCIENCES, 2024, 47 (06) : 5090 - 5097
[48] Implicit computational solution of generalized quadratic eigenvalue problems
Komzsik, L
FINITE ELEMENTS IN ANALYSIS AND DESIGN, 2001, 37 (10) : 799 - 810
[49] A MULTIGRID SCHEME FOR THE IMPLICIT SOLUTION OF THE COMPRESSIBLE FLOW EQUATIONS
KANARACHOS, AE
PANTELELIS, NG
COMPUTATIONAL MECHANICS, 1994, 14 (03) : 235 - 248
[50] Local search methods for the solution of implicit inverse problems
Elias D. Nino-Ruiz
Carlos Ardila
Rafael Capacho
Soft Computing, 2018, 22 : 4819 - 4832

← 1 2 3 4 5 →