


Остановите войну!
for scientists:


default search action
Ilias S. Kotsireas
Person information

- affiliation: Wilfrid Laurier University, Waterloo, ON, Canada
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j71]Jonathan D. Hauenstein, Yang-Hui He, Ilias S. Kotsireas, Dhagash Mehta, Tingting Tang:
Special issue on Algebraic Geometry and Machine Learning. J. Symb. Comput. 118: 93-94 (2023) - 2022
- [j70]Ilias S. Kotsireas, Panos M. Pardalos:
Preface selected revised papers from the LION 14 conference. Ann. Math. Artif. Intell. 90(7-9): 677 (2022) - [j69]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
When satisfiability solving meets symbolic computation. Commun. ACM 65(7): 64-72 (2022) - [j68]Ilias S. Kotsireas:
Personal Recollections of Prof. Vladimir P. Gerdt. Math. Comput. Sci. 16(4): 24 (2022) - [j67]Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos
:
A primer on the application of neural networks to covering array generation. Optim. Methods Softw. 37(3): 1165-1202 (2022) - [j66]Ilias S. Kotsireas:
Review of "Handbook of Heuristics". Oper. Res. Forum 3(3) (2022) - [c31]Evangelos Bartzos, Ioannis Z. Emiris, Ilias S. Kotsireas, Charalambos Tzamos
:
Bounding the Number of Roots of Multi-Homogeneous Systems. ISSAC 2022: 255-262 - [e12]Dimitris E. Simos
, Varvara Rasskazova
, Francesco Archetti, Ilias S. Kotsireas
, Panos M. Pardalos
:
Learning and Intelligent Optimization - 16th International Conference, LION 2022, Milos Island, Greece, June 5-10, 2022, Revised Selected Papers. Lecture Notes in Computer Science 13621, Springer 2022, ISBN 978-3-031-24865-8 [contents] - [i14]Ilias S. Kotsireas, Panos M. Pardalos, Alexander Semenov, William T. Trevena
, Michael N. Vrahatis:
Survey of Methods for Solving Systems of Nonlinear Equations, Part I: Root-finding Approaches. CoRR abs/2208.08530 (2022) - [i13]Ilias S. Kotsireas, Panos M. Pardalos, Alexander Semenov, William T. Trevena
, Michael N. Vrahatis:
Survey of Methods for Solving Systems of Nonlinear Equations, Part II: Optimization Based Approaches. CoRR abs/2208.08532 (2022) - 2021
- [j65]Jonathan S. Turner, Ilias S. Kotsireas, Dursun A. Bulutoglu, Andrew J. Geyer:
A Legendre pair of length 77 using complementary binary matrices with fixed marginals. Des. Codes Cryptogr. 89(6): 1321-1333 (2021) - [j64]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
:
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT. J. Symb. Comput. 102: 153-172 (2021) - [c30]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
A SAT-based Resolution of Lam's Problem. AAAI 2021: 3669-3676 - [e11]Dimitris E. Simos
, Panos M. Pardalos
, Ilias S. Kotsireas
:
Learning and Intelligent Optimization - 15th International Conference, LION 15, Athens, Greece, June 20-25, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12931, Springer 2021, ISBN 978-3-030-92120-0 [contents] - [e10]Robert M. Corless, Jürgen Gerhard, Ilias S. Kotsireas:
Maple in Mathematics Education and Research - 4th Maple Conference, MC 2020, Waterloo, Ontario, Canada, November 2-6, 2020, Revised Selected Papers. Communications in Computer and Information Science 1414, Springer 2021, ISBN 978-3-030-81697-1 [contents] - 2020
- [j63]Kenza Guenda, Iiro S. Honkala, Ilias S. Kotsireas, Teo Mora, Qiang Wang:
Special Issue: "Computer Algebra and Application to Combinatorics, Coding Theory and Cryptography" ACA 2019, Montreal, Canada, July 16-20, 2019. Appl. Algebra Eng. Commun. Comput. 31(3-4): 171-172 (2020) - [j62]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh
:
A nonexistence certificate for projective planes of order ten with weight 15 codewords. Appl. Algebra Eng. Commun. Comput. 31(3-4): 195-213 (2020) - [j61]Ilias S. Kotsireas, Panos M. Pardalos:
Guest editorial: revised selected papers from the LION 12 conference. Ann. Math. Artif. Intell. 88(1-3): 1-2 (2020) - [j60]Ilias S. Kotsireas, Temur Kutsia
, Dimitris E. Simos
:
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Ann. Math. Artif. Intell. 88(1-3): 213-236 (2020) - [j59]Curtis Bright
, Ilias S. Kotsireas, Vijay Ganesh
:
Applying computer algebra systems with SAT solvers to the Williamson conjecture. J. Symb. Comput. 100: 187-209 (2020) - [j58]Anna Maria Bigatti, Francisco Botana, Thierry N. Dana-Picard
, Felipe Gago, Ilias S. Kotsireas, Manuel Ladra, Wei Li:
Foreword. Math. Comput. Sci. 14(2): 191-192 (2020) - [j57]Curtis Bright
, Ilias S. Kotsireas
, Vijay Ganesh
:
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. IEEE Trans. Inf. Theory 66(12): 7739-7751 (2020) - [c29]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. IJCAI 2020: 1460-1466 - [c28]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh
:
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. IWOCA 2020: 97-111 - [e9]Pascal Fontaine, Konstantin Korovin, Ilias S. Kotsireas, Philipp Rümmer, Sophie Tourret:
Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020 co-located with the 10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June-July, 2020 (Virtual). CEUR Workshop Proceedings 2752, CEUR-WS.org 2020 [contents] - [e8]Ilias S. Kotsireas
, Panos M. Pardalos
:
Learning and Intelligent Optimization - 14th International Conference, LION 14, Athens, Greece, May 24-28, 2020, Revised Selected Papers. Lecture Notes in Computer Science 12096, Springer 2020, ISBN 978-3-030-53551-3 [contents] - [e7]Panos M. Pardalos, Ilias S. Kotsireas, Yike Guo, William J. Knottenbelt:
Mathematical Research for Blockchain Economy, 1st International Conference, MARBLE 2019, Santorini, Greece, May 6-9, 2019. Springer 2020, ISBN 978-3-030-37109-8 [contents] - [e6]Jürgen Gerhard, Ilias S. Kotsireas
:
Maple in Mathematics Education and Research - Third Maple Conference, MC 2019, Waterloo, Ontario, Canada, October 15-17, 2019, Proceedings. Communications in Computer and Information Science 1125, Springer 2020, ISBN 978-3-030-41257-9 [contents] - [i12]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem. CoRR abs/2001.11973 (2020) - [i11]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
Nonexistence Certificates for Ovals in a Projective Plane of Order Ten. CoRR abs/2001.11974 (2020) - [i10]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Ilias S. Kotsireas, Vijay Ganesh:
A SAT-based Resolution of Lam's Problem. CoRR abs/2012.04715 (2020)
2010 – 2019
- 2019
- [j56]Curtis Bright
, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh
:
The SAT+CAS method for combinatorial search with applications to best matrices. Ann. Math. Artif. Intell. 87(4): 321-342 (2019) - [j55]Jürgen Gerhard, Ilias S. Kotsireas:
Maple Conference 2019. ACM Commun. Comput. Algebra 53(4): 182 (2019) - [j54]Panagiotis Vlamos
, Ilias S. Kotsireas, Dimitrios Vlachakis
:
Complexity in Medical Informatics. Complex. 2019: 8658124:1-8658124:2 (2019) - [j53]Michel Beaudin, Thierry N. Dana-Picard, Alexander B. Levin, Christoph Koutschan, Ilias S. Kotsireas, Daniel Robertz:
Foreword. Math. Comput. Sci. 13(1-2): 1-3 (2019) - [j52]Dimitris Souravlias, Ilias S. Kotsireas, Panos M. Pardalos, Konstantinos E. Parsopoulos:
Parallel algorithm portfolios with performance forecasting. Optim. Methods Softw. 34(6): 1231-1250 (2019) - [j51]Manfred Droste, Ilias S. Kotsireas, Robert Rolland:
Preface. Theor. Comput. Sci. 800: 1-2 (2019) - [c27]Curtis Bright, Dragomir Z. Ðokovic, Ilias S. Kotsireas, Vijay Ganesh:
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. AAAI 2019: 1435-1442 - [c26]Ludwig Kampel, Dimitris E. Simos, Bernhard Garn, Ilias S. Kotsireas, Evgeny Zhereshchin:
Algebraic Models for Arbitrary Strength Covering Arrays over v-ary Alphabets. CAI 2019: 177-189 - [c25]Rémi Imbach, Victor Y. Pan, Chee Yap, Ilias S. Kotsireas, Vitaly Zaderman:
Root-Finding with Implicit Deflation. CASC 2019: 236-245 - [c24]Ilias S. Kotsireas, Youtong Liu, Jing Yang:
PAF Reconstruction with the Orbits Method. CASC 2019: 315-329 - [c23]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
SAT solvers and computer algebra systems: a powerful combination for mathematics. CASCON 2019: 323-328 - [c22]Ludwig Kampel, Michael Wagner, Ilias S. Kotsireas, Dimitris E. Simos:
How to Use Boltzmann Machines and Neural Networks for Covering Array Generation. LION 2019: 53-68 - [c21]Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh
:
Effective Problem Solving Using SAT Solvers. MC 2019: 205-219 - [e5]Roberto Battiti, Mauro Brunato, Ilias S. Kotsireas, Panos M. Pardalos:
Learning and Intelligent Optimization - 12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11353, Springer 2019, ISBN 978-3-030-05347-5 [contents] - [e4]Ilias S. Kotsireas, Panos M. Pardalos, Konstantinos E. Parsopoulos, Dimitris Souravlias, Arsenis Tsokas:
Analysis of Experimental Algorithms - Special Event, SEA² 2019, Kalamata, Greece, June 24-29, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11544, Springer 2019, ISBN 978-3-030-34028-5 [contents] - [i9]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
New Infinite Families of Perfect Quaternion Sequences and Williamson Sequences. CoRR abs/1905.00267 (2019) - [i8]Curtis Bright, Jürgen Gerhard, Ilias S. Kotsireas, Vijay Ganesh:
Effective problem solving using SAT solvers. CoRR abs/1906.06251 (2019) - [i7]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
SAT Solvers and Computer Algebra Systems: A Powerful Combination for Mathematics. CoRR abs/1907.04408 (2019) - [i6]Curtis Bright, Dragomir Z. Dokovic, Ilias S. Kotsireas, Vijay Ganesh:
The SAT+CAS Method for Combinatorial Search with Applications to Best Matrices. CoRR abs/1907.04987 (2019) - [i5]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh:
Complex Golay Pairs up to Length 28: A Search via Computer Algebra and Programmatic SAT. CoRR abs/1907.11981 (2019) - [i4]Curtis Bright, Kevin K. H. Cheung, Brett Stevens, Dominique Roy, Ilias S. Kotsireas, Vijay Ganesh:
A Nonexistence Certificate for Projective Planes of Order Ten with Weight 15 Codewords. CoRR abs/1911.04032 (2019) - 2018
- [j50]Curtis Bright
, Ilias S. Kotsireas, Vijay Ganesh
:
The SAT+CAS paradigm and the Williamson conjecture. ACM Commun. Comput. Algebra 52(3): 82-84 (2018) - [j49]Francisco J. Aragón Artacho
, Rubén Campoy
, Ilias S. Kotsireas, Matthew K. Tam
:
A feasibility approach for constructing combinatorial designs of circulant type. J. Comb. Optim. 35(4): 1061-1085 (2018) - [j48]Dardo Goyeneche, Ilias S. Kotsireas, Padraig Ó Catháin:
Foreword. Math. Comput. Sci. 12(4): 371-372 (2018) - [j47]Dragomir Z. Dokovic, Ilias S. Kotsireas:
Goethals-Seidel Difference Families with Symmetric or Skew Base Blocks. Math. Comput. Sci. 12(4): 373-388 (2018) - [c20]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
A SAT+CAS Method for Enumerating Williamson Matrices of Even Order. AAAI 2018: 6573-6580 - [c19]Ilias S. Kotsireas, Jing Yang:
Autocorrelation via Runs. AISC 2018: 195-205 - [c18]Curtis Bright
, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh
:
Enumeration of Complex Golay Pairs via Programmatic SAT. ISSAC 2018: 111-118 - [c17]Kristoffer Kleine, Ilias S. Kotsireas, Dimitris E. Simos:
Evaluation of Tie-Breaking and Parameter Ordering for the IPO Family of Algorithms Used in Covering Array Generation. IWOCA 2018: 189-200 - [i3]Curtis Bright, Ilias S. Kotsireas, Vijay Ganesh:
Applying Computer Algebra Systems and SAT Solvers to the Williamson Conjecture. CoRR abs/1804.01172 (2018) - [i2]Curtis Bright, Ilias S. Kotsireas, Albert Heinle, Vijay Ganesh:
Enumeration of Complex Golay Pairs via Programmatic SAT. CoRR abs/1805.05488 (2018) - [i1]Curtis Bright, Dragomir Z. Djokovic, Ilias S. Kotsireas, Vijay Ganesh:
A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples. CoRR abs/1811.05094 (2018) - 2017
- [j46]Edward Zulkoski
, Curtis Bright
, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh
:
Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. J. Autom. Reason. 58(3): 313-339 (2017) - [j45]Ilias S. Kotsireas:
Mathematics in Computer Science: After 10 Years. Math. Comput. Sci. 11(1): 1-6 (2017) - [j44]Thierry N. Dana-Picard
, Wolfram Koepf, Ilias S. Kotsireas, Zoltán Kovács
, Alexander N. Prokopenya
, Werner M. Seiler
:
Foreword. Math. Comput. Sci. 11(3-4): 251-252 (2017) - [c16]Ioannis Z. Emiris
, Christos Konaxis, Ilias S. Kotsireas, Clément Laroche:
Matrix Representations by Means of Interpolation. ISSAC 2017: 149-156 - [e3]Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos:
Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Lecture Notes in Computer Science 10693, Springer 2017, ISBN 978-3-319-72452-2 [contents] - 2016
- [j43]Srinivasan Arunachalam, Ilias S. Kotsireas:
Hard satisfiable 3-SAT instances via autocorrelation. J. Satisf. Boolean Model. Comput. 10(1): 11-22 (2016) - [j42]Dimitris Souravlias, Konstantinos E. Parsopoulos, Ilias S. Kotsireas:
Circulant weighing matrices: a demanding challenge for parallel optimization metaheuristics. Optim. Lett. 10(6): 1303-1314 (2016) - [c15]Curtis Bright
, Vijay Ganesh
, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki:
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. CASC 2016: 117-133 - [c14]Ilias S. Kotsireas:
Computational Approaches to Open Problems in Combinatorics. ISAIM 2016 - [c13]Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki:
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. SC²@SYNASC 2016: 13-19 - [c12]Ilias S. Kotsireas, Panos M. Pardalos, Konstantinos E. Parsopoulos, Dimitris Souravlias:
On the Solution of Circulant Weighing Matrices Problems Using Algorithm Portfolios on Multi-core Processors. SEA 2016: 184-200 - [e2]Ilias S. Kotsireas, Siegfried M. Rump, Chee K. Yap:
Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Berlin, Germany, November 11-13, 2015, Revised Selected Papers. Lecture Notes in Computer Science 9582, Springer 2016, ISBN 978-3-319-32858-4 [contents] - 2015
- [j41]Dragomir Z. Dokovic
, Ilias S. Kotsireas, Daniel Recoskie, Joe Sawada:
Charm bracelets and their application to the construction of periodic Golay pairs. Discret. Appl. Math. 188: 32-40 (2015) - [j40]Dragomir Z. Dokovic
, Ilias S. Kotsireas:
Compression of periodic complementary sequences and applications. Des. Codes Cryptogr. 74(2): 365-377 (2015) - [j39]Ilias S. Kotsireas, Edgar Martínez-Moro
:
Foreword: Computer Algebra in Coding Theory and Cryptography. Des. Codes Cryptogr. 76(1): 1-2 (2015) - [j38]Dragomir Z. Dokovic
, Ilias S. Kotsireas:
Some new periodic Golay pairs. Numer. Algorithms 69(3): 523-530 (2015) - [c11]Ilias S. Kotsireas, Temur Kutsia
, Dimitris E. Simos:
Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification. RTA 2015: 241-256 - 2014
- [j37]Ilias S. Kotsireas:
Message from the SIGSAM Chair. ACM Commun. Comput. Algebra 48(1/2): 32 (2014) - [j36]Ilias S. Kotsireas:
Message from the SIGSAM Chair. ACM Commun. Comput. Algebra 48(3/4): 154 (2014) - [j35]Ilias S. Kotsireas, Lilia Krivodonova, Sabine McConnell, Erik Schnetter
:
High performance computing theory and applications - Proceedings of SHARCNET Research Day 2012 (Guelph, Ontario). J. Comput. Sci. 5(3): 497-498 (2014) - [c10]Ilias S. Kotsireas, Panos M. Pardalos:
A New Existence Condition for Hadamard Matrices with Circulant Core. LION 2014: 383-390 - 2013
- [j34]Ilias S. Kotsireas, Panos M. Pardalos:
D-optimal matrices via quadratic integer optimization. J. Heuristics 19(4): 617-627 (2013) - [j33]Allen M. Tesdall, Jae-Hun Jung, Ilias S. Kotsireas, Roderick V. N. Melnik
:
Preface. J. Comput. Sci. 4(1-2): 1-2 (2013) - [j32]Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan, Lihong Zhi:
Preface. Theor. Comput. Sci. 479: 1-3 (2013) - [p1]Ilias S. Kotsireas:
Structured Hadamard Conjecture. Number Theory and Related Fields 2013: 215-227 - 2012
- [j31]Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos, Dimitris E. Simos:
Competent genetic algorithms for weighing matrices. J. Comb. Optim. 24(4): 508-525 (2012) - [j30]Ilias S. Kotsireas, Irene Marquez Corbella
, Edgar Martínez-Moro
:
Foreword. Math. Comput. Sci. 6(2): 107-108 (2012) - [j29]Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry:
New weighing matrices constructed from two circulant submatrices. Optim. Lett. 6(1): 211-217 (2012) - [c9]Ilias S. Kotsireas, Konstantinos E. Parsopoulos, Grigoris S. Piperagkas, Michael N. Vrahatis:
Ant-Based Approaches for Solving Autocorrelation Problems. ANTS 2012: 220-227 - 2011
- [j28]Ilias S. Kotsireas, Eugene V. Zima:
Abstracts of WWCA 2011 in honor of Herb Wilf's 80th birthday. ACM Commun. Comput. Algebra 45(1/2): 92-99 (2011) - [j27]Mujahid N. Syed, Ilias S. Kotsireas, Panos M. Pardalos:
D-Optimal Designs: A Mathematical Programming Approach Using Cyclotomic Cosets. Informatica 22(4): 577-587 (2011) - [j26]Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos:
A modified power spectral density test applied to weighing matrices with small weight. J. Comb. Optim. 22(4): 873-881 (2011) - [j25]Elizabeth Arnold, Ilias S. Kotsireas, Markus Rosenkranz:
Bruno Buchberger and the world of Gröbner bases. J. Symb. Comput. 46(5): 495-497 (2011) - [j24]Ilias S. Kotsireas, Bernard Mourrain, Victor Y. Pan:
Preface. Theor. Comput. Sci. 412(16): 1443-1444 (2011) - 2010
- [j23]Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry, Dimitris E. Simos:
New classes of orthogonal designs constructed from complementary sequences with given spread. Australas. J Comb. 46: 67-78 (2010) - [j22]K. T. Arasu, Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry:
On circulant and two-circulant weighing matrices. Australas. J Comb. 48: 43-52 (2010) - [j21]Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos, Oleg V. Shylo:
Periodic complementary binary sequences and Combinatorial Optimization algorithms. J. Comb. Optim. 20(1): 63-75 (2010) - [j20]Ilias S. Kotsireas, Christos Koukouvinos, Panos M. Pardalos:
An efficient string sorting algorithm for weighing matrices of small weight. Optim. Lett. 4(1): 29-36 (2010)
2000 – 2009
- 2009
- [j19]Ilias S. Kotsireas, Christos Koukouvinos, Dimitris E. Simos:
MDS and near-MDS self-dual codes over large prime fields. Adv. Math. Commun. 3(4): 349-361 (2009) - [j18]Ilias S. Kotsireas, Christos Koukouvinos:
Hadamard matrices of Williamson type: A challenge for Computer Algebra. J. Symb. Comput. 44(3): 271-279 (2009) - [j17]Robert M. Corless
, Karin Gatermann, Ilias S. Kotsireas:
Using symmetries in the eigenvalue method for polynomial systems. J. Symb. Comput. 44(11): 1536-1550 (2009) - [e1]Hiroshi Kai, Hiroshi Sekigawa, Tateaki Sasaki, Kiyoshi Shirayanagi, Ilias S. Kotsireas:
Symbolic Numeric Computation, SNC '09, Kyoto, Japan - August 03 - 05, 2009. ACM 2009, ISBN 978-1-60558-664-9 [contents] - 2008
- [j16]Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry:
New orthogonal designs from weighing matrices. Australas. J Comb. 40: 99-104 (2008) - [j15]Ilias S. Kotsireas, Christos Koukouvinos:
New skew-Hadamard matrices via computational algebra. Australas. J Comb. 41: 235-248 (2008) - [j14]Ilias S. Kotsireas:
Foreword. Math. Comput. Sci. 1(3): 439 (2008) - [j13]Marco Chiarandini
, Ilias S. Kotsireas, Christos Koukouvinos, Luís Paquete
:
Heuristic algorithms for Hadamard matrices with two circulant cores. Theor. Comput. Sci. 407(1-3): 274-277 (2008) - 2007
- [j12]Ilias S. Kotsireas, Christos Koukouvinos:
Orthogonal designs of order 32 and 64 via computational algebra. Australas. J Comb. 39: 39-48 (2007) - [j11]Mark Giesbrecht, Ilias S. Kotsireas, Austin Lobo:
ISSAC 2007 poster abstracts. ACM Commun. Comput. Algebra 41(1-2): 38-72 (2007) - [c8]Ilias S. Kotsireas, Christos Koukouvinos:
Inequivalent Hadamard matrices from orthogonal designs. PASCO 2007: 95-96 - 2006
- [j10]Jason Cousineau, Ilias S. Kotsireas, Christos Koukouvinos:
Genetic algorithms for orthogonal designs. Australas. J Comb. 35: 263-272 (2006) - [j9]Ilias S. Kotsireas, Eugene A. Zima:
WWCA 2006 abstracts. ACM Commun. Comput. Algebra 40(2): 52-59 (2006) - [j8]Ilias S. Kotsireas, Christos Koukouvinos, Jennifer Seberry:
Hadamard ideals and Hadamard matrices with two circulant cores. Eur. J. Comb. 27(5): 658-668 (2006) - [j7]Konstantinos Karamanos, Ilias S. Kotsireas:
Addendum: On the statistical analysis of the first digits of the Feigenbaum constants. J. Frankl. Inst. 343(7): 759-761 (2006) - 2005
- [j6]Konstantinos Karamanos, Ilias S. Kotsireas:
Statistical analysis of the first digits of the binary expansion of Feigenbaum constants α and δ. J. Frankl. Inst. 342(3): 329-340 (2005) - [j5]