Search results
-
2025
Quantifier elimination for normal cone computations
Mandlmayr, M. & Uncu, A. K., 1 Nov 2025, In: Journal of Symbolic Computation. 131, 102456.Research output: Contribution to journal › Article › peer-review
-
2023
Sequences in overpartitions
Andrews, G. E. & Uncu, A. K., 30 Jun 2023, In: Ramanujan Journal. 61, 2, p. 715-729 15 p.Research output: Contribution to journal › Article › peer-review
Open Access10 Link opens in a new tab Citations (SciVal) -
2022
New infinite hierarchies of polynomial identities related to the Capparelli partition theorems
Berkovich, A. & Uncu, A. K., 15 Feb 2022, In: Journal of Mathematical Analysis and Applications. 506, 2, 18 p., 125678.Research output: Contribution to journal › Article › peer-review
Open Access4 Link opens in a new tab Citations (SciVal) -
The DEWCAD project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition
Bradford, R., Davenport, J. H., England, M., Sadeghimanesh, A. & Uncu, A., 12 Jan 2022, In: ACM Communications in Computer Algebra. 55, 3, p. 107-111 5 p.Research output: Contribution to journal › Article › peer-review
Open Access5 Link opens in a new tab Citations (SciVal) -
Weighted cylindric partitions
Bridges, W. & Uncu, A. K., Dec 2022, In: Journal of Algebraic Combinatorics. 56, 4, p. 1309-1337 29 p.Research output: Contribution to journal › Article › peer-review
Open Access5 Link opens in a new tab Citations (SciVal) -
2021
Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
Ábrahám, E., Davenport, J. H., England, M. & Kremer, G., 28 Feb 2021, In: Journal of Logical and Algebraic Methods in Programming. 119, 32 p., 100633.Research output: Contribution to journal › Article › peer-review
Open Access43 Link opens in a new tab Citations (SciVal) -
On double sum generating functions in connection with some classical partition theorems
Uncu, A. K., 30 Nov 2021, In: Discrete Mathematics. 344, 11, 112562.Research output: Contribution to journal › Article › peer-review
Open AccessFile5 Link opens in a new tab Citations (SciVal)116 Downloads (Pure)