5 search results for "author:"Milad Niqui""

Showing 1 - 5
  1. coq-amm11262

    No documentation

    Problem 11262 of The American Mathematical Monthly
    keyword: american mathematical monthly problem 11262 date: 2007-04
    Milad Niqui (Coq files) <milad@cs.ru.nl> [http://www.cs.ru.nl/~milad] Tonny Hurkens (paper proof) <hurkens@sci.kun.nl>
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  2. coq-coalgebras

    No documentation

    Coalgebras, bisimulation and lambda-coiteration
    keyword: coalgebra keyword: bisimulation keyword: weakly final keyword: coiteration keyword: co-inductive types category: Mathematics/Category Theory date: 2008-10
    Milad Niqui <M.Niqui@cwi.nl> [http://www.cwi.nl/~milad]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  3. coq-coinductive-reals

    No documentation

    Real numbers as coinductive ternary streams
    keyword: real numbers keyword: co-inductive types keyword: co-recursion keyword: exact arithmetic category: Mathematics/Arithmetic and Number Theory/Real numbers date: 2007-04-24
    Milad Niqui <milad@cs.ru.nl> [http://www.cs.ru.nl/~milad]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  4. coq-corn

    No documentation

    The Coq Constructive Repository at Nijmegen
    category:Mathematics/Algebra category:Mathematics/Real Calculus and Topology category:Mathematics/Exact Real computation keyword:constructive mathematics keyword:algebra keyword:real calculus keyword:real numbers keyword:Fundamental Theorem of Algebra logpath:CoRN date:2025-01-27
    Evgeny Makarov Robbert Krebbers Eelis van der Weegen Bas Spitters Jelle Herold et al.
    8.20.0
    GPL-2.0
    Used by 0 other packages
    01 Feb 2025
  5. coq-qarith-stern-brocot

    No documentation

    Binary rational numbers in Coq
    category:Mathematics/Arithmetic and Number Theory/Rational numbers category:Miscellaneous/Extracted Programs/Arithmetic keyword:rational numbers keyword:arithmetic keyword:field tactic keyword:binary lists keyword:Stern-Brocot logpath:QArithSternBrocot date:2023-10-15
    Milad Niqui Yves Bertot
    8.18.0
    LGPL-2.1-or-later
    Used by 0 other packages
    15 Oct 2023