Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Scriven, Adam
2008.
A Functional Algorithm for Exact Real Integration with Invariant Measures.
Electronic Notes in Theoretical Computer Science,
Vol. 218,
Issue. ,
p.
337.
Audebaud, Philippe
and
Paulin-Mohring, Christine
2009.
Proofs of randomized algorithms in Coq.
Science of Computer Programming,
Vol. 74,
Issue. 8,
p.
568.
Berger, Ulrich
2009.
Computer Science Logic.
Vol. 5771,
Issue. ,
p.
132.
O’Connor, Russell
and
Spitters, Bas
2010.
A computer-verified monadic functional implementation of the integral.
Theoretical Computer Science,
Vol. 411,
Issue. 37,
p.
3386.
Herre, Heinrich
2010.
Theory and Applications of Ontology: Computer Applications.
p.
297.
Berger, Ulrich
and
Seisenberger, Monika
2010.
Programs, Proofs, Processes.
Vol. 6158,
Issue. ,
p.
39.
Berger, Ulrich
Miyamoto, Kenji
Schwichtenberg, Helmut
and
Seisenberger, Monika
2011.
Algebra and Coalgebra in Computer Science.
Vol. 6859,
Issue. ,
p.
393.
Berger, Ulrich
2011.
From coinductive proofs to exact real arithmetic: theory and applications.
Logical Methods in Computer Science,
Vol. Volume 7, Issue 1,
Issue. ,
Berger, Ulrich
and
Seisenberger, Monika
2012.
Proofs, Programs, Processes.
Theory of Computing Systems,
Vol. 51,
Issue. 3,
p.
313.
Magaud, Nicolas
Chollet, Agathe
and
Fuchs, Laurent
2015.
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective.
Annals of Mathematics and Artificial Intelligence,
Vol. 74,
Issue. 3-4,
p.
309.
Kawamura, Akitoshi
Steinberg, Florian
and
Thies, Holger
2018.
Logic, Language, Information, and Computation.
Vol. 10944,
Issue. ,
p.
223.
Lan, Pengwei
Wang, Pei
Wang, Shuai
and
Wu, Dinghao
2018.
Security and Privacy in Communication Networks.
Vol. 238,
Issue. ,
p.
206.
Marquis, Jean-Pierre
2018.
Introduction to Formal Philosophy.
p.
251.
Thirioux, Xavier
and
Maffart, Alexis
2019.
Theoretical Aspects of Computing – ICTAC 2019.
Vol. 11884,
Issue. ,
p.
335.
Velupillai, K. Vela
2021.
A Reflection on Sraffa’s Revolution in Economic Theory.
p.
391.
Devadze, Grigory
and
Streif, Stefan
2023.
Formal proofs for Lyapunov stability theorems in exact real arithmetic.
p.
1.
Park, Sewon
2023.
Fundamentals of Computation Theory.
Vol. 14292,
Issue. ,
p.
363.
van der Weide, Niels
and
Frumin, Dan
2024.
Logics and Type Systems in Theory and Practice.
Vol. 14560,
Issue. ,
p.
241.
Myers, David Jaz
Sati, Hisham
and
Schreiber, Urs
2024.
Topological Quantum Gates in Homotopy Type Theory.
Communications in Mathematical Physics,
Vol. 405,
Issue. 7,