Výsledky vyhľadávania - Computing methodologies Symbolic and algebraic manipulation Symbolic and algebraic algorithms

Big Prime Field FFT on Multi-core Processors

Autori: Covanov, Svyatoslav Mohajerani, Davood Moreno Maza, Marc a ďalší

Prispievatelia: Covanov, Svyatoslav Mohajerani, Davood Moreno Maza, Marc a ďalší

Zdroj: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation. :106-113

Predmety: Intel CilkPlus, Parallel algorithms, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Finite fields, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Generalized Fermat numbers, Multi-core processors, 0101 mathematics, Specialized arithmetic, CCS CONCEPTS • Computing methodologies → Symbolic and algebraic manipulation Algebraic algorithms, 01 natural sciences, Fast Fourier transforms

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.inria.fr/hal-02191652/file/cmmw-2019.ISSAC.sigconf.pdf
https://inria.hal.science/hal-02191652v1
https://hal.inria.fr/hal-02191652
https://hal.inria.fr/hal-02191652/document
https://doi.org/10.1145/3326229.3326273
https://dl.acm.org/doi/10.1145/3326229.3326273
https://dblp.uni-trier.de/db/conf/issac/issac2019.html#CovanovMMW19
https://dl.acm.org/doi/pdf/10.1145/3326229.3326273

Computing specified generators of structured matrix inverses

Autori: Jeannerod, Claude-Pierre Mouilleron, Christophe Computer arithmetic (ARENAIRE) a ďalší

Prispievatelia: Jeannerod, Claude-Pierre Mouilleron, Christophe Computer arithmetic (ARENAIRE) a ďalší

Zdroj: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation ; 35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010) ; https://ens-lyon.hal.science/ensl-00450272 ; 35th International Symposium on Symbolic and Algebraic Computation (ISSAC 2010), Jul 2010, Münich, Germany. ⟨10.1145/1837934.1837988⟩

Predmety: Structured linear algebra, matrix inversion, ACM I.1.2 [Computing Methodologies]: Symbolic and Algebraic Manipulation - Algebraic Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Geografické téma: Münich, Germany

Dostupnosť: https://ens-lyon.hal.science/ensl-00450272
https://ens-lyon.hal.science/ensl-00450272v1/document
https://ens-lyon.hal.science/ensl-00450272v1/file/JeannerodMouilleron2010.pdf
https://doi.org/10.1145/1837934.1837988

Unified Robustness in AI: From Symbolic Reasoning to Hardware Resilience

Autori: Errahmouni Barkam, Hamza

Predmety: Computer science, Artificial intelligence, Computer engineering, Compute-in-Memory (CiM), Hardware–Algorithm Co-Design, Hyperdimensional Computing (HDC), Neuro-Symbolic AI, Robustness to Adversarial Attacks, Vector Symbolic Architectures

Popis súboru: application/pdf

Prístupová URL adresa: https://escholarship.org/uc/item/0cw4231f
https://escholarship.org/content/qt0cw4231f/qt0cw4231f.pdf

Solving toeplitz- and vandermonde-like linear systems with large displacement rank

Autori: Bostan, Alin Jeannerod, Claude-Pierre Schost, Éric

Prispievatelia: Bostan, Alin Jeannerod, Claude-Pierre Schost, Éric

Zdroj: Proceedings of the 2007 international symposium on Symbolic and algebraic computation. :33-40

Predmety: Structured linear algebra, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Dense linear algebra, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, I.1.2 [Computing Methodologies]: Symbolic and Algebraic Manipulation -Algebraic Algorithms Algorithms

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.inria.fr/hal-03420744/file/BoJeSc07.pdf
https://dl.acm.org/doi/10.1145/1277548.1277554
https://specfun.inria.fr/bostan/publications/BoJeSc07.pdf
http://perso.ens-lyon.fr/claude-pierre.jeannerod/papers/issac07.pdf
https://hal.inria.fr/hal-03420744/document
http://core.ac.uk/display/20747684
https://core.ac.uk/display/20747684

Beyond Affine Loops: A Geometric Approach to Program Synthesis

Autori: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a ďalší

Prispievatelia: Erdenebayar Bayarmagnai Fatemeh Mohammadi Rémi Prébet a ďalší

Zdroj: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :1-7

Predmety: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], CCS Concepts: Applied computing → Invariants Logic and verification • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Symbolic Computation (cs.SC), [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], CCS Concepts, Mathematics - Algebraic Geometry, FOS: Mathematics, Logic and verification, Polynomial invariants, • Computing methodologies → Symbolic and algebraic manipulation Program synthesis, Applied computing → Invariants, Algebraic Geometry (math.AG)

Popis súboru: application/pdf

Prístupová URL adresa: http://arxiv.org/abs/2505.00620
https://hal.science/hal-05127957v1/document
https://hal.science/hal-05127957v1
https://doi.org/10.1145/3735544.3735581

Faster Modular Composition.

Autori: Neiger, Vincent Salvy, Bruno Schost, Éric a ďalší

Zdroj: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-79, 79p

Predmety: MATRIX multiplications, POWER series, POLYNOMIALS, EXPONENTS, SYMBOLIC computation

Fast Algorithms for Differential Equations in Positive Characteristic

Autori: Alin Bostan Éric Schost The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Alin Bostan Éric Schost The Pennsylvania State University CiteSeerX Archives

Zdroj: http://algo.inria.fr/bostan/publications/BoSc09b.pdf.

Predmety: I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation – Algebraic Algorithms General Terms, Algorithms, Theory Keywords, complexity, differential equations, polynomial

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.607; http://algo.inria.fr/bostan/publications/BoSc09b.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.607
http://algo.inria.fr/bostan/publications/BoSc09b.pdf

Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy

Autori: Falaschi, Moreno Palamidessi, Catuscia Romanelli, Marco a ďalší

Prispievatelia: Falaschi, Moreno Palamidessi, Catuscia Romanelli, Marco a ďalší

Predmety: Security and privacy → Information flow control, [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Security and privacy → Information flow control phrases Constraints, Computing methodologies → Symbolic and algebraic manipulation, security, Security and privacy → Privacy-preserving protocols, [INFO.INFO-LG] Computer Science [cs]/Machine Learning [cs.LG], [INFO] Computer Science [cs], Computing methodologies → Learning paradigms, privacy, Security and privacy → Formal security models, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], Constraints, machine learning, privacy, security, machine learning, [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], 2012 ACM Subject Classification Computing methodologies → Learning paradigms, Constraints, [INFO]Computer Science [cs], ddc:004, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

Popis súboru: application/pdf

Prístupová URL adresa: https://hal.science/hal-03091740v1
https://doi.org/10.4230/oasics.gabbrielli.2020.11
https://hal.science/hal-03091740v1/document
https://hal.inria.fr/hal-03091740
https://dblp.uni-trier.de/db/conf/birthday/gabbrielli2020.html#FalaschiP020
https://hal.archives-ouvertes.fr/hal-03091740
https://hal.archives-ouvertes.fr/hal-03091740/document
https://usiena-air.unisi.it/handle/11365/1124702
https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.Gabbrielli.11
https://hdl.handle.net/11365/1124702
https://drops.dagstuhl.de/opus/volltexte/2020/13233/
https://doi.org/10.4230/OASIcs.Gabbrielli.11

Fast algorithms for differential equations in positive characteristic

Autori: Alin Bostan Éric Schost The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Alin Bostan Éric Schost The Pennsylvania State University CiteSeerX Archives

Zdroj: http://hal.archives-ouvertes.fr/docs/00/35/58/18/PDF/BoSc09.pdf.

Predmety: Categories and Subject Descriptors, I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation – Algebraic Algorithms General Terms, Algorithms, Theory Keywords, complexity, differential equations, polynomial

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.405.7549

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.405.7549
http://hal.archives-ouvertes.fr/docs/00/35/58/18/PDF/BoSc09.pdf

On the structure of compatible rational functions

Autori: Shaoshi Chen Ruyong Feng Guofeng Fu a ďalší

Prispievatelia: Shaoshi Chen Ruyong Feng Guofeng Fu a ďalší

Zdroj: http://www.mmrc.iss.ac.cn/~zmli/papers/CFFL2011.pdf.

Predmety: Categories and Subject Descriptors I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation—Algebraic Algorithms General Terms Algorithms, Theory Keywords Compatibility conditions, compatible rational functions, hyperexponential function, q-)hypergeometric

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.9043; http://www.mmrc.iss.ac.cn/~zmli/papers/CFFL2011.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.9043
http://www.mmrc.iss.ac.cn/~zmli/papers/CFFL2011.pdf

Hermite Reduction and Creative Telescoping for Hyperexponential Functions

Autori: Alin Bostan Shaoshi Chen Frédéric Chyzak a ďalší

Prispievatelia: Alin Bostan Shaoshi Chen Frédéric Chyzak a ďalší

Zdroj: http://www4.ncsu.edu/~schen21/BCCLX2013.pdf.

Predmety: Categories and Subject Descriptors I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation—Algebraic Algorithms General Terms Algorithms, Theory Keywords Hermite reduction, Hyperexponential function, Telescoper

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.371.774; http://www4.ncsu.edu/~schen21/BCCLX2013.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.371.774
http://www4.ncsu.edu/~schen21/BCCLX2013.pdf

Continued fraction expansion of real roots of polynomial systems

Autori: Angelos Mantzaflaris Bernard Mourrain Elias Tsigaridas a ďalší

Prispievatelia: Angelos Mantzaflaris Bernard Mourrain Elias Tsigaridas a ďalší

Zdroj: http://arxiv.org/pdf/0905.3993v1.pdf.

Predmety: I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation—algebraic algorithms General Terms Algorithms, Theory Keywords subdivision algorithm, homography, tensor monomial basis, continued

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.250.9990; http://arxiv.org/pdf/0905.3993v1.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.250.9990
http://arxiv.org/pdf/0905.3993v1.pdf

Multihomogeneous polynomial decomposition using moment matrices

Autori: Ra Bernardi Pierre Comon Bernard Mourrain a ďalší

Prispievatelia: Ra Bernardi Pierre Comon Bernard Mourrain a ďalší

Zdroj: https://hal.inria.fr/inria-00638837/document/.

Predmety: sition, I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation—Algebraic algorithms General Terms Algorithms, Theory Keywords Moment matrix, multihomogeneous polynomial decomposi- tion, tensor decomposition

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.5353

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.651.5353

Multivariate power series multiplication

Autori: Éric Schost The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Éric Schost The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.csd.uwo.ca/faculty/eschost/publications/SeriesProduct.pdf.

Predmety: Categories and Subject Descriptors I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation—Algebraic Algorithms General Terms Algorithms, Experimentation, Theory Keywords Power series, multiplication

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.170.5237; http://www.csd.uwo.ca/faculty/eschost/publications/SeriesProduct.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.170.5237
http://www.csd.uwo.ca/faculty/eschost/publications/SeriesProduct.pdf

LIP- ENS de Lyon

Autori: Claude-pierre Jeannerod Christophe Mouilleron Université De Lyon a ďalší

Prispievatelia: Claude-pierre Jeannerod Christophe Mouilleron Université De Lyon a ďalší

Zdroj: http://hal-ens-lyon.archives-ouvertes.fr/docs/00/45/02/72/PDF/JeannerodMouilleron2010.pdf.

Predmety: Categories and Subject Descriptors I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation—Algebraic Algorithms General Terms Algorithms, Theory Keywords Structured

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.405.4892

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.405.4892
http://hal-ens-lyon.archives-ouvertes.fr/docs/00/45/02/72/PDF/JeannerodMouilleron2010.pdf

Fast arithmetic for triangular sets: from theory to practice

Autori: Xin Li Marc Moreno Maza Éric Schost a ďalší

Prispievatelia: Xin Li Marc Moreno Maza Éric Schost a ďalší

Zdroj: http://www.csd.uwo.ca/~moreno/Publications/LiMorenoSchost-ISSAC-2007.ps.

Predmety: Categories and Subject Descriptors, I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation- Algebraic Algorithms General Terms, Algorithms, Experimentation, Performance, Theory Keywords, High-performance, multiplication, triangular set

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.309

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.309
http://www.csd.uwo.ca/~moreno/Publications/LiMorenoSchost-ISSAC-2007.ps

Products of ordinary differential operators by evaluation and interpolation

Autori: Alin Bostan Frédéric Chyzak Nicolas Le Roux a ďalší

Prispievatelia: Alin Bostan Frédéric Chyzak Nicolas Le Roux a ďalší

Zdroj: http://arxiv.org/pdf/0804.2181v1.pdf.

Predmety: I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation – Algebraic Algorithms General Terms, Algorithms, Theory Keywords, Fast algorithms, differential operators

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9360; http://arxiv.org/pdf/0804.2181v1.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9360
http://arxiv.org/pdf/0804.2181v1.pdf

Solving Toeplitz- and Vandermonde-like Linear Systems with Large Displacement Rank

Autori: Alin Bostan Claude-Pierre Jeannerod Eric Schost a ďalší

Prispievatelia: Alin Bostan Claude-Pierre Jeannerod Eric Schost a ďalší

Zdroj: http://perso.ens-lyon.fr/claude-pierre.jeannerod/papers/issac07.pdf.

Predmety: I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation – Algebraic Algorithms General Terms, Algorithms, Theory Keywords, Structured linear algebra, Dense linear algebra

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.7065

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.7065
http://perso.ens-lyon.fr/claude-pierre.jeannerod/papers/issac07.pdf

Lifting Techniques for Triangular Decompositions

Autori: Xavier Dahan Marc Moreno Maza Éric Schost a ďalší

Prispievatelia: Xavier Dahan Marc Moreno Maza Éric Schost a ďalší

Zdroj: http://www.csd.uwo.ca/~moreno/Publications/DahanMorenoMazaSchostWuXie-ISSAC-05.ps.

Predmety: Categories and Subject Descriptors, I.I.2 [Computing Methodologies, Symbolic and Algebraic Manipulation- Algebraic Algorithms General Terms, Algorithms, experimentation, theory. Keywords, Polynomial systems, triangular sets, Hensel lifting

Popis súboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.9044

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.9044
http://www.csd.uwo.ca/~moreno/Publications/DahanMorenoMazaSchostWuXie-ISSAC-05.ps

Semantic embedding for quantum algorithms.

Autori: Rossi, Zane M. Chuang, Isaac L.

Zdroj: Journal of Mathematical Physics; Dec2023, Vol. 64 Issue 12, p1-28, 28p

Predmety: MATHEMATICAL category theory, QUANTUM computing, ALGORITHMS, QUANTUM cryptography, PARALLEL algorithms, MATRIX functions