Skip to content
@KyushuUniversityMathematics

Laboratory of Advanced Software in Mathematics

Popular repositories Loading

  1. TPP2014 TPP2014 Public

    Theorem proving and provers for reliable theory and implementations

    Coq 5 1

  2. iPad-ProbeDeformer iPad-ProbeDeformer Public

    iPad application: Probe based deformer using Dual Complex Numbers

    Objective-C 4 1

  3. MathematicaCGA MathematicaCGA Public

    Mathematica 4 1

  4. RelationalCalculus RelationalCalculus Public

    Coq 3

  5. DANCAR DANCAR Public

    Disk-ANChor ARrangement for embedding directed graphs

    Python 2

  6. FuzzyRelationalDatabase FuzzyRelationalDatabase Public

    Mathematica 1

Repositories

Showing 10 of 17 repositories
  • CoqSticker Public
    KyushuUniversityMathematics/CoqSticker’s past year of commit activity
    Coq 0 0 0 2 Updated Nov 26, 2024
  • FlowInvestigation Public

    Mathematicaによる貨物・旅客地域流動量可視化

    KyushuUniversityMathematics/FlowInvestigation’s past year of commit activity
    0 0 0 0 Updated Jul 9, 2020
  • DANCAR Public

    Disk-ANChor ARrangement for embedding directed graphs

    KyushuUniversityMathematics/DANCAR’s past year of commit activity
    Python 2 MIT 0 0 0 Updated Jun 30, 2020
  • CoqExamples Public
    KyushuUniversityMathematics/CoqExamples’s past year of commit activity
    TeX 0 0 0 0 Updated Jun 10, 2020
  • iPad-ProbeDeformer Public

    iPad application: Probe based deformer using Dual Complex Numbers

    KyushuUniversityMathematics/iPad-ProbeDeformer’s past year of commit activity
    Objective-C 4 MIT 1 0 0 Updated Apr 10, 2020
  • RelationalCalculus Public
    KyushuUniversityMathematics/RelationalCalculus’s past year of commit activity
    Coq 3 0 0 0 Updated Feb 8, 2020
  • BrickCornerWangTiling Public

    Verification of A Brick Corner Wang Tiling Algorithm

    KyushuUniversityMathematics/BrickCornerWangTiling’s past year of commit activity
    Mathematica 0 0 0 0 Updated Feb 8, 2020
  • MathematicaARAP Public
    KyushuUniversityMathematics/MathematicaARAP’s past year of commit activity
    Mathematica 0 0 0 0 Updated Feb 8, 2020
  • LinearWang Public
    KyushuUniversityMathematics/LinearWang’s past year of commit activity
    C 0 0 0 0 Updated Dec 2, 2019
  • PolyArcFitter Public

    Poly-arc fitter

    KyushuUniversityMathematics/PolyArcFitter’s past year of commit activity
    Python 1 MIT 1 0 0 Updated Nov 30, 2019
View all repositories

Top languages

Loading…

Most used topics

Loading…