Other documents
- Quantifier elimination
- Sub-resultants, multivariable gcd computations
- Integration with other proof systems
- Applications to medical imagery
- Test of tactics using the work on reflections
- Matrix over a coherent strongly discrete ring.
- Representation of simplicial complexes.
- Improved real number computations
- Certified computation of homology groups
- Ssreflect library and Documentation
- Rohn's theorem, matrices with interval components
- Matrix over a principal ideal domain, Smith normal form
- Simple ODE solver: Picard and Newton method
- Basic linear algebra over a field
- Finite Automata in Type Theory
- Representation of the Basic Perturbation Lemma
- Cylindric Algebraic Decomposition
