Výsledky vyhledávání - complexity. 68W30 Symbolic computation AND algebraic computation~
-
1
Autoři: a další
Přispěvatelé: a další
Zdroj: SIAM Journal on Optimization. 24:1313-1343
Témata: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Computer Science - Symbolic Computation, FOS: Computer and information sciences, polynomial system solving, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 90C26 Nonconvex programming, [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], Symbolic Computation (cs.SC), global optimization. 13P25 Applications of commutative algebra. 14Q20 Effectivity, 01 natural sciences, Optimization and Control (math.OC), complexity. 68W30 Symbolic computation and algebraic computation, polynomial optimization, FOS: Mathematics, Global optimization, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], 0101 mathematics, real solutions, Mathematics - Optimization and Control
Popis souboru: application/pdf
-
2
-
3
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-04439518 ; 2024.
Témata: Roadmaps, Algorithm, Complexity, Computational real algebraic geometry, Real algebraic sets, Critical points, MSC2020 : 14Q20, 14Q30, 14P05, 68W30, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2402.03111; ARXIV: 2402.03111
-
4
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSN: 0179-5376.
Témata: Mathematics Subject Classification (2010) 14P25 - 68W30 - 13P15 - 14Q05 - 68Q25, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1807.10622; ARXIV: 1807.10622
-
5
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-01773137 ; 2018.
Témata: 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]
-
6
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC 2016 ; https://hal.science/hal-01321043 ; ISSAC 2016, Jul 2016, Waterloo, ON, Canada. pp.111-118, ⟨10.1145/2930889.2930897⟩ ; http://www.issac-conference.org/2016/
Témata: p-curvature, algebraic complexity, differential equations, 11Y16, 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-NT]Mathematics [math]/Number Theory [math.NT]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1605.06126; ARXIV: 1605.06126
-
7
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-01702547 ; 2018.
Témata: 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]
-
8
Autoři:
Přispěvatelé:
Zdroj: ISSN: 1016-3328.
Témata: symbolic computation, complexity, semialgebraic set, quadratic map, univariate representation, infinitesimal deformation. Subject classification. 68W30, 13P10, 14Q20, 14Pxx, [MATH]Mathematics [math]
Relation: hal-03047048; https://hal.science/hal-03047048; https://hal.science/hal-03047048/document; https://hal.science/hal-03047048/file/quadric_cc%5B1%5D.pdf
-
9
Autoři: a další
Resource Type: eBook.
-
10
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.inria.fr/hal-01891417 ; 2018.
Témata: Mathematics Subject Classification (2010) 14P25 - 68W30 - 13P15 - 14Q05 - 68Q25, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1807.10622; hal-01891417; https://hal.inria.fr/hal-01891417; ARXIV: 1807.10622
Dostupnost: https://hal.inria.fr/hal-01891417
-
11
Autoři: a další
Přispěvatelé: a další
Zdroj: https://hal.science/hal-00564448 ; 2011.
Témata: Approximate greatest common divisor, Approximate geometry, Symbolic-numeric computation, Structured matrices, 14Q20, 13P05, 68W25, 68W30, G0, G1.2, G1.3, I.1.2, [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
-
12
Autoři: a další
Přispěvatelé: a další
Zdroj: ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation ; ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation ; https://hal.science/hal-00780431 ; ISSAC 2013 - 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, United States. pp.355-362, ⟨10.1145/2465506.2465526⟩
Témata: complexity, TFT, symmetric polynomial, FFT, MSC 42-02, 68W25, 42B99, 30B10, 68W30, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Geografické téma: Boston, United States
Time: Boston, United States
-
13
Autoři: Emiris, Ioannis Z.
Témata: Computer Science - Symbolic Computation, G.4, FOS: Computer and information sciences, 13P15 Solving polynomial systems, resultants (Primary), 68W30 Symbolic computation and algebraic computation (secondary), I.1, 02 engineering and technology, Numerical Analysis (math.NA), Symbolic Computation (cs.SC), Mathematics - Commutative Algebra, Commutative Algebra (math.AC), 01 natural sciences, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Mathematics - Numerical Analysis, F.2.1, 0101 mathematics
Přístupová URL adresa: http://arxiv.org/abs/1201.5810
-
14
Autoři:
Přispěvatelé:
Zdroj: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation. :119-126
Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Mathematics - Number Theory, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], algebraic complexity, 0102 computer and information sciences, algebraic series, Symbolic Computation (cs.SC), diagonals, 01 natural sciences, I.1.2, $p$-rational series, FOS: Mathematics, Mahler equations, Number Theory (math.NT), finite fields, 0101 mathematics, 11Y16, 68W30, 13F25, 11B85, section operators, [MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]
Přístupová URL adresa: http://arxiv.org/pdf/1602.00545
http://arxiv.org/abs/1602.00545
https://www.arxiv.org/abs/1602.00545
https://arxiv.org/pdf/1602.00545
https://128.84.21.199/abs/1602.00545
http://ui.adsabs.harvard.edu/abs/2016arXiv160200545B/abstract
https://dblp.uni-trier.de/db/conf/issac/issac2016.html#BostanCD16
https://hal.inria.fr/hal-01389421
https://dl.acm.org/citation.cfm?id=2930904
https://www.arxiv-vanity.com/papers/1602.00545/
https://dl.acm.org/doi/10.1145/2930889.2930904 -
15
Autoři:
Přispěvatelé:
Zdroj: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation. :139-148
Témata: Descartes solver, Computer Science - Symbolic Computation, FOS: Computer and information sciences, [MATH.MATH-PR] Mathematics [math]/Probability [math.PR], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Probability (math.PR), [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], Average complexity, Computational Complexity (cs.CC), Symbolic Computation (cs.SC), Univariate polynomials, Beyond worst-case analysis, 01 natural sciences, Root-finding, Computer Science - Computational Complexity, Mathematics - Algebraic Geometry, 65H04, 14Q20, 68W30, FOS: Mathematics, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Condition-based complexity, 0101 mathematics, Algebraic Geometry (math.AG), Mathematics - Probability
Popis souboru: application/pdf
-
16
Autoři:
Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :65-73
Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, I.1.2, F.2.1, 39A06, 33F10, 68W30, 40C15, 11Y50, FOS: Mathematics, Mathematics - Combinatorics, Combinatorics (math.CO), Symbolic Computation (cs.SC), Mathematics - Commutative Algebra, Commutative Algebra (math.AC)
Přístupová URL adresa: http://arxiv.org/abs/2402.07328
-
17
Autoři: a další
Zdroj: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y TécnicasTémata: symbolic Newton algorithm, SYMBOLIC NEWTON ALGORITHM, EQUIDIMENSIONAL DECOMPOSITION OF ALGEBRAIC VARIETIES, Analysis of algorithms and problem complexity, 14Q15, 68W30, 0102 computer and information sciences, Symbolic computation and algebraic computation, sparse resultant, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), OVERDETERMINED POLYNOMIAL EQUATION SYSTEM, 01 natural sciences, overdetermined polynomial equation system, Mathematics - Algebraic Geometry, Computational aspects of higher-dimensional varieties, FOS: Mathematics, CHOW FORM, SPARSE RESULTANT, 0101 mathematics, Algebraic Geometry (math.AG), equidimensional decomposition of algebraic variety
Popis souboru: application/xml; application/pdf
Přístupová URL adresa: http://arxiv.org/pdf/math/0210009
http://arxiv.org/abs/math/0210009
https://dblp.uni-trier.de/db/journals/focm/focm4.html#JeronimoKSS04
http://mate.dm.uba.ar/~jeronimo/papers/JKSS04.pdf
https://link.springer.com/content/pdf/10.1007%2Fs10208-002-0078-2.pdf
https://link.springer.com/article/10.1007/s10208-002-0078-2
http://hdl.handle.net/11336/155135 -
18
Autoři: a další
Přispěvatelé: a další
Zdroj: Journal of Symbolic Computation. 36:473-499
Témata: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Straight-line program, straight-line program, Algebra and Number Theory, probalistic algorithm, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 68W30, 0102 computer and information sciences, Gröbner bases, other bases for ideals and modules (e.g., Janet and border bases), Differential algebra, Symbolic computation and algebraic computation, Discrete invariants, 01 natural sciences, Probabilistic algorithm, Computational Mathematics, Seminumerical algorithm, Kähler differentials, Differential rational mapping, discrete invariants, 12H05, 13N10, 0101 mathematics, Differential Hilbert function
Popis souboru: application/xml; application/pdf
Přístupová URL adresa: https://zbmath.org/2093526
https://doi.org/10.1016/s0747-7171(03)00091-9
https://hal.science/hal-00129198v1/document
https://doi.org/10.1016/s0747-7171(03)00091-9
https://hal.science/hal-00129198v1
https://hal.inria.fr/hal-00129198
https://www.sciencedirect.com/science/article/pii/S0747717103000919
https://dblp.uni-trier.de/db/journals/jsc/jsc36.html#MateraS03
https://hal.archives-ouvertes.fr/hal-00129198/document
http://www.lifl.fr/~sedoglav/Load/MateraSedoglavic2003a.pdf
https://hal.archives-ouvertes.fr/hal-00129198 -
19
Autoři:
Zdroj: England, M, Bradford, R & Davenport, J H 2015, ' Improving the use of equational constraints in cylindrical algebraic decomposition ' Paper presented at ISSAC '15-2015 ACM on International Symposium on Symbolic and Algebraic Computation, Bath, UK United Kingdom, 6/07/15-9/07/15, pp. 165-172 . https://doi.org/10.1145/2755996.2756678
Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Algebra, equational constraint, 0102 computer and information sciences, Symbolic Computation (cs.SC), 0101 mathematics, 01 natural sciences, symbolic computation, 68W30, 03C10, 6. Clean water, Cylindrical Algebraic Decomposition, I.1.2
Popis souboru: application/pdf
Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/2755996.2756678?download=true
http://arxiv.org/abs/1501.04466
https://researchportal.bath.ac.uk/en/publications/improving-the-use-of-equational-constraints-in-cylindrical-algebr
https://www.issac-conference.org/2015/Slides/England.pdf
https://dblp.uni-trier.de/db/journals/corr/corr1501.html#EnglandBD15
https://dl.acm.org/doi/10.1145/2755996.2756678
https://dl.acm.org/doi/pdf/10.1145/2755996.2756678
https://pureportal.coventry.ac.uk/en/publications/improving-the-use-of-equational-constraints-in-cylindrical-algebr-2
https://arxiv.org/abs/1501.04466
http://export.arxiv.org/pdf/1501.04466
https://arxiv.org/pdf/1501.04466
https://purehost.bath.ac.uk/ws/files/126985383/EBD15.pdf -
20
Autoři: a další
Zdroj: Foundations of Computational Mathematics. 3:347-420
Témata: Data structures, 14Q15, 68Q25, 68W30, continuous encoding, polynomial equations, 0102 computer and information sciences, Symbolic computation and algebraic computation, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), 01 natural sciences, Mathematics - Algebraic Geometry, elimination, data stuctures, FOS: Mathematics, Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.), 0101 mathematics, complexity, Algebraic Geometry (math.AG)
Popis souboru: application/xml
Přístupová URL adresa: http://arxiv.org/pdf/math/0301194
http://arxiv.org/abs/math/0301194
Full Text Finder
Nájsť tento článok vo Web of Science