| Numerical implicitization of parametric hypersurfaces with linear algebra RM Corless, MW Giesbrecht, IS Kotsireas, SM Watt International Conference on Artificial Intelligence and Symbolic Computation …, 2000 | 91 | 2000 |
| Towards factoring bivariate approximate polynomials RM Corless, MW Giesbrecht, M van Hoeij, IS Kotsireas, SM Watt Proceedings of the 2001 international symposium on Symbolic and algebraic …, 2001 | 82 | 2001 |
| A geometric-numeric algorithm for absolute factorization of multivariate polynomials RM Corless, A Galligo, IS Kotsireas, SM Watt Proceedings of the 2002 international symposium on Symbolic and algebraic …, 2002 | 60 | 2002 |
| Compression of periodic complementary sequences and applications DŽ Ɖoković, IS Kotsireas Designs, Codes and Cryptography 74, 365-377, 2015 | 53 | 2015 |
| Hadamard ideals and Hadamard matrices with two circulant cores IS Kotsireas, C Koukouvinos, J Seberry European Journal of Combinatorics 27 (5), 658-668, 2006 | 46* | 2006 |
| Exact Computation of the Bifurcation Point B~ 4 of the Logistic Map and the Bailey-Broadhurst Conjectures IS Kotsireas, K Karamanos Int. J. Bifurc. Chaos 14 (7), 2417-2423, 2004 | 45 | 2004 |
| Combining SAT solvers with computer algebra systems to verify combinatorial conjectures E Zulkoski, C Bright, A Heinle, I Kotsireas, K Czarnecki, V Ganesh Journal of Automated Reasoning 58, 313-339, 2017 | 42 | 2017 |
| Symmetric Hadamard matrices of order 116 and 172 exist O Di Matteo, DŽ Ðoković, IS Kotsireas Special matrices 3 (1), 2015 | 42 | 2015 |
| Applying computer algebra systems with SAT solvers to the Williamson conjecture C Bright, I Kotsireas, V Ganesh Journal of Symbolic Computation 100, 187-209, 2020 | 38 | 2020 |
| Effective problem solving using SAT solvers C Bright, J Gerhard, I Kotsireas, V Ganesh Maple in Mathematics Education and Research: Third Maple Conference, MC 2019 …, 2020 | 32 | 2020 |
| Some new orders of Hadamard and Skew‐Hadamard matrices DŽ Đoković, O Golubitsky, IS Kotsireas Journal of combinatorial designs 22 (6), 270-277, 2014 | 31 | 2014 |
| Panorama of methods for exact implicitization of algebraic curves and surfaces IS Kotsireas Geometric Computation, 126-155, 2004 | 29 | 2004 |
| Implicitization Exploiting Sparseness. IZ Emiris, IS Kotsireas DIMACS Series in Discrete Mathematics and Theoretical Computer Science 67, 281, 2005 | 28 | 2005 |
| MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures C Bright, V Ganesh, A Heinle, I Kotsireas, S Nejati, K Czarnecki Computer Algebra in Scientific Computing: 18th International Workshop, CASC …, 2016 | 27 | 2016 |
| Prototype pruning by feature extraction for handwritten mathematical symbol recognition SMWX Xie, IS Kotsireas Department of Computer Science, University of Western Ontario, Canada, 2005 | 27 | 2005 |
| A SAT-based Resolution of Lam's Problem C Bright, KKH Cheung, B Stevens, I Kotsireas, V Ganesh Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3669-3676, 2021 | 26 | 2021 |
| Dynamics of disasters: algorithmic approaches and applications IS Kotsireas, A Nagurney, PM Pardalos Springer, 2018 | 26 | 2018 |
| Dynamics of disasters: key concepts, models, algorithms, and insights IS Kotsireas, A Nagurney, PM Pardalos Springer Proceedings in Mathematics, 2016 | 26 | 2016 |
| A survey on solution methods for integral equations IS Kotsireas The Ontario Research Centre for Computer Algebra 47, 2008 | 25 | 2008 |
| Central configurations of the 5-body problem with equal masses in three-space I Kotsireas, D Lazard Journal of Mathematical Sciences 108, 1119-1138, 2002 | 24 | 2002 |
Panos PardalosUniversity of FloridaE-mail confirmado em ufl.edu