Author:
Calude Cristian S.,Müller Christine
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Gödel Incompleteness and Proof-Assistants Extended Abstract;2021 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC);2021-12
2. A Method for Adapting Granularity of Mathematical Proofs using Metamath;2021 XVI Latin American Conference on Learning Technologies (LACLO);2021-10
3. What are the ultimate limits to computational techniques: verifier theory and unverifiability;Physica Scripta;2017-07-28
4. Incompleteness, Undecidability and Automated Proofs;Computer Algebra in Scientific Computing;2016
5. Formalisation vs. Understanding;Unconventional Computation and Natural Computation;2015