Suchergebnisse - "acm: i.: computing methodologies/i.1: symbolic AND algebraic manipulation/i.1.2: algorithms*"
-
1
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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
Schlagwörter: 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
Geographisches Schlagwort: Montréal
Time: Montréal, Canada
-
3
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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]
Geographisches Schlagwort: Montréal
Time: Montréal, Canada
-
4
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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]
-
5
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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]
Geographisches Schlagwort: Montreal
Time: Montreal, Canada
-
6
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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]
Geographisches Schlagwort: New York, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1805.05060; ARXIV: 1805.05060
-
7
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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]
Geographisches Schlagwort: New York, United States
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1805.03577; ARXIV: 1805.03577
-
8
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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/
Schlagwörter: ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Geographisches Schlagwort: New York, United States
-
9
Autoren: et al.
Weitere Verfasser: et al.
Quelle: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y TécnicasSchlagwörter: [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
Dateibeschreibung: application/pdf
Zugangs-URL: 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 -
10
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Journal of Complexity. 29:53-75
Schlagwörter: 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)
Zugangs-URL: 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 -
11
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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/
Schlagwörter: 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]
Geographisches Schlagwort: Bath, United Kingdom
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1506.05645; ARXIV: 1506.05645
-
12
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-01525560 ; ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Mohab Safey El Din, Jul 2017, Kaiserslautern, Germany. pp.8, ⟨10.1145/3087604.3087646⟩
Schlagwörter: mixed discriminant, separation bounds, solving, polynomial system, tensor-product, Koszul resultant matrix, 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], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation, [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
Geographisches Schlagwort: Kaiserslautern, Germany
-
13
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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
Schlagwörter: 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]
Geographisches Schlagwort: Waterloo
Time: Waterloo, Canada
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1609.04259; ARXIV: 1609.04259
-
14
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC) ; https://inria.hal.science/hal-01242700 ; Int. W. on Principles and Practice of Consistency for Distributed Data (PaPoC), ACM Sigops / EuroSys, Apr 2016, London, United Kingdom. pp.7, ⟨10.1145/2911151.2911157⟩ ; http://www2.ucsc.edu/papoc-2016/
Schlagwörter: CRDTs, eventual consistency, replicated data types, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.4: Distributed Systems, ACM: F.: Theory of Computation/F.1: COMPUTATION BY ABSTRACT DEVICES/F.1.2: Modes of Computation/F.1.2.3: Parallelism and concurrency, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]
Geographisches Schlagwort: London, United Kingdom
Relation: info:eu-repo/grantAgreement/EC/FP7/609551/EU/Large-scale computation without synchronisation/SYNCFREE
Verfügbarkeit: https://inria.hal.science/hal-01242700
https://inria.hal.science/hal-01242700v1/document
https://inria.hal.science/hal-01242700v1/file/mvreg_arXiv.pdf
https://inria.hal.science/hal-01242700v1/file/bug-run%20%281%29.pdf
https://inria.hal.science/hal-01242700v1/file/bug-run.pdf
https://inria.hal.science/hal-01242700v1/file/lww-run.pdf
https://inria.hal.science/hal-01242700v1/file/lww-run2%20%281%29.pdf
https://inria.hal.science/hal-01242700v1/file/lww-run2.pdf
https://doi.org/10.1145/2911151.2911157 -
15
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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
Schlagwörter: 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]
Geographisches Schlagwort: Boston, United States
Time: Boston, United States
-
16
Autoren: et al.
Weitere Verfasser: et al.
Quelle: ACM-SIAM Symposium on Discrete Algorithms ; https://inria.hal.science/hal-01091949 ; ACM-SIAM Symposium on Discrete Algorithms, Jan 2015, San Diego, United States ; http://www.siam.org/meetings/da15/
Schlagwörter: transpositions, zigzag persistence, reflections, persistent homology, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.5: Computational Geometry and Object Modeling, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]
Geographisches Schlagwort: San Diego, United States
Relation: info:eu-repo/grantAgreement//339025/EU/Algorithmic Foundations of Geometry Understanding in Higher Dimensions/GUDHI
-
17
Autoren: et al.
Weitere Verfasser: et al.
Quelle: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis ; https://inria.hal.science/hal-01245837 ; Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, Nov 2015, Austin, Texas, United States. ⟨10.1145/2807591.2807651⟩
Schlagwörter: Work efficient, Depth-first search, Parallel, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geographisches Schlagwort: Austin, Texas, United States
Relation: info:eu-repo/grantAgreement/EC/FP7/308246/EU/Parallelism and Beyond: Dynamic Parallel Computation for Efficiency and High Performance/DEEPSEA
-
18
Autoren: et al.
Weitere Verfasser: et al.
Quelle: 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⟩
Schlagwörter: 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]
Geographisches Schlagwort: Bath, United Kingdom
-
19
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-01702547 ; 2018.
Schlagwörter: MSC: 68W30, 13P10, 12Y05, 68W40, 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], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS], [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA]
-
20
Autoren: et al.
Weitere Verfasser: et al.
Quelle: https://hal.science/hal-01773137 ; 2018.
Schlagwörter: creative telescoping, holonomic function, Hermite reduction, residues, MSC 33F10, 68W30, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [MATH.MATH-CO]Mathematics [math]/Combinatorics [math.CO], [MATH.MATH-OA]Mathematics [math]/Operator Algebras [math.OA], [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Nájsť tento článok vo Web of Science 
Full Text Finder