The following pages link to Julio Jesús Rubio García (Q1565829):
Displaying 50 items.
- (Q372698) (redirect page) (← links)
- On the role of formalization in computational mathematics (Q372699) (← links)
- Computing the homology of groups: the geometric way. (Q420743) (← links)
- Effective homology of bicomplexes, formalized in Coq (Q631755) (← links)
- A mechanized proof of the basic perturbation lemma (Q928666) (← links)
- Generating certified code from formal proofs: a case study in homological algebra (Q968307) (← links)
- An object-oriented interpretation of the EAT system (Q1413645) (← links)
- Integrating functional programming and symbolic computation. (Q1565830) (← links)
- Constructive algebraic topology (Q1612751) (← links)
- Using abstract stobjs in ACL2 to compute matrix normal forms (Q1687754) (← links)
- Formalization of a normalization theorem in simplicial topology (Q1926582) (← links)
- Effective spectral systems relating Serre and Eilenberg-Moore spectral sequences (Q2156362) (← links)
- An implementation of effective homotopy of fibrations (Q2422709) (← links)
- fKenzo: a user interface for computations in algebraic topology (Q2430025) (← links)
- Computing spectral sequences (Q2457386) (← links)
- Algebraic models for homotopy types (Q2570233) (← links)
- (Q2764961) (← links)
- Interoperating between computer algebra systems (Q2883832) (← links)
- Verifying an Algorithm Computing Discrete Vector Fields for Digital Imaging (Q2907325) (← links)
- A Certified Reduction Strategy for Homological Image Processing (Q2946732) (← links)
- Modeling inheritance as coercion in a symbolic computation system (Q2958920) (← links)
- Certified symbolic manipulation (Q2963240) (← links)
- (Q2988093) (← links)
- Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System (Q3003483) (← links)
- Applying ACL2 to the Formalization of Algebraic Topology: Simplicial Polynomials (Q3088007) (← links)
- (Q3101174) (← links)
- (Q3135181) (← links)
- (Q3145742) (← links)
- A case study of 𝐴<sub>∞</sub>-structure (Q3563377) (← links)
- Computing in Coq with Infinite Algebraic Data Structures (Q3582708) (← links)
- Integrating Multiple Sources to Answer Questions in Algebraic Topology (Q3582718) (← links)
- ACL2 Verification of Simplicial Degeneracy Programs in the Kenzo System (Q3637272) (← links)
- Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems (Q3637304) (← links)
- (Q3787156) (← links)
- (Q3975344) (← links)
- (Q4293684) (← links)
- (Q4433988) (← links)
- (Q4471956) (← links)
- (Q4676271) (← links)
- Constructing new spectral systems from simplicial fibrations (Q5102000) (← links)
- A new Kenzo module for computing the Eilenberg-Moore spectral sequence (Q5102030) (← links)
- Verifying the bridge between simplicial topology and algebra: the Eilenberg-Zilber algorithm (Q5172125) (← links)
- A System for Computing and Reasoning in Algebraic Topology (Q5200131) (← links)
- Homotopy groups of suspended classifying spaces: An experimental approach (Q5326507) (← links)
- Computer Aided Systems Theory – EUROCAST 2005 (Q5394420) (← links)
- (Q5403899) (← links)
- Executing in Common Lisp, Proving in ACL2 (Q5428255) (← links)
- Object oriented institutions to specify symbolic computation systems (Q5441547) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464704) (← links)
- Mediated Access to Symbolic Computation Systems (Q5505524) (← links)
