Výsledky vyhledávání - 68W30 Symbolic computation and algebraic computation

Algebraic and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one in several variables

Autoři: Cano, José Falkensteiner, Sebastian Robertz, Daniel a další

Přispěvatelé: Cano, José Falkensteiner, Sebastian Robertz, Daniel a další

Zdroj: e_Buah Biblioteca Digital Universidad de Alcalá
instname
Journal of symbolic computation 114, 1-17 (2023). doi:10.1016/j.jsc.2022.04.012

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Thomas decomposition, Matemáticas, Artin approximation, 0102 computer and information sciences, Symbolic Computation (cs.SC), 12H05 Differential algebra, 68W30 Symbolic computation and algebraic computation, 34A25 Analytical theory of ordinary differential equations, 01 natural sciences, Algebraic solution, Convergent solution, Mathematics - Algebraic Geometry, FOS: Mathematics, 0101 mathematics, Algebraic autonomous ordinary differential equation, Puiseux series solution, Algebraic Geometry (math.AG), Mathematics

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2110.05558
http://hdl.handle.net/10017/51628
https://publications.rwth-aachen.de/record/848250

On the gradient of the coefficient of the characteristic polynomial

Autoři: Ikenmeyer, Christian

Témata: Computational Complexity, Commutative Algebra, Combinatorics, 68W30 Symbolic computation and algebraic computation

Relation: http://arxiv.org/abs/2511.04954

Dostupnost: http://arxiv.org/abs/2511.04954

Probabilistic Algorithm for Polynomial Optimization over a Real Algebraic Set

Autoři: Greuet, Aurélien Safey El Din, Mohab Polynomial Systems (PolSys) a další

Přispěvatelé: Greuet, Aurélien Safey El Din, Mohab Polynomial Systems (PolSys) 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

Přístupová URL adresa: http://arxiv.org/pdf/1307.8281
http://arxiv.org/abs/1307.8281
https://hal.science/hal-00849523v2
https://hal.science/hal-00849523v2/document
https://doi.org/10.1137/130931308

Symbolic Computation: Solving Equations in Algebra, Geometry, and Engineering

Autoři: Edward L. Green Serkan Hoşten Reinhard C. Laubenbacher a další

Resource Type: eBook.

Témata: Algebra--Data processing--Congresses, Equations--Numerical solutions--Data processin

Categories: MATHEMATICS / Differential Equations / General, MATHEMATICS / Geometry / Algebraic

A General Solver Based on Sparse Resultants

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

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation

Autoři: Huang, Bo Wang, Dongming Yang, Jing

Přispěvatelé: Huang, Bo Wang, Dongming Yang, Jing

Zdroj: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation. :180-187

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Jacobi stability, quantifier elimination, 34C07, 68W30, KCC theory, [MATH] Mathematics [math], dynamical systems, [INFO] Computer Science [cs], Symbolic Computation (cs.SC), Algorithmic approach, semi-algebraic system, symbolic computation

Přístupová URL adresa: http://arxiv.org/abs/2405.10578
https://hal.science/hal-04662936v1
https://doi.org/10.1145/3666000.3669689

Fast Computation of the Nth Term of an Algebraic Series over a Finite Prime Field

Autoři: Bostan, Alin Christol, Gilles Dumas, Philippe

Přispěvatelé: Bostan, Alin Christol, Gilles Dumas, Philippe

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

Deciding Cuspidality of Manipulators through Computer Algebra and Algorithms in Real Algebraic Geometry

Autoři: Chablat, Damien Prébet, Rémi Safey El Din, Mohab a další

Přispěvatelé: Chablat, Damien Prébet, Rémi Safey El Din, Mohab a další

Zdroj: Proceedings of the 2022 International Symposium on Symbolic and Algebraic Computation. :439-448

Témata: robotics, Computer Science - Symbolic Computation, FOS: Computer and information sciences, I.1.4, critical points, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], cuspidality, [INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], computational real algebraic geometry, Symbolic Computation (cs.SC), I.1.2, 01 natural sciences, symbolic computation, Computer Science - Robotics, Mathematics - Algebraic Geometry, 68W30, 14Q30, FOS: Mathematics, 0101 mathematics, Robotics (cs.RO), Algebraic Geometry (math.AG)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2203.04578

Abstract Visual Reasoning: An Algebraic Approach for Solving Raven's Progressive Matrices

Autoři: Xu, Jingyi Vaidya, Tushar Wu, Yufei a další

Zdroj: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). :6715-6724

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, I.2.4, I.5.1, Computer Science - Artificial Intelligence, I.2.6, Computer Vision and Pattern Recognition (cs.CV), 13P25, 68W30, Computer Science - Computer Vision and Pattern Recognition, I.1, Symbolic Computation (cs.SC), Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Artificial Intelligence (cs.AI), FOS: Mathematics

Přístupová URL adresa: http://arxiv.org/abs/2303.11730

Beyond Worst-Case Analysis for Root Isolation Algorithms

Autoři: Ergür, Alperen A. Tonelli-Cueto, Josué Tsigaridas, Elias

Přispěvatelé: Ergür, Alperen A. Tonelli-Cueto, Josué Tsigaridas, Elias

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

Přístupová URL adresa: http://arxiv.org/abs/2202.06428
https://inria.hal.science/hal-03575449v1/document
https://inria.hal.science/hal-03575449v1

Computation of the Similarity Class of the p-Curvature

Autoři: Bostan, Alin Caruso, Xavier Schost, Éric a další

Přispěvatelé: Bostan, Alin Caruso, Xavier Schost, Éric a další

Zdroj: Proceedings of the ACM on International Symposium on Symbolic and Algebraic Computation. :111-118

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, p-curvature, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], algebraic complexity, differential equations, 0102 computer and information sciences, Symbolic Computation (cs.SC), 01 natural sciences, I.1.2, 11Y16, 68W30, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], 0101 mathematics, [MATH.MATH-NT] Mathematics [math]/Number Theory [math.NT]

Přístupová URL adresa: http://arxiv.org/pdf/1605.06126
http://arxiv.org/abs/1605.06126
https://arxiv.org/abs/1605.06126
https://128.84.21.199/abs/1605.06126
https://arxiv.org/pdf/1605.06126
https://core.ac.uk/display/42727259
https://dblp.uni-trier.de/db/journals/corr/corr1605.html#BostanCS16
https://arxiv.org/abs/1605.06126
https://dl.acm.org/doi/10.1145/2930889.2930897
http://dblp.uni-trier.de/db/journals/corr/corr1605.html#BostanCS16
https://hal.archives-ouvertes.fr/hal-01321043

Computing discrete residues of rational functions

Autoři: Carlos E. Arreche Hari Sitaula

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

A note on minimal resolutions of vector–spread Borel ideals: A note on minimal resolutions of vector-spread Borel ideals

Autoři: Crupi M. Ficarra A.

Zdroj: Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, Vol 31, Iss 2, Pp 71-84 (2023)

Témata: monomial ideals, vector–spread borel ideals, Cohen-Macaulay ideals, extremal betti numbers, Combinatorial aspects of matroids and geometric lattices, Symbolic computation and algebraic computation, Mathematics - Commutative Algebra, Commutative Algebra (math.AC), Syzygies, resolutions, complexes and commutative rings, extremal Betti numbers, 01 natural sciences, Polynomials over commutative rings, QA1-939, FOS: Mathematics, cohen–macaulay ideals, vector-spread Borel ideals, primary 05b35, 05e40, 13b25, 13d02, 68w30, Combinatorial aspects of commutative algebra, 0101 mathematics, Mathematics

Popis souboru: application/xml; application/pdf

Přístupová URL adresa: http://arxiv.org/abs/2208.02181
https://zbmath.org/8036481
https://doi.org/10.2478/auom-2023-0020
https://doaj.org/article/c79f9b40de7d47c3a5129061a69332cb
https://hdl.handle.net/11570/3257246
https://doi.org/10.2478/auom-2023-0020

Algorithmic Reduction of Biological Networks with Multiple Time Scales

Autoři: Ovidiu Radulescu Niclas Kruff Thomas Sturm a další

Přispěvatelé: Ovidiu Radulescu Niclas Kruff Thomas Sturm a další

Zdroj: Mathematics in Computer Science
Mathematics in computer science 15(3), 499-534 (2021). doi:10.1007/s11786-021-00515-2 special issue: "Computer Algebra in Scientific Computing 2020 / Issue editors: Matthew England, Francois Boulier, Timur Sadykov, Thomas Sturm"

Témata: 37D10, Computer Science - Symbolic Computation, FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Molecular Networks (q-bio.MN), [MATH.MATH-DS] Mathematics [math]/Dynamical Systems [math.DS], Dynamical Systems (math.DS), 0102 computer and information sciences, 92C45, Symbolic Computation (cs.SC), 01 natural sciences, Real algebraic computation, Secondary 14P10, Symbolic computation, FOS: Mathematics, Logic computation, Quantitative Biology - Molecular Networks, Mathematics - Dynamical Systems, 0101 mathematics, Singular perturbation, Invariant set, Satisfiability modulo theories, Multiple time scales, Polynomial differential equations, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], 68W30 (Primary), 14P10, 34E15, 37D10, 92C45 (Secondary), 34E15, Compartmental model, Logic in Computer Science (cs.LO), [SDV.BBM.MN] Life Sciences [q-bio]/Biochemistry, Molecular Biology/Molecular Networks [q-bio.MN], FOS: Biological sciences, Dimension reduction, Tropical geometry Mathematics Subject Classification Primary 68W30, Chemical reaction network

Popis souboru: application/pdf

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007/s11786-021-00515-2.pdf
http://arxiv.org/abs/2010.10129
https://dblp.uni-trier.de/db/journals/corr/corr2010.html#abs-2010-10129
https://arxiv.org/pdf/2010.10129
https://dblp.uni-trier.de/db/journals/mics/mics15.html#KruffLRSW21
https://link.springer.com/article/10.1007/s11786-021-00515-2
https://hal.archives-ouvertes.fr/hal-02977490
https://arxiv.org/abs/2010.10129
http://hdl.handle.net/21.11116/0000-0009-4B0A-9
http://hdl.handle.net/21.11116/0000-0009-4B0C-7
http://hdl.handle.net/21.11116/0000-0007-7A12-C
http://hdl.handle.net/21.11116/0000-0007-7A14-A
https://publications.rwth-aachen.de/record/823000

Fast computation of discrete invariants associated to a differential rational mapping

Autoři: Matera, Guillermo Sedoglavic, Alexandre Algebra for Digital Identification and Estimation (ALIEN) a další

Přispěvatelé: Matera, Guillermo Sedoglavic, Alexandre Algebra for Digital Identification and Estimation (ALIEN) 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

Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition

Autoři: England, Matthew Bradford, Russell Davenport, James H.

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

An Optimization-Based Sum-of-Squares Approach to Vizing's Conjecture

Autoři: Gaar, Elisabeth Wiegele, Angelika Krenn, Daniel a další

Zdroj: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation. :155-162

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, 0102 computer and information sciences, Symbolic Computation (cs.SC), Commutative Algebra (math.AC), 01 natural sciences, Mathematics - Algebraic Geometry, FOS: Mathematics, Grobner basis, Mathematics - Combinatorics, 0101 mathematics, Mathematics - Optimization and Control, Algebraic Geometry (math.AG), ddc:510, sum-of-squares problems, Discrete Mathematics, Computer Sciences, Vizing's conjecture, semidefinite programming, Diskret matematik, Mathematics - Commutative Algebra, Datavetenskap (datalogi), Optimization and Control (math.OC), algebraic model, 90C27, 05C99, 13P10, 68W30, 90C22, Combinatorics (math.CO)

Popis souboru: application/pdf

Přístupová URL adresa: https://dl.acm.org/doi/pdf/10.1145/3326229.3326239
http://arxiv.org/abs/1901.10288
https://arxiv.org/abs/1901.10288
https://arxiv.org/pdf/1901.10288v3
http://ui.adsabs.harvard.edu/abs/2019arXiv190110288G/abstract
https://opus.bibliothek.uni-augsburg.de/opus4/files/112275/112275.pdf
https://nbn-resolving.org/urn:nbn:de:bvb:384-opus4-1122752
https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/112275
https://doi.org/10.1145/3326229.3326239
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-422890

Cylindrical algebraic decompositions for boolean combinations

Autoři: Bradford, Russell Davenport, James H England, Matthew a další

Zdroj: Bradford, R, Davenport, J H, England, M, McCallum, S & Wilson, D 2013, Cylindrical algebraic decompositions for Boolean combinations. in ISSAC '13: Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, New York, pp. 125-132, ISSAC 2013: International Symposium on Symbolic and Algebraic Computation, Boston, USA United States, 25/06/13. https://doi.org/10.1145/2465506.2465516

Témata: Computer Science - Symbolic Computation, FOS: Computer and information sciences, equational constraint, cylindrical algebraic decomposition, Symbolic Computation (cs.SC), 0101 mathematics, 01 natural sciences, 68W30, 03C10, I.1.2

Popis souboru: application/pdf

Přístupová URL adresa: https://purehost.bath.ac.uk/ws/files/11544254/England_ISSAC2013.pdf
http://arxiv.org/abs/1304.7603
https://arxiv.org/abs/1304.7603
https://arxiv.org/pdf/1304.7603.pdf
https://ui.adsabs.harvard.edu/abs/2013arXiv1304.7603B/abstract
https://core.ac.uk/display/23629496
https://pureportal.coventry.ac.uk/en/publications/cylindrical-algebraic-decompositions-for-boolean-combinations
https://researchers.mq.edu.au/en/publications/cylindrical-algebraic-decompositions-for-boolean-combinations
https://dl.acm.org/citation.cfm?doid=2465506.2465516
https://arxiv.org/abs/1304.7603
https://dblp.uni-trier.de/db/journals/corr/corr1304.html#abs-1304-7603

Matrix Representations by Means of Interpolation

Autoři: Emiris, Ioannis Konaxis, Christos Kotsireas, Ilias a další

Přispěvatelé: Emiris, Ioannis Konaxis, Christos Kotsireas, Ilias a další

Zdroj: Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation -ISSAC '17
Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation

Témata: Chow form, Maple implementation, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], ray shooting, [MATH.MATH-AG] Mathematics [math]/Algebraic Geometry [math.AG], 02 engineering and technology, sparse resultant, implicitization, randomized algorithm, 14Q10 (Primary), 68W30 (Secondary), Mathematics - Algebraic Geometry, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, space curve, Matrix representation, Algebraic Geometry (math.AG)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/pdf/1606.00789
http://arxiv.org/abs/1606.00789
https://hal.science/hal-01537656v1/document
https://doi.org/10.1145/3087604.3087629
https://hal.science/hal-01537656v1
https://dl.acm.org/doi/10.1145/3087604.3087629
https://hal.archives-ouvertes.fr/hal-01537656/document
https://dl.acm.org/citation.cfm?doid=3087604.3087629
https://hal.archives-ouvertes.fr/hal-01537656
https://dblp.uni-trier.de/db/conf/issac/issac2017.html#EmirisKKL17
https://doi.org/10.1145/3087604.3087629
https://pergamos.lib.uoa.gr/uoa/dl/object/3173616

CAD Adjacency Computation Using Validated Numerics

Autoři: Adam Strzebonski

Zdroj: Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation. :413-420

Témata: Computer Science - Symbolic Computation, G.4, Computational Geometry (cs.CG), FOS: Computer and information sciences, 2. Zero hunger, I.1.2, Computer Science - Computational Geometry, 68W30, Symbolic Computation (cs.SC), 0101 mathematics, 16. Peace & justice, 01 natural sciences

Přístupová URL adresa: http://arxiv.org/pdf/1704.06856
http://arxiv.org/abs/1704.06856
https://dl.acm.org/doi/10.1145/3087604.3087641
https://arxiv.org/abs/1704.06856
https://dblp.uni-trier.de/db/journals/corr/corr1704.html#Strzebonski17
https://core.ac.uk/display/83851825