Search Results - ACM: I.1.2 [Symbolic and Algebraic Manipulation]: Algorithms - Algebraic algorithms
-
1
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-00021456 ; 2006.
Subject Terms: Sparse integer matrix, linear system solving, structured matrix, ACM: I.1.2 [Symbolic and Algebraic Manipulation]: Algorithms - Algebraic algorithms, analysis of algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs.SC/0603082; ARXIV: cs.SC/0603082
-
2
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]
-
3
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors F.2.2 [Analysis of Algorithms and Problem Complexity, Nonnumerical Algorithms and Problems--computations on discrete structures, I.1.2 [Symbolic and Algebraic Manipulation, Algorithms--algebraic algorithms, G.2 [Mathematics and Computing, Discrete Mathematics General Terms Algorithms Keywords Near-rings, Non-linear transformations, Groups
File Description: application/postscript
-
4
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 -
5
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, F.1.1 [Computation by abstract devices, Circuits, I.1.2 [Symbolic and algebraic manipulation, Algebraic Algorithms, G.2.1 [Discrete mathematics, Combinatorics General Terms, Algorithms, Theory Additional Key Words and Phrases, Chinese remaindering, combinatorial design, depth-3 circuit, ideal the- ory, identities, incidence geometry, Sylvester-Gallai ACM Reference Format
File Description: application/pdf
-
6
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
-
7
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
-
8
Authors: et al.
Contributors: et al.
-
9
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, I.1.2 [Symbolic and Algebraic Manipulation, Algebraic algorithms General Terms, Algorithms, Experimentation Keywords, Rubik’s cube, upper bound, permutation groups, fast multiplication, disk-based
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.66.2413; http://www.ccs.neu.edu/home/gene/papers/rubik.pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subjects Descriptors, I.1.2 [Symbolic and Algebraic Manipulation, Algorithms, F.2.1 [Analysis of Algorithms and Problem Complexity, Numerical Algorithms and Problems. General Terms, Theory. Keywords, Puiseux Series, Algebraic Functions, Modular Methods, Finite Fields, Complexity, Symbolic-Numeric Algorithms
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.5684; http://www.lifl.fr/~poteaux/fichiers/puiseux_issac08.pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, I.1.2 [Symbolic and Algebraic Manipulation, Algorithms General Terms, Algorithms, Experimentation, Theory Keywords, Computer algebra, polynomial and rational solutions, linear recurrences
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.3722; http://perso.ensil.unilim.fr/~cluzeau/BCCS.pdf
-
12
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
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, I.1.2 [Symbolic and Algebraic Manipulation, Algorithms General Terms, Algorithms, Experimentation, Theory Keywords, Computer algebra, algebraic series, differential resolvents
File Description: application/pdf
-
14
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
-
15
Authors: et al.
Contributors: et al.
Subject Terms: I.1.2 [Symbolic and Algebraic Manipulation, Algorithms General Terms Algorithms, Theory Keywords Simplification Power Series
File Description: application/pdf
-
16
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, F.1.1 [Computation by Abstract Devices, Models of Computation, F.2.1 [Analysis of Algorithms and Problem Complexity, Numerical Algorithms and Problems—Computations on polynomials, I.1.2 [Symbolic and Algebraic Manipulation, Algorithms General Terms, Algorithms, Theory Additional Key Words and Phrases, algebraic complexity, bilinear circuits, cyclic convolution, Fast Fourier Transform, lower bounds, polynomial multiplication, singular values, rigidity
File Description: application/pdf
-
17
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, F.1.1 [Computation by Abstract Devices, Models of Computation, F.2.1 [Analysis of Algorithms and Problem Complexity, Numerical Algorithms and Problems, I.1.2 [Symbolic and Algebraic Manipulation, Algorithms General Terms, Algorithms, Theory Additional Key Words and Phrases, algebraic complexity, bilinear circuits, lower bounds, singular
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.6162; http://arxiv.org/pdf/cs/0301016v1.pdf
-
18
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, I.1.2 [Symbolic and Algebraic Manipulation, Algorithms General Terms, Algorithms, Experimentation, Theory Keywords, Computer algebra, polynomial and rational solutions, linear recurrences
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.99.5019; http://algo.inria.fr/bostan/publications/BoChClSa06.pdf
-
19
Authors: Kauers, Manuel
Source: ACM Transactions on Algorithms; 2007, Vol. 3 Issue 2, p1-14, 14p
-
20
Authors:
Source: ACM Transactions on Algorithms; 2012, Vol. 8 Issue 3, p1-19, 19p
Nájsť tento článok vo Web of Science 
Full Text Finder