CoqMatrix: Formal matrix library with multiple models in Coq

Article Properties
Journal Categories
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Computer software
Technology
Electrical engineering
Electronics
Nuclear engineering
Electronics
Computer engineering
Computer hardware
You May Also Like
Refrences
Title Journal Journal Categories Citations Publication Date
Formal Verification of Robot Rotary Kinematics

 Electronics
  • Science: Science (General): Cybernetics: Information theory
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electric apparatus and materials. Electric circuits. Electric networks
  • Science: Physics
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics
  • Technology: Engineering (General). Civil engineering (General)
 2 2023
Coquelicot: A User-Friendly Library of Real Analysis for Coq Mathematics in Computer Science
  • Technology: Technology (General): Industrial engineering. Management engineering: Applied mathematics. Quantitative methods
 19 2015
Untyping Typed Algebras and colouring cyclic linear logic Logical Methods in Computer Science
  • Philosophy. Psychology. Religion: Logic
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2012
Deciding Kleene Algebras in Coq Logical Methods in Computer Science
  • Philosophy. Psychology. Religion: Logic
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Science: Mathematics
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science: Computer software
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics: Computer engineering. Computer hardware
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
 2012
CoLoR: A Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates 2011