The following pages link to César Domínguez (Q631754):
Displaying 13 items.
- Effective homology of bicomplexes, formalized in Coq (Q631755) (← links)
- A PARAMETERIZATION PROCESS: FROM A FUNCTORIAL POINT OF VIEW (Q2909193) (← links)
- A Certified Reduction Strategy for Homological Image Processing (Q2946732) (← links)
- Modeling inheritance as coercion in a symbolic computation system (Q2958920) (← links)
- (Q3062059) (← links)
- (Q3062070) (← links)
- (Q3145742) (← links)
- Computing in Coq with Infinite Algebraic Data Structures (Q3582708) (← links)
- Diagrammatic logic applied to a parameterisation process (Q3583026) (← links)
- (Q4433988) (← links)
- (Q5403899) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems (Q5505507) (← links)