Author:
Mahboubi Assia,Cohen Cyril
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference36 articles.
1. Setoids in type theory
2. Saugata Basu, Richard Pollack, and Marie-Francoise Roy.Algorithms in Real Algebraic Geometry, volume 10 ofAlgorithms and Computation in Mathematics. Springer-Verlag New York, Inc., 2006.
3. Helmut Bender and Georges Glauberman.Local analysis for the Odd Order Theorem. Number 188 in London Mathematical Society Lecture Note Series. Cambridge University Press, 1994.
4. Yves Bertot and Pierre Castéran.Interactive Theorem Proving and Program Development, Coq'Art: the Calculus of Inductive Constructions. Springer-Verlag, 2004.
5. Yves Bertot, Georges Gonthier, Sidi Ould Biha, and Ioana Pasca. Canonical big operators. InTheorem Proving in Higher-Order Logics, volume 5170 ofLNCS, pages 86-101, 2008.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms;Electronic Proceedings in Theoretical Computer Science;2024-04-23
2. Formalization of Asymptotic Convergence for Stationary Iterative Methods;Lecture Notes in Computer Science;2024
3. A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL;Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs;2023-01-11
4. Formalization of Ring Theory in PVS;Journal of Automated Reasoning;2021-05-12
5. A Cloud-Based Secured IoT Framework for Log Management;Intelligent Communication and Automation Systems;2021-04-02