Search Results - ACM I.1.2 [Computing Methodologies]: Symbolic and Algebraic Manipulation - Algebraic Algorithms
-
1
Authors: et al.
Contributors: et al.
Source: 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⟩
Subject Terms: 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]
-
2
Authors:
Contributors:
Source: Proceedings of the 2007 international symposium on Symbolic and algebraic computation. :33-40
Subject Terms: 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
File Description: application/pdf
Access URL: 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 -
3
Authors: et al.
Contributors: et al.
-
4
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation—Algebraic Algorithms General Terms Algorithms, Experimentation, Theory Keywords Power series, multiplication
File Description: 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
-
5
Authors: et al.
Contributors: et al.
Source: http://arxiv.org/pdf/0804.2181v1.pdf.
Subject Terms: I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation – Algebraic Algorithms General Terms, Algorithms, Theory Keywords, Fast algorithms, differential operators
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.312.9360; http://arxiv.org/pdf/0804.2181v1.pdf
-
6
Authors: et al.
Contributors: et al.
Source: ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014) ; https://hal.science/hal-00932846 ; ACM International Symposium on Symbolic and Algebraic Computation (ISSAC 2014), Jul 2014, Kobe, Japan. pp.146-153, ⟨10.1145/2608628.2608644⟩
Subject Terms: Fiat-Shamir heuristic, sigma-protocol, output validation, randomization, linear-time checkable proof, matrix rank, matrix characteristic polynomial, positive semidefiniteness, I.1.2 Computing Methodologies (Symbolic and Algebraic Manipulation), [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1401.4567; ARXIV: 1401.4567
-
7
Authors: et al.
Contributors: et al.
Subject Terms: I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulations — Algebraic Algorithms General Terms, Algorithms, Theory. Keywords, complexity, linear differential operators, common
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.299.2709; http://algo.inria.fr/bostan/publications/BoChLiSa12.pdf
-
8
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors G.4 [Mathematics and Computing, Mathematical Software—Algorithm Design and Analysis, I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation General Terms Algorithms, Experimentation Keywords Characteristic polynomial, minimal polynomial, Keller-Gehrig, probabilistic algorithm, finite field, integer
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.6698; http://www.cs.uwaterloo.ca/~cpernet/Publications/charpoly_issac05.pdf
-
9
Authors:
Source: Studia Universitatis Babeş-Bolyai, Informatica; 2012, Vol. 57 Issue 1, p3-15, 13p, 5 Diagrams, 3 Charts, 1 Graph
-
10
Authors:
Contributors:
Subject Terms: and Protection, Cryptographic controls General Terms Algorithms. Keywords Polynomial systems solving, Gröbner bases, Gaussian Elimination, High Performance Linear Algebra, Cryptography, Multi-core Programming
File Description: application/pdf
Nájsť tento článok vo Web of Science