Pages that link to "Item:Q3523168"
From MaRDI portal
The following pages link to A Modular Formalisation of Finite Group Theory (Q3523168):
Displaying 23 items.
- Completeness and decidability results for CTL in constructive type theory (Q287375) (← links)
- Effective homology of bicomplexes, formalized in Coq (Q631755) (← links)
- Generating certified code from formal proofs: a case study in homological algebra (Q968307) (← links)
- Regular language representations in the constructive type theory of Coq (Q1663246) (← links)
- Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem (Q2069874) (← links)
- Two-Way Automata in Coq (Q2829256) (← links)
- Computational Complexity Via Finite Types (Q2946764) (← links)
- Point-Free, Set-Free Concrete Linear Algebra (Q3088000) (← links)
- A formal study of Bernstein coefficients and polynomials (Q3094174) (← links)
- Classical mathematics for a constructive world (Q3094179) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)
- Hints in Unification (Q3183522) (← links)
- Packaging Mathematical Structures (Q3183538) (← links)
- (Q3222354) (← links)
- Canonical Big Operators (Q3543652) (← links)
- Finite Groups Representation Theory with Coq (Q3637300) (← links)
- Social processes, program verification and all that (Q3643359) (← links)
- (Q4989411) (← links)
- (Q5094138) (← links)
- Formalization techniques for asymptotic reasoning in classical analysis (Q5195290) (← links)
- Incidence Simplicial Matrices Formalized in Coq/SSReflect (Q5200106) (← links)
- Constructive Mathematics and Functional Programming (Abstract) (Q5458392) (← links)
- Asymptotic cyclic expansion and bridge groups of formal proofs (Q5945614) (← links)
