Folgen
Ilias S. Kotsireas, Director, CARGO lab
Titel
Zitiert von
Zitiert von
Jahr
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
822001
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
602002
Compression of periodic complementary sequences and applications
DŽ Ɖoković, IS Kotsireas
Designs, Codes and Cryptography 74, 365-377, 2015
532015
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
472004
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
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
422017
Symmetric Hadamard matrices of order 116 and 172 exist
O Di Matteo, DŽ Ðoković, IS Kotsireas
Special matrices 3 (1), 2015
422015
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
392020
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
322020
Some new orders of Hadamard and Skew‐Hadamard matrices
DŽ Đoković, O Golubitsky, IS Kotsireas
Journal of combinatorial designs 22 (6), 270-277, 2014
322014
Panorama of methods for exact implicitization of algebraic curves and surfaces
IS Kotsireas
Geometric Computation, 126-155, 2004
292004
Implicitization Exploiting Sparseness.
IZ Emiris, IS Kotsireas
DIMACS Series in Discrete Mathematics and Theoretical Computer Science 67, 281, 2005
282005
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
272016
Prototype pruning by feature extraction for handwritten mathematical symbol recognition
SMWX Xie, IS Kotsireas
Department of Computer Science, University of Western Ontario, Canada, 2005
272005
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
262021
Dynamics of disasters: algorithmic approaches and applications
IS Kotsireas, A Nagurney, PM Pardalos
Springer, 2018
262018
Dynamics of disasters: key concepts, models, algorithms, and insights
IS Kotsireas, A Nagurney, PM Pardalos
Springer Proceedings in Mathematics, 2016
262016
A survey on solution methods for integral equations
IS Kotsireas
The Ontario Research Centre for Computer Algebra 47, 2008
252008
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
242002
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20