Výsledky vyhledávání - ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION*
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: MTNS 2022 - 25th International Symposium on Mathematical Theory of Networks and Systems ; https://inria.hal.science/hal-03908541 ; MTNS 2022 - 25th International Symposium on Mathematical Theory of Networks and Systems, Sep 2022, Bayreuth, Germany. ⟨10.1016/j.ifacol.2022.11.054⟩
Témata: Rings of integro-differential operators, Parametrization, Behaviour theory, Reachability, Algebraic analysis, Polynomial methods, Linear systems, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.2: Integro-differential equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA]
-
2
Autoři: a další
Přispěvatelé: a další
Zdroj: Accounting for Constraints in Delay Systems, Advances in Delays and Dynamics (ADD), volume 12, Springer, pp. 87-107 ; https://inria.hal.science/hal-03908643 ; Accounting for Constraints in Delay Systems, Advances in Delays and Dynamics (ADD), volume 12, Springer, pp. 87-107, ADD-2, Springer, pp. 87-107, 2022, Advances in Delays and Dynamics, 978-3-030-89014-8. ⟨10.1007/978-3-030-89014-8_5⟩
Témata: ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.0: Delay equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: ACM Transactions on Design Automation of Electronic Systems. 22:1-25
Témata: ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.1: Models of Computation, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Scheduling, Latency, Dataflow graphs, 0202 electrical engineering, electronic engineering, information engineering, Symbolic analysis, 02 engineering and technology, Throughput, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL]
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: SSSC 2022 - 8th IFAC Symposium on System Structure and Control ; https://inria.hal.science/hal-03908688 ; SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montréal, Canada
Témata: Formal integrability, Koszul homology, Spencer cohomology, Cartan's involutivity, Behaviours, Multidimensional systems, Systems of partial differential equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [SPI.AUTO]Engineering Sciences [physics]/Automatic
Geografické téma: Montréal
Time: Montréal, Canada
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: SSSC 2022 - 8th IFAC Symposium on System Structure and Control ; https://inria.hal.science/hal-03908561 ; SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montréal, Canada. ⟨10.1016/j.ifacol.2022.11.301⟩
Témata: Linear systems, Systems with time-delays, Polynomial methods, Delay compensation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.7: Ordinary Differential Equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.0: Delay equations, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.2: Integro-differential equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Geografické téma: Montréal
Time: Montréal, Canada
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: SSSC 2022 - 8th IFAC Symposium on System Structure and Control ; https://inria.hal.science/hal-03908550 ; SSSC 2022 - 8th IFAC Symposium on System Structure and Control, Sep 2022, Montreal, Canada. ⟨10.1016/j.ifacol.2022.11.299⟩
Témata: Linear systems, Continuous-time linear state-space models, Polynomial methods, Algebraic analysis, Rings of integro-differential operators, System equivalence, Behaviours, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.9: Integral Equations/G.1.9.2: Integro-differential equations, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [SPI.AUTO]Engineering Sciences [physics]/Automatic, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Geografické téma: Montreal
Time: Montreal, Canada
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-04223439 ; ACM; ACM, 2023, 979-8-4007-0039-2. ⟨10.1145/3597066⟩.
-
8
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC'15 - 40th International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-01152751 ; ISSAC'15 - 40th International Symposium on Symbolic and Algebraic Computation, Jul 2015, Bath, United Kingdom. pp.37-44, ⟨10.1145/2755996.2756670⟩
Témata: Real solutions, Polynomial systems, Real Geometry General Terms Algorithms, Theory, Real dimension, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geografické téma: Bath, United Kingdom
-
9
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-01787423 ; ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209018⟩
Témata: Solving Polynomial System, Toric variety, Mixed Sparse Gröbner Basis, Sparse Polynomial System, Multihomogeneous Polynomial System, Gröbner Basis, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.1: Expressions and Their Representation/I.1.1.0: Representations (general and polynomial), ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geografické téma: New York, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1805.03577; ARXIV: 1805.03577
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0747-7171.
Témata: Section in invariant theory, Symmetry, Polynomial systems, Rational invariants, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation ; ISSAC '16 ; https://hal.science/hal-01366386 ; ISSAC '16, Sergei A. Abramov; Eugene V. Zima, Jul 2016, Waterloo, Canada. pp.341-348, ⟨10.1145/2930889.2930931⟩ ; http://www.issac-symposium.org/2016
Témata: resultant, power series, half-GCD, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geografické téma: Waterloo
Time: Waterloo, Canada
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1609.04259; ARXIV: 1609.04259
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-01788619 ; ISSAC 2018 - International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. pp.1-8, ⟨10.1145/3208976.3208992⟩ ; http://www.issac-symposium.org/2018/
Témata: ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geografické téma: New York, United States
-
13
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-01787549 ; ISSAC 2018 - 43rd International Symposium on Symbolic and Algebraic Computation, Jul 2018, New York, United States. ⟨10.1145/3208976.3209011⟩
Témata: Polynomial solving, Determinantal formula, Bilinear system, Resultant, Mixed Multihomogeneous system, Sparse Resultant, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geografické téma: New York, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1805.05060; ARXIV: 1805.05060
-
14
Autoři: a další
Přispěvatelé: a další
Zdroj: Journal of Complexity. 29:53-75
Témata: Statistics and Probability, Computer Science - Symbolic Computation, FOS: Computer and information sciences, I.1.2, D.4.6, Control and Optimization, Computer Science - Cryptography and Security, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, 0102 computer and information sciences, Symbolic Computation (cs.SC), 68W40, 13P10, 13P15, 94A60, 01 natural sciences, 13P15, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], 0101 mathematics, ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.6: Security and Protection/D.4.6.2: Cryptographic controls, 13P10, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Numerical Analysis, Algebra and Number Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Applied Mathematics, MSC10: 68W40, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.1: Analysis of algorithms, 94A60, Cryptography and Security (cs.CR)
Přístupová URL adresa: http://arxiv.org/abs/1112.6263
https://inria.hal.science/hal-00655745v1
https://doi.org/10.1016/j.jco.2012.07.001
https://dblp.uni-trier.de/db/journals/corr/corr1112.html#abs-1112-6263
https://www.sciencedirect.com/science/article/abs/pii/S0885064X12000611
https://www.pjspaenlehauer.net/data/papers/BarFauSalSpa11.pdf
https://hal.inria.fr/hal-00655745
http://dblp.uni-trier.de/db/journals/corr/corr1112.html#abs-1112-6263
https://www.sciencedirect.com/science/article/pii/S0885064X12000611#!
http://ui.adsabs.harvard.edu/abs/2011arXiv1112.6263B/abstract
https://arxiv.org/abs/1112.6263
https://arxiv.org/pdf/1112.6263.pdf -
15
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-00815174 ; ISSAC 2013 - International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States
Témata: complexity, effective real algebraic geometry, linear matrix inequality, rational sum of squares, semidefinite programming, convexity, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geografické téma: Boston, United States
Time: Boston, United States
-
16
Autoři: a další
Přispěvatelé: a další
Zdroj: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y TécnicasTémata: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, Polynomial optimization, DEGREE OF VARIETIES, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, POLYNOMIAL OPTIMIZATION, INTRINSIC COMPLEXITY, Symbolic Computation (cs.SC), 01 natural sciences, Intrinsic complexity, 0101 mathematics, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION
Popis souboru: application/pdf
Přístupová URL adresa: http://arxiv.org/abs/1304.5214
https://notablesdelaciencia.conicet.gov.ar/handle/11336/84333
https://ri.conicet.gov.ar/handle/11336/84333
http://www2.mathematik.hu-berlin.de/publ/pre/2013/P-13-07.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1304.html#abs-1304-5214
https://www.sciencedirect.com/science/article/pii/S0885064X1400020X
https://hal.archives-ouvertes.fr/hal-00815123
http://hdl.handle.net/11336/84333 -
17
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0022-2526.
Témata: Hankel Matrices, Cubatures, Gaussian Quadrature, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.4: Quadrature and Numerical Differentiation, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
-
18
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC 2015 ; https://hal.science/hal-01164471 ; ISSAC 2015, Jul 2015, Bath, United Kingdom. pp.69-76, ⟨10.1145/2755996.2756674⟩ ; http://www.issac-conference.org/2015/
Témata: p-curvature, differential equations, complexity, Algorithms, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.0: Algebraic algorithms, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms/I.1.2.1: Analysis of algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geografické téma: Bath, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1506.05645; ARXIV: 1506.05645
-
19
Autoři: a další
Přispěvatelé: a další
Zdroj: Journal of Symbolic Computation. 44:1608-1625
Témata: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Algebra and Number Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-IT]Mathematics [math]/Information Theory [math.IT], 02 engineering and technology, Gröbner bases, 01 natural sciences, Quadratic residue codes, [MATH.MATH-IT] Mathematics [math]/Information Theory [math.IT], Computational Mathematics, Elimination theory, [INFO.INFO-IT]Computer Science [cs]/Information Theory [cs.IT], 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-IT] Computer Science [cs]/Information Theory [cs.IT], 0101 mathematics, Cyclic codes, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, F4 algorithm
Popis souboru: application/pdf
Přístupová URL adresa: https://inria.hal.science/inria-00509219v1
https://doi.org/10.1016/j.jsc.2008.02.006
https://inria.hal.science/inria-00509219v1/document
https://hal.inria.fr/inria-00509219
https://hal.inria.fr/inria-00509219/document
https://dialnet.unirioja.es/servlet/articulo?codigo=3057404
https://www.sciencedirect.com/science/article/pii/S0747717108001764
https://dblp.uni-trier.de/db/journals/jsc/jsc44.html#AugotBF09
http://www-polsys.lip6.fr/~jcf/Papers/jsc_ABF09.pdf -
20
Autoři: a další
Přispěvatelé: a další
Zdroj: https://inria.hal.science/hal-03479643 ; [Research Report] RR-9438, Sobonne Université, IMJ - PRG, Inria Paris; Inria Lille - Nord Europe; Laboratoire d'Analyse des Signaux et Processus Industriels. 2021, pp.57.
Témata: Vibration analysis, Polynomial systems, Rank factorization problem, Centrohermitian matrix, Module theory, Homological algebra, Demodulation problems, Gearbox fault detection/surveillance, Analyse vibratoire, Détection et surveillance des défauts d'engrenages, Problèmes de démodulation, Algèbre homologique, Théorie des modules, Matrice centrohermitiennes, Factorisation relative au rang, Systèmes polynomiaux, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]
Nájsť tento článok vo Web of Science 
Full Text Finder