Výsledky vyhledávání - "ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms"

Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions

Autoři: Bostan, Alin Chyzak, Frédéric Lairez, Pierre a další

Přispěvatelé: Bostan, Alin Chyzak, Frédéric Lairez, Pierre 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

Dostupnost: https://inria.hal.science/hal-01788619
https://inria.hal.science/hal-01788619v1/document
https://inria.hal.science/hal-01788619v1/file/redct-final.pdf
https://doi.org/10.1145/3208976.3208992

Intrinsic complexity estimates in polynomial optimization

Autoři: Bank, Bernd Giusti, Marc Heintz, Joos a další

Přispěvatelé: Bank, Bernd Giusti, Marc Heintz, Joos a další

Zdroj: CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas

Té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

Eventually Consistent Register Revisited

Autoři: Zawirski, Marek Baquero, Carlos Bieniusa, Annette a další

Přispěvatelé: Zawirski, Marek Baquero, Carlos Bieniusa, Annette a další

Zdroj: 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/

Témata: 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]

Geografické téma: London, United Kingdom

Relation: info:eu-repo/grantAgreement/EC/FP7/609551/EU/Large-scale computation without synchronisation/SYNCFREE

Dostupnost: 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

Zigzag Persistence via Reflections and Transpositions

Autoři: Maria, Clément Oudot, Steve Geometric computing (GEOMETRICA) a další

Přispěvatelé: Maria, Clément Oudot, Steve Geometric computing (GEOMETRICA) a další

Zdroj: 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/

Témata: 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]

Geografické téma: San Diego, United States

Relation: info:eu-repo/grantAgreement//339025/EU/Algorithmic Foundations of Geometry Understanding in Higher Dimensions/GUDHI

Dostupnost: https://inria.hal.science/hal-01091949
https://inria.hal.science/hal-01091949v1/document
https://inria.hal.science/hal-01091949v1/file/soda_final.pdf

A Work-Efficient Algorithm for Parallel Unordered Depth-First Search

Autoři: Acar, Umut A. Charguéraud, Arthur Rainey, Mike a další

Přispěvatelé: Acar, Umut A. Charguéraud, Arthur Rainey, Mike a další

Zdroj: 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⟩

Témata: 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]

Geografické téma: 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

Dostupnost: https://inria.hal.science/hal-01245837
https://inria.hal.science/hal-01245837v1/document
https://inria.hal.science/hal-01245837v1/file/pdfs_sc15.pdf
https://doi.org/10.1145/2807591.2807651

Probabilistic Algorithm for Computing the Dimension of Real Algebraic Sets

Autoři: Bannwarth, Ivan Safey El Din, Mohab Polynomial Systems (PolSys) a další

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

Dostupnost: https://hal.science/hal-01152751
https://hal.science/hal-01152751v1/document
https://hal.science/hal-01152751v1/file/HAL_issac_2015.pdf
https://doi.org/10.1145/2755996.2756670

Creative telescoping using reductions

Autoři: van der Hoeven, Joris Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) a další

Přispěvatelé: van der Hoeven, Joris Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) École polytechnique (X) 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]

Dostupnost: https://hal.science/hal-01773137
https://hal.science/hal-01773137v2/document
https://hal.science/hal-01773137v2/file/redtel.pdf

A survey on signature-based algorithms for computing Gröbner basis computations

Autoři: Eder, Christian Faugère, Jean-Charles Fachbereich Mathematik Kaiserslautern a další

Přispěvatelé: Eder, Christian Faugère, Jean-Charles Fachbereich Mathematik Kaiserslautern a další

Zdroj: ISSN: 0747-7171.

Témata: Gröbner basis, syzygy, signatures, F5, G2V, GVW, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AC]Mathematics [math]/Commutative Algebra [math.AC]

Dostupnost: https://inria.hal.science/hal-00974810
https://inria.hal.science/hal-00974810v2/document
https://inria.hal.science/hal-00974810v2/file/survey%20%281%29.pdf
https://doi.org/10.1016/j.jsc.2016.07.031

Sub-cubic Change of Ordering for Gröner Basis: A Probabilistic Approach

Autoři: Faugère, Jean-Charles Gaudry, Pierrick Huot, Louise a další

Přispěvatelé: Faugère, Jean-Charles Gaudry, Pierrick Huot, Louise a další

Zdroj: ISSAC '14 - Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation ; ISSAC '14 - 39th International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-01064551 ; ISSAC '14 - 39th International Symposium on Symbolic and Algebraic Computation, Jul 2014, Kobe, Japan. pp.170--177, ⟨10.1145/2608628.2608669⟩

Témata: ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems, 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: Kobe, Japan

Dostupnost: https://inria.hal.science/hal-01064551
https://inria.hal.science/hal-01064551v1/document
https://inria.hal.science/hal-01064551v1/file/p170-faugere.pdf
https://doi.org/10.1145/2608628.2608669

Multiple precision evaluation of the Airy Ai function with reduced cancellation

Autoři: Chevillard, Sylvain Mezzarobba, Marc Analysis and Problems of Inverse type in Control and Signal processing (APICS) a další

Přispěvatelé: Chevillard, Sylvain Mezzarobba, Marc Analysis and Problems of Inverse type in Control and Signal processing (APICS) a další

Zdroj: 21st IEEE Symposium on Computer Arithmetic
https://inria.hal.science/hal-00767085
21st IEEE Symposium on Computer Arithmetic, 2013, Austin, TX, United States. pp.175-182, ⟨10.1109/ARITH.2013.33⟩

Témata: special functions, algorithm, numerical evaluation, arbitrary precision, Miller method, asymptotics, correct rounding, error bounds, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.2: Approximation/G.1.2.9: Special function approximations, 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-AO]Computer Science [cs]/Computer Arithmetic

Geografické téma: Austin, TX, United States

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1212.4731; ARXIV: 1212.4731

Dostupnost: https://inria.hal.science/hal-00767085
https://inria.hal.science/hal-00767085v2/document
https://inria.hal.science/hal-00767085v2/file/recond_Ai_arith.pdf
https://doi.org/10.1109/ARITH.2013.33

Computing rational solutions of linear matrix inequalities

Autoři: Guo, Qingdong Safey El Din, Mohab Zhi, Lihong a další

Přispěvatelé: Guo, Qingdong Safey El Din, Mohab Zhi, Lihong 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

Dostupnost: https://inria.hal.science/hal-00815174
https://inria.hal.science/hal-00815174v1/document
https://inria.hal.science/hal-00815174v1/file/rational-lmi-6.pdf

On the Complexity of Computing Gröbner Bases for Quasi-homogeneous Systems

Autoři: Faugère, Jean-Charles Safey El Din, Mohab Verron, Thibaut a další

Přispěvatelé: Faugère, Jean-Charles Safey El Din, Mohab Verron, Thibaut a další

Zdroj: ISSAC '13 : Proceedings of the 38th International Symposium on Symbolic and Algebraic Computation ; The 38th International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/hal-00780388 ; The 38th International Symposium on Symbolic and Algebraic Computation, Jun 2013, Boston, Maine, United States. pp.189-196, ⟨10.1145/2465506.2465943⟩

Témata: Polynomial system solving, Quasi-homogeneous polynomials, Gröbner bases, 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: Boston, Maine, United States

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1301.5612; ARXIV: 1301.5612

Dostupnost: https://inria.hal.science/hal-00780388
https://inria.hal.science/hal-00780388v2/document
https://inria.hal.science/hal-00780388v2/file/issac53p-faugere.pdf
https://doi.org/10.1145/2465506.2465943

A Note on the Space Complexity of Fast D-Finite Function Evaluation

Autoři: Mezzarobba, Marc Arithmetic and Computing (ARIC) Inria Grenoble - Rhône-Alpes a další

Přispěvatelé: Mezzarobba, Marc Arithmetic and Computing (ARIC) Inria Grenoble - Rhône-Alpes a další

Zdroj: CASC - Computer Algebra in Scientific Computing ; https://inria.hal.science/hal-00687818 ; CASC - Computer Algebra in Scientific Computing, Sep 2012, Maribor, Slovenia. pp.212-223, ⟨10.1007/978-3-642-32973-9_18⟩

Témata: binary splitting, truncations, space complexity, holonomic functions, guaranteed numerical evaluation, bit burst, error analysis, 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-AO]Computer Science [cs]/Computer Arithmetic

Geografické téma: Maribor, Slovenia

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1209.5097; ARXIV: 1209.5097

Dostupnost: https://inria.hal.science/hal-00687818
https://inria.hal.science/hal-00687818v2/document
https://inria.hal.science/hal-00687818v2/file/paper43-mezzarobba.pdf
https://doi.org/10.1007/978-3-642-32973-9_18

NumGfun: a Package for Numerical and Analytic Computation with D-finite Functions

Autoři: Mezzarobba, Marc Algorithms (ALGORITHMS) Inria Paris-Rocquencourt a další

Přispěvatelé: Mezzarobba, Marc Algorithms (ALGORITHMS) Inria Paris-Rocquencourt a další

Zdroj: ISSAC - International Symposium on Symbolic and Algebraic Computation ; https://hal.inria.fr/inria-00456983 ; ISSAC - International Symposium on Symbolic and Algebraic Computation, Jul 2010, Munich, Germany. pp.139-146, ⟨10.1145/1837934.1837965⟩

Témata: D-finite functions, linear differential equations, certified numerical computation, bounds, Maple, 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-AO]Computer Science [cs]/Computer Arithmetic

Geografické téma: Munich, Germany

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1002.3077; inria-00456983; https://hal.inria.fr/inria-00456983; https://hal.inria.fr/inria-00456983v2/document; https://hal.inria.fr/inria-00456983v2/file/NumGfun.pdf; ARXIV: 1002.3077

Dostupnost: https://hal.inria.fr/inria-00456983
https://hal.inria.fr/inria-00456983v2/document
https://hal.inria.fr/inria-00456983v2/file/NumGfun.pdf
https://doi.org/10.1145/1837934.1837965

Univariate Algebraic Kernel and Application to Arrangements

Autoři: Lazard, Sylvain Peñaranda, Luis, Mariano Tsigaridas, Elias P., P. a další

Přispěvatelé: Lazard, Sylvain Peñaranda, Luis, Mariano Tsigaridas, Elias P., P. a další

Zdroj: Experimental Algorithms ; 8th International Symposium SEA 2009 ; https://inria.hal.science/inria-00431559 ; 8th International Symposium SEA 2009, Jun 2009, Dortmund, Germany. pp.209-220, ⟨10.1007/978-3-642-02011-7⟩ ; http://www.springerlink.com/content/86154423035p3265/?p=65a469d9bf0643db8b0d9da60f98bd60&pi=19

Témata: ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-CG]Computer Science [cs]/Computational Geometry [cs.CG]

Geografické téma: Dortmund, Germany

Dostupnost: https://inria.hal.science/inria-00431559
https://inria.hal.science/inria-00431559v1/document
https://inria.hal.science/inria-00431559v1/file/sea09_final.pdf
https://doi.org/10.1007/978-3-642-02011-7

A Non-Holonomic Systems Approach to Special Function Identities

Autoři: Chyzak, Frédéric Kauers, Manuel Salvy, Bruno a další

Přispěvatelé: Chyzak, Frédéric Kauers, Manuel Salvy, Bruno a další

Zdroj: ISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation ; https://inria.hal.science/inria-00376526 ; ISSAC'09 - 34th International Symposium on Symbolic and Algebraic Computation, Jul 2009, Seoul, South Korea. pp.111-118

Témata: Symbolic Summation and Integration, D-Finite Functions, 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: Seoul, South Korea

Relation: info:eu-repo/semantics/altIdentifier/arxiv/0904.2761; inria-00376526; https://inria.hal.science/inria-00376526; https://inria.hal.science/inria-00376526/document; https://inria.hal.science/inria-00376526/file/arxiv.pdf; ARXIV: 0904.2761

Dostupnost: https://inria.hal.science/inria-00376526
https://inria.hal.science/inria-00376526/document
https://inria.hal.science/inria-00376526/file/arxiv.pdf

Chebyshev Expansions for Solutions of Linear Differential Equations

Autoři: Benoit, Alexandre Salvy, Bruno Algorithms (ALGORITHMS) a další

Přispěvatelé: Benoit, Alexandre Salvy, Bruno Algorithms (ALGORITHMS) a další

Zdroj: ISSAC'09 ; https://hal.inria.fr/inria-00395716 ; ISSAC'09, Jul 2009, Seoul, South Korea

Témata: Chebyshev series, Ore polynomials, 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: Seoul, South Korea

Relation: info:eu-repo/semantics/altIdentifier/arxiv/0906.2888; inria-00395716; https://hal.inria.fr/inria-00395716; https://hal.inria.fr/inria-00395716/document; https://hal.inria.fr/inria-00395716/file/arxiv.pdf; ARXIV: 0906.2888

Dostupnost: https://hal.inria.fr/inria-00395716
https://hal.inria.fr/inria-00395716/document
https://hal.inria.fr/inria-00395716/file/arxiv.pdf

Products of Ordinary Differential Operators by Evaluation and Interpolation

Autoři: Bostan, Alin Chyzak, Frédéric Le Roux, Nicolas a další

Přispěvatelé: Bostan, Alin Chyzak, Frédéric Le Roux, Nicolas a další

Zdroj: ISSAC'08 : International Symposium on Symbolic and Algebraic Computation ; https://hal.inria.fr/inria-00273148 ; ISSAC'08 : International Symposium on Symbolic and Algebraic Computation, Jul 2008, Hagenberg, Austria

Témata: differential operators, Fast algorithms, 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: Hagenberg, Austria

Relation: info:eu-repo/semantics/altIdentifier/arxiv/0804.2181; inria-00273148; https://hal.inria.fr/inria-00273148; https://hal.inria.fr/inria-00273148/document; https://hal.inria.fr/inria-00273148/file/issac.pdf; ARXIV: 0804.2181

Dostupnost: https://hal.inria.fr/inria-00273148
https://hal.inria.fr/inria-00273148/document
https://hal.inria.fr/inria-00273148/file/issac.pdf

Differential Equations for Algebraic Functions

Autoři: Bostan, Alin Chyzak, Frédéric Salvy, Bruno a další

Přispěvatelé: Bostan, Alin Chyzak, Frédéric Salvy, Bruno a další

Zdroj: ISSAC ; https://inria.hal.science/inria-00138206 ; ISSAC, Jul 2007, Waterloo, Canada. pp.8, ⟨10.1145/1277548.1277553⟩

Témata: Computer algebra, algebraic series, differential resolvents, creative telescoping, complexity, ACM: I.: Computing Methodologies/I.1: SYMBOLIC AND ALGEBRAIC MANIPULATION/I.1.2: Algorithms, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-CA]Mathematics [math]/Classical Analysis and ODEs [math.CA]

Geografické téma: Waterloo

Time: Waterloo, Canada

Relation: info:eu-repo/semantics/altIdentifier/arxiv/cs/0703121; ARXIV: cs/0703121

Dostupnost: https://inria.hal.science/inria-00138206
https://inria.hal.science/inria-00138206v2/document
https://inria.hal.science/inria-00138206v2/file/BoChLeSaSc07-hal.pdf
https://doi.org/10.1145/1277548.1277553

Gröbner bases of bihomogeneous ideals generated by polynomials of bidegree (1,1): Algorithms and complexity

Autoři: Faugère, Jean-Charles Safey El Din, Mohab Spaenlehauer, Pierre-Jean a další

Přispěvatelé: Faugère, Jean-Charles Safey El Din, Mohab Spaenlehauer, Pierre-Jean a další

Zdroj: ISSN: 0747-7171.

Témata: Gröbner bases, algorithms, bihomogeneous ideals, complexity, 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]

Dostupnost: https://inria.hal.science/inria-00596631
https://inria.hal.science/inria-00596631v1/document
https://inria.hal.science/inria-00596631v1/file/JSC_FSS10.pdf
https://doi.org/10.1016/j.jsc.2010.10.014