Ilias S. Kotsireas, Director, CARGO lab
Title
Cited by
Cited by
Year
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
912000
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
842001
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
612002
Compression of periodic complementary sequences and applications
DŽ Ɖoković, IS Kotsireas
Designs, Codes and Cryptography 74 (2), 365-377, 2015
382015
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
362004
Hadamard ideals and Hadamard matrices with two circulant cores
IS Kotsireas, C Koukouvinos, J Seberry
European Journal of Combinatorics 27 (5), 658-668, 2006
352006
Symmetric Hadamard matrices of order 116 and 172 exist
O Di Matteo, DŽ Šoković, IS Kotsireas
Special matrices 3 (1), 2015
302015
Implicitization exploiting sparseness
IZ Emiris, IS Kotsireas
DIMACS Series in Discrete Mathematics and Theoretical Computer Science 67, 281, 2005
302005
Panorama of methods for exact implicitization of algebraic curves and surfaces
IS Kotsireas
Geometric Computation, 126-155, 2004
292004
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 (3), 313-339, 2017
272017
Prototype pruning by feature extraction for handwritten mathematical symbol recognition
SMWX Xie, IS Kotsireas
Department of Computer Science, University of Western Ontario, Canada, 2005
252005
Central configurations of the 5-body problem with equal masses in three-space
I Kotsireas, D Lazard
Journal of Mathematical Sciences 108 (6), 1119-1138, 2002
252002
Algorithms and metaheuristics for combinatorial matrices
IS Kotsireas
Handbook of Combinatorial Optimization, 283-309, 2013
222013
Implicit polynomial support optimized for sparseness
IZ Emiris, IS Kotsireas
International Conference on Computational Science and Its Applications, 397-406, 2003
222003
Weighing matrices and string sorting
IS Kotsireas, C Koukouvinos, J Seberry
Annals of Combinatorics 13 (3), 305, 2009
202009
New results on D‐optimal matrices
DŽ Đoković, IS Kotsireas
Journal of Combinatorial Designs 20 (6), 278-289, 2012
182012
Using symmetries in the eigenvalue method for polynomial systems
RM Corless, K Gatermann, IS Kotsireas
Journal of symbolic computation 44 (11), 1536-1550, 2009
182009
Heuristic algorithms for Hadamard matrices with two circulant cores
M Chiarandini, IS Kotsireas, C Koukouvinos, L Paquete
Theoretical computer science 407 (1-3), 274-277, 2008
172008
A SAT+ CAS method for enumerating Williamson matrices of even order
C Bright, I Kotsireas, V Ganesh
Proceedings of the AAAI Conference on Artificial Intelligence 32 (1), 2018
162018
Some new orders of Hadamard and Skew‐Hadamard matrices
DŽ Đoković, O Golubitsky, IS Kotsireas
Journal of combinatorial designs 22 (6), 270-277, 2014
162014
The system can't perform the operation now. Try again later.
Articles 1–20