Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
120 | Erich L. Kaltofen, John P. May |
On approximate irreducibility of polynomials in several variables. |
ISSAC |
2003 |
DBLP DOI BibTeX RDF |
absolute irreducibility, effective Noether irreducibility forms, multivariate polynomial factorization, radius of irreducibility, approximate factorization, symbolic/numeric hybrid method |
118 | Fatima K. Abu Salem, Laurence Tianruo Yang |
Parallel methods for absolute irreducibility testing. |
J. Supercomput. |
2008 |
DBLP DOI BibTeX RDF |
Bivariate polynomials, Absolute irreducibility, Newton polytopes, Bulk synchronous model, Parallel algorithms, Multivariate polynomials |
74 | Soonhak Kwon, Chang Hoon Kim, Chun Pyo Hong |
Fast Irreducibility Testing for XTR Using a Gaussian Normal Basis of Low Complexity. |
Selected Areas in Cryptography |
2004 |
DBLP DOI BibTeX RDF |
XTR cryptosystem, Gauss period, cubic residue, normal basis, roots of unity |
57 | Jonathan Bentwich |
The duality principle: irreducibility of sub-threshold psychophysical computation to neuronal brain activation. |
Synth. |
2006 |
DBLP DOI BibTeX RDF |
Materialistic reductionism, Duality principle, Body-mind, Binding problem, Computation, Psychophysics, Neuroscience |
57 | Kosaku Nagasaka |
Towards certified irreducibility testing of bivariate approximate polynomials. |
ISSAC |
2002 |
DBLP DOI BibTeX RDF |
|
39 | Ondrej Kuzelka, Filip Zelezný |
Block-wise construction of acyclic relational features with monotone irreducibility and relevancy properties. |
ICML |
2009 |
DBLP DOI BibTeX RDF |
|
39 | Achour Mostéfaoui, Sergio Rajsbaum, Michel Raynal, Corentin Travers |
Irreducibility and additivity of set agreement-oriented failure detector classes. |
PODC |
2006 |
DBLP DOI BibTeX RDF |
fault-tolerance, asynchronous system, unreliable failure detector |
39 | Dima Grigoriev |
Complexity of Irreducibility Testing for a System of Linear Ordinary Differential Equations. |
ISSAC |
1990 |
DBLP DOI BibTeX RDF |
|
35 | Holger Boche, Martin Schubert |
On the Structure of the Multiuser QoS Region. |
IEEE Trans. Signal Process. |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Yde Venema |
A Dual Characterization of Subdirectly Irreducible BAOs. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
Boolean algebras with operators, subdirect irreducibility, duality |
27 | Johan Janssen, Henk Corporaal |
Making Graphs Reducible with Controlled Node Splitting. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
compilation, instruction-level parallelism, reducibility, control flow graphs, node splitting, irreducibility |
27 | Johan Janssen, Henk Corporaal |
Controlled Node Splitting. |
CC |
1996 |
DBLP DOI BibTeX RDF |
compilation, instruction level parallelism, reducibility, control flow graphs, node splitting, irreducibility |
22 | Moises Delgado, Heeralal Janwa, Carlos Agrinsoni |
Some new techniques and progress towards the resolution of the conjecture of exceptional APN functions and absolutely irreducibility of a class of polynomials. |
Des. Codes Cryptogr. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Raúl López-Rueda, Santiago Escobar 0001, Julia Sapiña |
An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Jonathan Gorard |
A Functorial Perspective on (Multi)computational Irreducibility. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Sarah Cannon |
Irreducibility of Recombination Markov Chains in the Triangular Lattice. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yilun Zhu, Aaron Fjeldsted, Darren Holland, George Landon, Azaree Lintereur, Clayton Scott |
Mixture Proportion Estimation Beyond Irreducibility. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Raúl López-Rueda, Santiago Escobar 0001, Julia Sapiña |
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. |
J. Log. Algebraic Methods Program. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Devendra Prasad |
Irreducibility of integer-valued polynomials in several variables. |
Period. Math. Hung. |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Sarah Cannon |
Irreducibility of Recombination Markov Chains in the Triangular Lattice. |
ACDA |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Santiago Escobar 0001, Raúl López-Rueda, Julia Sapiña |
Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints. |
FTSCS |
2023 |
DBLP DOI BibTeX RDF |
|
22 | Yilun Zhu, Aaron Fjeldsted, Darren Holland, George Landon, Azaree Lintereur, Clayton Scott |
Mixture Proportion Estimation Beyond Irreducibility. |
ICML |
2023 |
DBLP BibTeX RDF |
|
22 | Philip Kmentt, Alec Shute |
The Bertini irreducibility theorem for higher codimensional slices. |
Finite Fields Their Appl. |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Adrien Poteaux, Martin Weimann |
A quasi-linear irreducibility test in 핂[[x]][y]. |
Comput. Complex. |
2022 |
DBLP DOI BibTeX RDF |
|
22 | George Barmpalias, Wei Wang 0150 |
Growth and irreducibility in path-incompressible trees. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Raúl López-Rueda, Santiago Escobar 0001 |
Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method. |
WRLA@ETAPS |
2022 |
DBLP DOI BibTeX RDF |
|
22 | Julián Agredo, Franco Fagnola, Damiano Poletti |
Gaussian Quantum Markov Semigroups on a One-Mode Fock Space: Irreducibility and Normal Invariant States. |
Open Syst. Inf. Dyn. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Phitthayathon Phetnun, Narakorn Rompurk Kanasri, Patiwat Singthongla |
On the Irreducibility of Polynomials Associated with the Complete Residue Systems in any Imaginary Quadratic Fields. |
Int. J. Math. Math. Sci. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Jiejian Feng, Michael Zhang, Jinglei Yang |
New necessary and sufficient condition for the irreducibility of joint inventory positions in an assemble-to-order system. |
Oper. Res. Lett. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Stephen Wolfram |
After 100 Years, Can We Finally Crack Post's Problem of Tag? A Story of Computational Irreducibility, and More. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
22 | Marius Krumm, Markus P. Müller |
Computational irreducibility and compatibilism: towards a formalization. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
22 | David Krumm, Nicole Sutherland |
Galois groups over rational function fields and Explicit Hilbert Irreducibility. |
J. Symb. Comput. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Miguel Ángel Marco Buzunáriz, María Pe Pereira |
Irreducibility of analytic arc-sections of hypersurface singularities. |
Period. Math. Hung. |
2021 |
DBLP DOI BibTeX RDF |
|
22 | Hiroshi Fujisaki |
On Irreducibility of the Stream Version of Asymmetric Binary Systems. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Yu Yao, Tongliang Liu, Bo Han 0003, Mingming Gong, Gang Niu 0001, Masashi Sugiyama, Dacheng Tao |
Towards Mixture Proportion Estimation without Irreducibility. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
22 | Jitender Singh, Sanjeev Kumar |
A Generalization of Bevelacqua's Irreducibility Criterion. |
Am. Math. Mon. |
2020 |
DBLP DOI BibTeX RDF |
|
22 | John Abbott |
Certifying Irreducibility in ℤ[x]. |
ICMS |
2020 |
DBLP DOI BibTeX RDF |
|
22 | Anuj Jakhar |
A Useful Irreducibility Result for Integer Polynomials. |
Am. Math. Mon. |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Santiago Escobar 0001, José Meseguer 0001 |
Canonical Narrowing with Irreducibility Constraints as a Symbolic Protocol Analysis Method. |
Foundations of Security, Protocols, and Equational Reasoning |
2019 |
DBLP DOI BibTeX RDF |
|
22 | Santiago Hernández-Orozco, Francisco Hernández Quiroz, Hector Zenil |
Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence. |
Artif. Life |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Jonathan Gorard |
The Slowdown Theorem: A Lower Bound for Computational Irreducibility in Physical Systems. |
Complex Syst. |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Elena Dubrova, Mats Näslund, Göran Selander, Fredrik Lindqvist |
Message Authentication Based on Cryptographically Secure CRC without Polynomial Irreducibility Test. |
Cryptogr. Commun. |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Christian Borst, Evan Boyd, Claire Brekken, Samantha Solberg, Melanie Matchett Wood, Philip Matchett Wood |
Irreducibility of Random Polynomials. |
Exp. Math. |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Anuj Jakhar |
An Irreducibility Criterion for Polynomials with Integer Coefficients. |
Am. Math. Mon. |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Mark B. Villarino, William Gasarch, Kenneth W. Regan |
Hilbert's Proof of His Irreducibility Theorem. |
Am. Math. Mon. |
2018 |
DBLP DOI BibTeX RDF |
|
22 | Hidetaka Kitayama, Daisuke Shiomi |
On the irreducibility of Fibonacci and Lucas polynomials over finite fields. |
Finite Fields Their Appl. |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Eric Férard |
On the irreducibility of the hyperplane sections of Fermat varieties in ℙ 3 $\mathbb {P}^{3}$ in characteristic 2. II. |
Cryptogr. Commun. |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Moises Delgado, Heeralal Janwa |
On the conjecture on APN functions and absolute irreducibility of polynomials. |
Des. Codes Cryptogr. |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Richard Booth 0001, Jake Chandler |
The Irreducibility of Iterated to Single Revision. |
J. Philos. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Vishwas Bhargava, Gábor Ivanyos, Rajat Mittal 0001, Nitin Saxena 0001 |
Irreducibility and deterministic r-th root finding over finite fields. |
Electron. Colloquium Comput. Complex. |
2017 |
DBLP BibTeX RDF |
|
22 | Jameson Cahill, Dustin G. Mixon, Nate Strawn |
Connectivity and Irreducibility of Algebraic Varieties of Finite Unit Norm Tight Frames. |
SIAM J. Appl. Algebra Geom. |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Vishwas Bhargava, Gábor Ivanyos, Rajat Mittal 0001, Nitin Saxena 0001 |
Irreducibility and r-th root finding over finite fields. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
22 | Lin Wang |
Deciding Irreducibility/Indecomposability of Feedback Shift Registers is NP-hard. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
22 | Antonio Cafure, Eda Cesaratto |
Irreducibility Criteria for Reciprocal Polynomials and Applications. |
Am. Math. Mon. |
2017 |
DBLP BibTeX RDF |
|
22 | Vishwas Bhargava, Gábor Ivanyos, Rajat Mittal 0001, Nitin Saxena 0001 |
Irreducibility and Deterministic r-th Root Finding over Finite Fields. |
ISSAC |
2017 |
DBLP DOI BibTeX RDF |
|
22 | Tom McClelland |
Can self-representationalism explain away the apparent irreducibility of consciousness? |
Synth. |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Jun Zhou 0010, Xinbiao Lu, Huimin Qian |
Controllability discrepancy and irreducibility/reducibility of Floquet factorisations in linear continuous-time periodic systems. |
Int. J. Syst. Sci. |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Moises Delgado, Heeralal Janwa |
On the absolute irreducibility of hyperplane sections of generalized Fermat varieties in P3 and the conjecture on exceptional APN functions: the Kasami-Welch degree case. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
22 | Klara Stokes |
Irreducibility of configurations. |
Ars Math. Contemp. |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Akihiro Munemasa, Hiroko Nakamura |
A Note on the Brawley-Carlitz Theorem on Irreducibility of Composed Products of Polynomials over Finite Fields. |
WAIFI |
2016 |
DBLP DOI BibTeX RDF |
|
22 | Hervé Zwirn |
Computational Irreducibility and Computational Analogy. |
Complex Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
22 | Karl Dilcher, Larry Ericksen |
Factors and Irreducibility of Generalized Stern Polynomials. |
Integers |
2015 |
DBLP BibTeX RDF |
|
22 | Marina Diakonova, Vincenzo Nicosia, Vito Latora, Maxi San Miguel |
Irreducibility of multilayer network dynamics: the case of the voter model. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
22 | Eric Férard |
On the irreducibility of the hyperplane sections of Fermat varieties in ℙ3 in characteristic 2. |
Adv. Math. Commun. |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Chen Avin, Michael Borokhovich, Yoram Haddad 0001, Erez Kantor, Zvi Lotker, Merav Parter, David Peleg |
Testing the irreducibility of nonsquare Perron-Frobenius systems. |
Inf. Process. Lett. |
2014 |
DBLP DOI BibTeX RDF |
|
22 | Periklis A. Papakonstantinou |
The Depth Irreducibility Hypothesis. |
Electron. Colloquium Comput. Complex. |
2014 |
DBLP BibTeX RDF |
|
22 | Fernando Chamizo, Jorge Jiménez Urroz |
Irreducibility and the distribution of some exponential sums. |
Finite Fields Their Appl. |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Natalio H. Guersenzvaig |
Simple Arithmetical Criteria for Irreducibility of Polynomials with Integer Coefficients. |
Integers |
2013 |
DBLP BibTeX RDF |
|
22 | Tetsuya Kobayashi, Akiko Manada, Takahiro Ota, Hiroyoshi Morita |
On the Irreducibility of Certain Shifts of Finite Type. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Heide Gluesing-Luerssen, G. David Forney Jr. |
Local Irreducibility of Tail-Biting Trellises. |
IEEE Trans. Inf. Theory |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Hervé Zwirn |
Computational Irreducibility and Computational Analogy |
CoRR |
2013 |
DBLP BibTeX RDF |
|
22 | Virgil Griffith, Jonathan Harel |
Synergy is a Special Case of Irreducibility. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
22 | Anthony J. Bevelacqua |
Another Irreducibility Criterion. |
Am. Math. Mon. |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Steven H. Weintraub |
Several Proofs of the Irreducibility of the Cyclotomic Polynomials. |
Am. Math. Mon. |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Takafumi Shibuta |
Irreducibility criterion for algebroid curves. |
Math. Comput. |
2013 |
DBLP DOI BibTeX RDF |
|
22 | Mark Giesbrecht |
Algorithms for irreducibility testing and for constructing irreducible polynomials. |
Handbook of Finite Fields |
2013 |
DBLP BibTeX RDF |
|
22 | Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten |
Empirical Encounters with Computational Irreducibility and Unpredictability. |
Minds Mach. |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Heide Gluesing-Luerssen, G. David Forney Jr. |
Local Irreducibility of Tail-Biting Trellises |
CoRR |
2012 |
DBLP BibTeX RDF |
|
22 | Stavros Garoufalidis, Christoph Koutschan |
Irreducibility of q-difference operators and the knot 7_4 |
CoRR |
2012 |
DBLP BibTeX RDF |
|
22 | James Stanier, Des Watson |
A study of irreducibility in C programs. |
Softw. Pract. Exp. |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Serdar Erbatur, Santiago Escobar 0001, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows 0001, José Meseguer 0001, Paliath Narendran, Sonia Santiago, Ralf Sasse |
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. |
ESORICS |
2012 |
DBLP DOI BibTeX RDF |
|
22 | Víctor Blanco, José Carlos Rosales |
Irreducibility in the Set of Numerical Semigroups with Fixed Multiplicity. |
Int. J. Algebra Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Gabriela Hauser Bordalo |
Prime Filters, Normality and Irreducibility in Lattices. |
Stud Logica |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Hector Zenil, Fernando Soler-Toscano, Joost J. Joosten |
Empirical Encounters with Computational Irreducibility and Unpredictability |
CoRR |
2011 |
DBLP BibTeX RDF |
|
22 | Hervé Zwirn, Jean-Paul Delahaye |
Unpredictability and Computational Irreducibility |
CoRR |
2011 |
DBLP BibTeX RDF |
|
22 | Radmarz Hosseinie, Mojtaba Mahzoon |
Irreducibility and emergence in complex systems and the quest for alternative insights. |
Complex. |
2011 |
DBLP DOI BibTeX RDF |
|
22 | Sergej B. Gashkov, Igor Gashkov |
Some Remarks on Testing Irreducibility of Polynomials and Normality of Bases in Finite Fields. |
Fundam. Informaticae |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Jacob Ross |
The Irreducibility of Personal Obligation. |
J. Philos. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
22 | Anca I. Bonciocat, Nicolae C. Bonciocat |
On the Irreducibility of Polynomials with Leading Coefficient Divisible by a Large Prime Power. |
Am. Math. Mon. |
2009 |
DBLP BibTeX RDF |
|
22 | Ülle Kotta, Zbigniew Bartosiewicz, Ewa Pawluszewicz, Malgorzata Wyrwas |
Irreducibility, reduction and transfer equivalence of nonlinear input-output equations on homogeneous time scales. |
Syst. Control. Lett. |
2009 |
DBLP DOI BibTeX RDF |
|
22 | S. Aparna Lakshmanan, Ambat Vijayakumar |
Clique irreducibility of some iterative classes of graphs. |
Discuss. Math. Graph Theory |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Scott Ahlgren |
On the irreducibility of Hecke polynomials. |
Math. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ülle Kotta, Palle Kotta, Miroslav Halás |
Irreducibility and reduction of nonlinear control systems: Unification and extension via pseudo-linear algebra. |
ICARCV |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Deepanjan Kesh, Shashank K. Mehta |
Polynomial irreducibility testing through Minkowski summand computation. |
CCCG |
2008 |
DBLP BibTeX RDF |
|
22 | Tao-Ming Wang, Peter Che Bor Lam, Jun-Lin Kuo, Feng-Rung Hu |
On Irreducibility of Maximal Cliques. |
IWOCA |
2008 |
DBLP BibTeX RDF |
|
22 | Wei Zhao 0002, Barrett R. Bryant, Fei Cao, Rainer Hauser, Kamal Bhattacharya, Tao Tao |
Transforming business process models in the presence of irreducibility and concurrency. |
Int. J. Bus. Process. Integr. Manag. |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Daniel R. L. Brown |
Irreducibility to the One-More Evaluation Problems: More May Be Less. |
IACR Cryptol. ePrint Arch. |
2007 |
DBLP BibTeX RDF |
|
22 | Ranjitha A. Dhanasekaran, Gregory J. Podgorski, Nicholas S. Flann |
Co-option and Irreducibility in Regulatory Networks for Cellular Pattern Development. |
ALIFE |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Harold W. Gutch, Fabian J. Theis |
Independent Subspace Analysis Is Unique, Given Irreducibility. |
ICA |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Ülle Kotta, Palle Kotta, Sven Nomm, Maris Tõnso |
Irreducibility Conditions for Continuous-time Multi-input Multi-output Nonlinear Systems. |
ICARCV |
2006 |
DBLP DOI BibTeX RDF |
|