Doctoral Program “Computational Mathematics” [DK W1214]

@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}
}

@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}
}

@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}
}

@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}
}

@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}
}

@article{RISC5831,
author = {Jiménez-Pastor Antonio and Pillwein Veronika},
title = {{A Computable Extension for Holonomic Functions: DD-Finite Functions}},
language = {english},
abstract = {Differentiably finite (D-finite) formal power series form a large class of useful functions for which a variety of symbolic algorithms exists. Among these methods are several closure properties that can be carried out automatically. We introduce a natural extension of these functions to a larger class of computable objects for which we prove closure properties. These are again algorithmic. This extension can be iterated constructively preserving the closure properties},
journal = {Journal of Symbolic Computation},
volume = {94},
pages = {90--104},
isbn_issn = {ISSN 0747-7171},
year = {2019},
month = {September-October},
refereed = {yes},
length = {15},
url = {https://doi.org/10.1016/j.jsc.2018.07.002}
}

@article{RISC5535,
author = {A. Lin and M. Makhul and H. N. Mojarrad and J. Schicho and K. Swanepoel and F. de Zeeuw},
title = {{On sets defining few ordinary circles}},
language = {english},
journal = {Discrete and Computational Geometry},
volume = {59},
pages = {59--87},
isbn_issn = {0179-5376},
year = {2018},
refereed = {yes},
length = {29}
}

@article{RISC5586,
author = {Bruno Buchberger},
title = {{Gröbner Bases Computation by Triangularizing Macaulay Matrices}},
language = {english},
journal = {Advanced Studies in Pure Mathematics (The 50th Anniversary of Gröbner Bases)},
volume = {75},
pages = {1--9},
publisher = {Mathematical Society of Japan},
isbn_issn = {0},
year = {2017},
refereed = {no},
length = {9}
}

@article{RISC5587,
author = { Abraham Erika and Abbott John and Becker Bernd and Bigatti Anna Maria and Brain Martin and Buchberger Bruno and Cimatti Alessandro and Davenport James and England Matthew and Fontaine Pascal and Forrest Stephen and Griggio Alberto and Kröning Daniel and Seiler Werner M. and Sturm },
title = {{Satisfiability Checking and Symbolic Computation}},
language = {english},
journal = {ACM Communications in Computer Algebra},
volume = {50},
number = {4},
pages = {145--147},
isbn_issn = {0},
year = {2017},
refereed = {no},
length = {3}
}

@article{RISC5410,
author = {M. Gallet and C. Koutschan and Z. Li and G. Regensburger and J. Schicho and N. Villamizar},
title = {{Planar linkages following a prescribed motion}},
language = {english},
journal = {Math. Comp.},
volume = {87},
pages = {473--506},
isbn_issn = {ISSN: 1088-6842},
year = {2017},
refereed = {yes},
length = {34},
url = {http://www.ams.org/journals/mcom/2017-86-303/S0025-5718-2016-03120-8/}
}