Search Results - complexity. 68W30 Symbolic computation and algebraic computation
-
1
Authors: et al.
Contributors: et al.
Source: SIAM Journal on Optimization. 24:1313-1343
Subject Terms: [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
File Description: application/pdf
-
2
Authors: Ikenmeyer, Christian
Subject Terms: Computational Complexity, Commutative Algebra, Combinatorics, 68W30 Symbolic computation and algebraic computation
Relation: http://arxiv.org/abs/2511.04954
Availability: http://arxiv.org/abs/2511.04954
-
3
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-04439518 ; 2024.
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: ISSN: 0179-5376.
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-01773137 ; 2018.
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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/
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-01702547 ; 2018.
Subject Terms: 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
Authors:
Contributors:
Source: ISSN: 1016-3328.
Subject Terms: 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
Authors: et al.
Resource Type: eBook.
-
10
Authors: et al.
Contributors: et al.
Source: https://hal.inria.fr/hal-01891417 ; 2018.
Subject Terms: 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
Availability: https://hal.inria.fr/hal-01891417
-
11
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-00564448 ; 2011.
Subject Terms: 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
Authors: et al.
Contributors: et al.
Source: 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⟩
Subject Terms: complexity, TFT, symmetric polynomial, FFT, MSC 42-02, 68W25, 42B99, 30B10, 68W30, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]
Subject Geographic: Boston, United States
Time: Boston, United States
-
13
Authors: Emiris, Ioannis Z.
Subject Terms: 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
Access URL: http://arxiv.org/abs/1201.5810
-
14
Authors:
Contributors:
Source: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation. :119-126
Subject Terms: 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]
Access URL: 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
Authors:
Contributors:
Source: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation. :139-148
Subject Terms: 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
File Description: application/pdf
-
16
Authors:
Source: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :65-73
Subject Terms: 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)
Access URL: http://arxiv.org/abs/2402.07328
-
17
Authors: et al.
Source: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y TécnicasSubject Terms: 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
File Description: application/xml; application/pdf
Access URL: 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
Authors: et al.
Contributors: et al.
Source: Journal of Symbolic Computation. 36:473-499
Subject Terms: [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
File Description: application/xml; application/pdf
Access URL: 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
Authors:
Source: 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
Subject Terms: 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
File Description: application/pdf
Access URL: 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
Authors: et al.
Source: Foundations of Computational Mathematics. 3:347-420
Subject Terms: 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)
File Description: application/xml
Full Text Finder 
Nájsť tento článok vo Web of Science