Skip to content

Commit

Permalink
update
Browse files Browse the repository at this point in the history
  • Loading branch information
yuma-mizuno committed Jun 20, 2022
1 parent 76ecae4 commit 3ef6fa7
Show file tree
Hide file tree
Showing 2 changed files with 30,655 additions and 0 deletions.
7 changes: 7 additions & 0 deletions index.html
Original file line number Diff line number Diff line change
Expand Up @@ -115,6 +115,13 @@ <h2>Publications</h2>
<h2 id="other">Others</h2>
<p>My thesis: <a href =thesis.pdf>Difference equations arising from cluster algebras</a>.</p>

<p> The data of solutions of Q-systems computed by the fermionic formulas: <a href=solutionQ_unrestricted.json>json file</a>.
See Theorem 13.11 in <a href=https://arxiv.org/abs/1010.1344>the paper</a> written by Kuniba, Nakanishi, and Suzuki for
a mathematical explanation.
These data was used for computing the exponents in the paper
<i>Exponents associated with Y-systems and their relationship with q-series</i>.
</p>

<p>
I'm interested in formalising mathematics. I formalized
<a href=https://github.com/yuma-mizuno/lean-cluster-algebra>the definition of cluster algebras</a>
Expand Down
Loading

0 comments on commit 3ef6fa7

Please sign in to comment.