Suchergebnisse - Computing methodologies → Symbolic and algebraic algorithms
-
1
Autoren: et al.
Weitere Verfasser: et al.
Schlagwörter: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Computing methodologies → Modeling methodologies Keywords and phrases Hybrid Systems, Symbolic Regression, System Identification, Computing methodologies → Symbolic and algebraic algorithms, Computer systems organization → Embedded and cyber-physical systems, Computing methodologies → Learning paradigms, Hybrid Systems
Dateibeschreibung: application/pdf
-
2
Autoren:
Weitere Verfasser:
Quelle: Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation. :402-409
Schlagwörter: Macaulay matrix, Symmetry, Vandermonde matrix, Representation Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Computing methodologies → Symbolic and algebraic algorithms, 0101 mathematics, 16. Peace & justice, Group Action, 01 natural sciences, H-basis
Dateibeschreibung: application/pdf
Zugangs-URL: https://hal.inria.fr/hal-02482098v2/file/ideal_interpolation.pdf
https://inria.hal.science/hal-02482098v2/document
https://doi.org/10.1145/3373207.3404057
https://inria.hal.science/hal-02482098v2
https://hal.inria.fr/hal-02482098/document
https://dblp.uni-trier.de/db/conf/issac/issac2020.html#BazanH20
https://dl.acm.org/doi/pdf/10.1145/3373207.3404057
https://doi.org/10.1145/3373207.3404057
https://hal.inria.fr/hal-02482098 -
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation. :106-113
Schlagwörter: 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
Dateibeschreibung: application/pdf
Zugangs-URL: 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 -
4
Autoren: Errahmouni Barkam, Hamza
Schlagwörter: 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
Dateibeschreibung: application/pdf
-
5
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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]
-
6
Autoren:
Weitere Verfasser:
Quelle: Proceedings of the 2007 international symposium on Symbolic and algebraic computation. :33-40
Schlagwörter: 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
Dateibeschreibung: application/pdf
Zugangs-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 -
7
Autoren:
Weitere Verfasser:
Quelle: Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation. :257-264
Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Algebraic algorithms, Symbolic Computation (cs.SC), 0101 mathematics, 01 natural sciences, Computing methodologies
Dateibeschreibung: application/pdf
Zugangs-URL: https://hal.inria.fr/hal-03232068v2/file/real-
algebraic -dimension.pdf
http://arxiv.org/abs/2105.10255
https://inria.hal.science/hal-03232068v2
https://doi.org/10.1145/3452143.3465551
https://inria.hal.science/hal-03232068v2/document
https://dblp.uni-trier.de/db/journals/corr/corr2105.html#abs-2105-10255
http://arxiv.org/pdf/2105.10255.pdf
https://arxiv.org/abs/2105.10255
https://ui.adsabs.harvard.edu/abs/2021arXiv210510255L/abstract -
8
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (ISSAC)
Proceedings of the 2023 International Symposium on Symbolic and Algebraic ComputationSchlagwörter: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Numerical and computational mathematics, Algebraic algorithms, Pure mathematics, Mathematical sciences, Applied mathematics, Computing methodologies, Number theory algorithms, Logic in Computer Science (cs.LO)
-
9
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Maple Transactions. 4
Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Algebra, Control theory, Algebraic algorithms, [MATH] Mathematics [math], [INFO] Computer Science [cs], Symbolic Computation (cs.SC), Computing methodologies, $L^{\infty}$-norm computation, Polynomial systems
Dateibeschreibung: application/pdf
-
10
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Journal of Symbolic Computation. 102:132-152
Schlagwörter: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], p-adic precision, Symbolic Computation (cs.SC), Mathematics - Commutative Algebra, Commutative Algebra (math.AC), 01 natural sciences, CCS CONCEPTS, Tropical geometry, KEYWORDS, • Computing methodologies → Algebraic algorithms, FOS: Mathematics, precision, Gröbner bases, F5 algorithm, 0101 mathematics, p-adic, Algorithms
Zugangs-URL: https://hal.archives-ouvertes.fr/hal-01792165/file/F5Trop_Affinev2.pdf
http://arxiv.org/abs/1805.06183
http://ui.adsabs.harvard.edu/abs/2018arXiv180506183V/abstract
https://hal.archives-ouvertes.fr/hal-01792165/document
https://dblp.uni-trier.de/db/journals/corr/corr1805.html#abs-1805-06183
https://dl.acm.org/doi/10.1145/3208976.3209012
https://hal.archives-ouvertes.fr/hal-01792165
https://arxiv.org/pdf/1805.06183.pdf
https://arxiv.org/abs/1805.06183
https://www.sciencedirect.com/science/article/pii/S0747717119301208
https://hal.archives-ouvertes.fr/hal-02929634v2
https://hal.archives-ouvertes.fr/hal-02929634/document
https://dblp.uni-trier.de/db/journals/jsc/jsc102.html#VacconVY21
https://www.archives-ouvertes.fr/hal-02929634v1 -
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 47th International Symposium on Mathematical Foundations of Computer Science
Leibniz International Proceedings in InformaticsSchlagwörter: Exponential Diophantine Equations, Sieve Methods, Symbolic and algebraic algorithms, ddc:004, Linear Recurrence Sequences, Skolem Problem, Computing methodologies, Number theory algorithms
Dateibeschreibung: application/pdf
-
12
Autoren: et al.
Quelle: Journal of the ACM; Apr2024, Vol. 71 Issue 2, p1-79, 79p
Schlagwörter: MATRIX multiplications, POWER series, POLYNOMIALS, EXPONENTS, SYMBOLIC computation
-
13
Autoren:
Weitere Verfasser:
Quelle: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation. :517-525
Schlagwörter: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Mathematics - Number Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], Symbolic Computation (cs.SC), Mathematics - Algebraic Geometry, Tropical Geometry, FOS: Mathematics, Universal Gröbner basis, Gröbner bases, Number Theory (math.NT), Tate algebra, Algebraic Geometry (math.AG), Algorithms, [MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]
Dateibeschreibung: application/pdf
-
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis. :1-7
Schlagwörter: 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)
Dateibeschreibung: application/pdf
-
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation ; https://hal.inria.fr/hal-03232068 ; ISSAC 2021 - 46th International Symposium on Symbolic and Algebraic Computation, Jul 2021, Saint-Pétersbourg, Russia ; https://issac-conference.org/2021/
Schlagwörter: Computing methodologies, Algebraic algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geographisches Schlagwort: Saint-Pétersbourg, Russia
Relation: info:eu-repo/grantAgreement//813211/EU/Polynomial Optimization, Efficiency through Moments and Algebra/POEMA; hal-03232068; https://hal.inria.fr/hal-03232068; https://hal.inria.fr/hal-03232068/document; https://hal.inria.fr/hal-03232068/file/real-algebraic-dimension.pdf
Verfügbarkeit: https://hal.inria.fr/hal-03232068
https://hal.inria.fr/hal-03232068/document
https://hal.inria.fr/hal-03232068/file/real-algebraic-dimension.pdf -
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-04510822 ; 2025.
Schlagwörter: Algebraic algorithms, Gröbner bases, Tate algebra, Laurent polynomials, Tropical analytic geometry, Algorithms, CCS CONCEPTS Computing methodologies → Algebraic algorithms Algorithms Gröbner bases Tate algebra Laurent polynomials Tropical analytic geometry, CCS CONCEPTS, Computing methodologies → Algebraic algorithms Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2403.13382; ARXIV: 2403.13382
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSAC '20: International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-02928709 ; ISSAC '20: International Symposium on Symbolic and Algebraic Computation, Jul 2020, Kalamata, Greece. pp.257-264, ⟨10.1145/3373207.3404037⟩
Schlagwörter: p-adic precision, FGLM algorithm, Tropical Geometry, Gröbner bases, CCS CONCEPTS • Computing methodologies → Algebraic algorithms KEYWORDS Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2009.02067; ARXIV: 2009.02067
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: http://arxiv.org/pdf/1301.5414.pdf.
Schlagwörter: I.1.2 [Computing Methodologies, Symbolic and Alge- braic Manipulations — Algebraic Algorithms General Terms, Algorithms, Theory. Keywords, Danilevski-Barkatou-Zürcher algorithm, gauge equivalence, uncoupling, cyclic-vector method, complexity
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.766.5496; http://arxiv.org/pdf/1301.5414.pdf
-
19
Autoren:
Weitere Verfasser:
Schlagwörter: I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation – Algebraic Algorithms General Terms, Algorithms, Theory Keywords, complexity, differential equations, polynomial
Dateibeschreibung: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.607; http://algo.inria.fr/bostan/publications/BoSc09b.pdf
-
20
Autoren:
Weitere Verfasser:
Schlagwörter: Categories and Subject Descriptors, I.1.2 [Computing Methodologies, Symbolic and Algebraic Manipulation – Algebraic Algorithms General Terms, Algorithms, Theory Keywords, complexity, differential equations, polynomial
Dateibeschreibung: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder