M.Sc. Jiayue Qi

Office

Schloss Hagenberg
A-4232 Hagenberg im Mühlkreis

Room: 0.2-3

Postal Address

Research Institute for Symbolic Computation
Johannes Kepler University
Altenberger Straße 69
A-4040 Linz, Austria

Phone

+43 732 2468 9933

eMail

jiayue.qi@dk-compmath.jku.at

Publications

2024

[Qi]

A tree-based algorithm for the integration of monomials in the Chow ring of the moduli space of stable marked curves of genus zero

Jiayue Qi

Journal of Symbolic Computation 122(102253), pp. -. 2024. ISSN: 0747-7171. [doi]

[bib]

@article{RISC6774,
author = {Jiayue Qi},
title = {{A tree-based algorithm for the integration of monomials in the Chow ring of the moduli space of stable marked curves of genus zero}},
language = {english},
journal = {Journal of Symbolic Computation},
volume = {122},
number = {102253},
pages = {--},
isbn_issn = {ISSN: 0747-7171},
year = {2024},
refereed = {yes},
length = {52},
url = {https://doi.org/10.1016/j.jsc.2023.102253}
}

2023

[Qi]

Five Equivalent Representations of a Phylogenetic Tree

Jiayue Qi, Josef Schicho

Maple Transactions 3(3), pp. -. 2023. (ISSN) 2564-3029. [doi]

[bib]

@article{RISC6777,
author = {Jiayue Qi and Josef Schicho},
title = {{Five Equivalent Representations of a Phylogenetic Tree}},
language = {english},
journal = {Maple Transactions},
volume = {3},
number = {3},
pages = {--},
isbn_issn = {(ISSN) 2564-3029},
year = {2023},
refereed = {yes},
length = {15},
url = {https://doi.org/10.5206/mt.v3i3.16464}
}

[Qi]

On the Chow ring of (the) moduli space of stable marked curves of genus zero

Jiayue Qi

Research Institute for Symbolic Computation, Johannes Kepler University Linz. PhD Thesis. 2023.

[bib]

@phdthesis{RISC6945,
author = {Jiayue Qi},
title = {{On the Chow ring of (the) moduli space of stable marked curves of genus zero}},
language = {English},
year = {2023},
translation = {0},
school = {Research Institute for Symbolic Computation, Johannes Kepler University Linz},
length = {127}
}

2022

[Qi]

An identity on multinomial coefficients

Jiayue Qi

ACM Communications in Computer Algebra 56(2), pp. 68-71. 2022. issn: 1932-2240. [doi]

[bib]

@article{RISC6770,
author = {Jiayue Qi},
title = {{An identity on multinomial coefficients}},
language = {english},
abstract = {We introduce an identity on multinomial coefficients, as well as the proof for it.},
journal = {ACM Communications in Computer Algebra},
volume = {56},
number = {2},
pages = {68--71},
isbn_issn = {issn: 1932-2240},
year = {2022},
refereed = {yes},
length = {4},
url = {https://doi.org/10.1145/3572867.3572878}
}

2021

[Qi]

How to avoid collisions in 3D-realizations for moving graphs

Jiayue Qi

Mechanism and Machine Theory 162(104337), pp. -. 2021. ISSN 0094-114X. [doi]

[bib]

@article{RISC6772,
author = {Jiayue Qi},
title = {{How to avoid collisions in 3D-realizations for moving graphs}},
language = {english},
journal = {Mechanism and Machine Theory },
volume = {162},
number = {104337},
pages = {--},
isbn_issn = {ISSN 0094-114X},
year = {2021},
refereed = {yes},
length = {15},
url = {https://doi.org/10.1016/j.mechmachtheory.2021.104337}
}

[Qi]

A calculus for monomials in Chow group of zero cycles in the moduli space of stable curves

Jiayue Qi

ACM Communications in Computer Algebra 54(3), pp. 91-94. 2021. issn: 1932-2240. [doi]

[bib]

@article{RISC6780,
author = {Jiayue Qi},
title = {{A calculus for monomials in Chow group of zero cycles in the moduli space of stable curves}},
language = {english},
abstract = {We introduce an algorithm for computing the value of all monomials in the Chow group of zero cycles in the moduli space of stable curves.},
journal = {ACM Communications in Computer Algebra},
volume = {54},
number = {3},
pages = {91--94},
isbn_issn = {issn: 1932-2240},
year = {2021},
refereed = {yes},
length = {4},
url = {https://doi.org/10.1145/3457341.3457344}
}

[Qi]

A tree-based algorithm on monomials in the Chow group of zero cycles in the moduli space of stable pointed curves of genus zero

Jiayue Qi

Doctoral Program “Computational Mathematics”. Technical report, January 2021. [url]

[bib]

@techreport{RISC6785,
author = {Jiayue Qi},
title = {{A tree-based algorithm on monomials in the Chow group of zero cycles in the moduli space of stable pointed curves of genus zero}},
language = {english},
year = {2021},
month = {January},
institution = {Doctoral Program “Computational Mathematics”},
length = {43},
url = {https://www.dk-compmath.jku.at/publications/dk-reports/2021-01-11qi/view}
}

2020

[Qi]

Five Equivalent Ways to Describe a Phylogenetic Tree

Jiayue Qi, Josef Schicho

Doctoral Program “Computational Mathematics”. Technical report, December 2020. [url]

[bib]

@techreport{RISC6784,
author = {Jiayue Qi and Josef Schicho},
title = {{Five Equivalent Ways to Describe a Phylogenetic Tree}},
language = {english},
year = {2020},
month = {December},
institution = {Doctoral Program “Computational Mathematics”},
length = {20},
url = {https://www.dk-compmath.jku.at/publications/dk-reports/2020-11-30jiayue/view}
}

[Qi]

A calculus for monomials in Chow group of zero cycles in the moduli space of stable curves

Jiayue Qi

Doctoral Program “Computational Mathematics”. Technical report, November 2020. [url]

[bib]

@techreport{RISC6787,
author = {Jiayue Qi},
title = {{A calculus for monomials in Chow group of zero cycles in the moduli space of stable curves}},
language = {english},
year = {2020},
month = {November},
institution = {Doctoral Program “Computational Mathematics”},
keywords = {monomials in Chow ring, monomial value, tree representations, recursive algorithm on forest},
length = {5},
url = {https://www.dk-compmath.jku.at/publications/dk-reports/2020-09-18/view}
}

[Qi]

How fast can Dominator win in the Maker-Breaker domination game?

Jiayue Qi, Jovana Forcan

Doctoral Program “Computational Mathematics”. Technical report, October 2020. [url]

[bib]

@techreport{RISC6789,
author = {Jiayue Qi and Jovana Forcan},
title = {{How fast can Dominator win in the Maker-Breaker domination game?}},
language = {english},
year = {2020},
month = {October},
institution = {Doctoral Program “Computational Mathematics”},
keywords = {domination number, Maker–Braker domination number, positional game, grid, winning strategy},
length = {26},
url = {https://www.dk-compmath.jku.at/publications/dk-reports/2020-07-15/view}
}

2019

[Qi]

How to avoid collision of 3D-realization for moving graphs

Jiayue Qi

Doctoral Program “Computational Mathematics”. Technical report, December 2019. [url]

[bib]

@techreport{RISC6791,
author = {Jiayue Qi},
title = {{How to avoid collision of 3D-realization for moving graphs}},
language = {english},
year = {2019},
month = {December},
institution = {Doctoral Program “Computational Mathematics”},
length = {14},
url = {https://www.dk-compmath.jku.at/publications/dk-reports/2019-12-16/view}
}

2017

[Qi]

The Group-theoretical Method of Matrix Multiplication

Jiayue Qi

Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences. Master Thesis. 2017. [url]

[bib]

@misc{RISC6942,
author = {Jiayue Qi},
title = {{The Group-theoretical Method of Matrix Multiplication}},
language = {Chinese},
year = {2017},
translation = {0},
institution = {Key Laboratory of Mathematics Mechanization, Chinese Academy of Sciences},
length = {0},
url = {https://www.dk-compmath.jku.at/people/jiayue-qi/data-jiayue-qi/slides-for-masters-thesis-topic}
}

2014

[Qi]

UTP semantics of non-deterministic side-effecting expression

Jiayue Qi

Beihang University. Bachelor Thesis. 2014.

[bib]

@misc{RISC6943,
author = {Jiayue Qi},
title = {{UTP semantics of non-deterministic side-effecting expression}},
language = {Chinese / English},
abstract = {C programming language is safety-critical, in order to reduce the problems caused by its loose semantics, we are going to use Unifying Theories of Programming framework to give a semantics to an imperative language with global variables,side-effecting functions, and arbitrary sub-expression reordering, and then use this to explore how to formally define “safety”. The main technology roadmap we use in this paper is to first find out a set of new semantics and then check the healthiness of eleven basic laws, then use those laws to check the healthiness of our new semanticsto see if they match the prescript healthiness conditions, then we do some work to make the previous semantics better. The most important ways of doing proofs are from the module Formal Methods and many ideas related to First-order predicate calculus. At last, we gained a new semantics and definitions of syntax successfully though there is still a long way to go. },
year = {2014},
translation = {0},
institution = {Beihang University},
length = {0}
}

2012

[Qi]

The Real Estate Market Comprehensive Evaluation based on Sparse Principal Component Analysis -- An Example of Beijing

Liu Chao, Wu Dandan, Qi Jiayue

ECONOMIC RESEARCH GUIDE No.30.2012(Serial No.176), pp. 158-160. 2012. 1673-291X(2012) 30-0158-03. [url]

[bib]

@article{RISC6795,
author = {Liu Chao and Wu Dandan and Qi Jiayue},
title = {{The Real Estate Market Comprehensive Evaluation based on Sparse Principal Component Analysis --- An Example of Beijing}},
language = {chinese},
journal = {ECONOMIC RESEARCH GUIDE},
volume = {No.30.2012},
number = {Serial No.176},
pages = {158--160},
isbn_issn = {1673-291X(2012) 30-0158-03},
year = {2012},
refereed = {yes},
length = {3},
url = {https://www.dk-compmath.jku.at/people/jiayue-qi/data-jiayue-qi/TheRealEstateMarketComprehensiveEvaluationbasedonSparsePrincipalComponentAnalysisAnExampleofBeijingpublishedonECONOMICRESEARCHGUIDENo.30.2012.pdf}
}