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 条

[1] Implicit proof
Kevin Wald
The Mathematical Intelligencer, 2004, 26 (2) : 68 - 69
[2] AN INFINITESIMAL PROOF OF THE IMPLICIT FUNCTION THEOREM
CUTLAND, NJ
FENG, HQ
GLASGOW MATHEMATICAL JOURNAL, 1993, 35 : 163 - 166
[3] Translating Between Implicit and Explicit Versions of Proof
Blanco, Roberto
Chihani, Zakaria
Miller, Dale
AUTOMATED DEDUCTION - CADE 26, 2017, 10395 : 255 - 273
[4] Implicit and Explicit Proof Management in KeYmaera X
Mitsch, Stefan
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (338): : 53 - 67
[5] Performing Implicit Induction Reasoning with Certifying Proof Environments
Henaien, Amira
Stratulat, Sorin
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (122): : 97 - 108
[6] Integrating Implicit Induction Proofs into Certified Proof Environments
Stratulat, Sorin
INTEGRATED FORMAL METHODS, 2010, 6396 : 320 - 335
[7] On the solution of the implicit Roesser model
Karampetakis, NP
2005 IEEE INTERNATIONAL SYMPOSIUM ON INTELLIGENT CONTROL & 13TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION, VOLS 1 AND 2, 2005, : 164 - 169
[8] On the solution of the implicit Roesser model
Karampetakis, N. P.
BULLETIN OF THE POLISH ACADEMY OF SCIENCES-TECHNICAL SCIENCES, 2007, 55 (04) : 365 - 378
[9] An Argument from Proof Theory against Implicit Conventionalism
Golan, Rea
PHILOSOPHICAL QUARTERLY, 2023, 74 (01): : 273 - 290
[10] THE IMPLICIT FUNCTION THEOREM FOR MAPS THAT ARE ONLY DIFFERENTIABLE: AN ELEMENTARY PROOF
de Oliveira, Oswaldo
REAL ANALYSIS EXCHANGE, 2018, 43 (02) : 429 - 444

← 1 2 3 4 5 →