Takafumi Saikawa

Orcid: 0000-0003-4492-745X

According to our database1, Takafumi Saikawa authored at least 10 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
1
1
1
2
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Typed Compositional Quantum Computation with Lenses.
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

Robust Mean Estimation by All Means (Short Paper).
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024

2023
A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory.
CoRR, 2023

2021
A trustful monad for axiomatic reasoning with probability and nondeterminism.
J. Funct. Program., 2021

2020
A Library for Formalization of Linear Error-Correcting Codes.
J. Autom. Reason., 2020

Formal Adventures in Convex and Conical Spaces.
Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

Formal Verification and Code-Generation of Mersenne-Twister Algorithm.
Proceedings of the International Symposium on Information Theory and Its Applications, 2020

2019
A Hierarchy of Monadic Effects for Program Verification Using Equational Reasoning.
Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018
Examples of Formal Proofs about Data Compression.
Proceedings of the International Symposium on Information Theory and Its Applications, 2018

2016
Formalization of Reed-Solomon codes and progress report on formalization of LDPC codes.
Proceedings of the 2016 International Symposium on Information Theory and Its Applications, 2016


  Loading...