Search Results - "Symbolic-numeric algorithms"
-
1
Authors:
Contributors:
Source: SIAM Journal on Optimization. 35:1630-1654
Subject Terms: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Symbolic-numeric algorithms, 90C22, 68W30, weak feasibility, [MATH] Mathematics [math], spectrahedra, facial reduction, Symbolic Computation (cs.SC), Mathematics - Algebraic Geometry, Optimization and Control (math.OC), FOS: Mathematics, linear matrix inequalities, Mathematics - Optimization and Control, Algebraic Geometry (math.AG)
File Description: application/pdf
-
2
Authors: et al.
Contributors: et al.
Source: ISSN: 1052-6234 ; SIAM Journal on Optimization ; https://hal.science/hal-04591610 ; SIAM Journal on Optimization, In press.
Subject Terms: spectrahedra, Symbolic-numeric algorithms, linear matrix inequalities, weak feasibility, facial reduction, [MATH]Mathematics [math]
-
3
Authors:
Contributors:
Source: Proceedings of the 2019 International Symposium on Symbolic and Algebraic Computation. :259-266
Subject Terms: Computer Science - Symbolic Computation, FOS: Computer and information sciences, Symbolic-numeric algorithms, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Picard-Fuchs equations, 0102 computer and information sciences, Symbolic Computation (cs.SC), 0101 mathematics, Semi-algebraic sets, 01 natural sciences
File Description: application/pdf
Access URL: https://hal.archives-ouvertes.fr/hal-02110556/file/volumes.pdf
http://arxiv.org/abs/1904.11705
https://hal.science/hal-02110556v1/document
https://hal.science/hal-02110556v1
https://dblp.uni-trier.de/db/journals/corr/corr1904.html#abs-1904-11705
https://dl.acm.org/doi/10.1145/3326229.3326262
https://hal.archives-ouvertes.fr/hal-02110556
https://hal.archives-ouvertes.fr/hal-02110556/document
https://doi.org/10.1145/3326229.3326262
https://arxiv.org/abs/1904.11705 -
4
Authors: Mezzarobba, Marc
Contributors: Mezzarobba, Marc
Source: Annales Henri Lebesgue. 2:99-148
Subject Terms: rigorous computing, [INFO.INFO-MS] Computer Science [cs]/Mathematical Software [cs.MS], symbolic-numeric algorithms, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 0103 physical sciences, D-finite functions, [INFO.INFO-AO] Computer Science [cs]/Computer Arithmetic, error bounds, [MATH.MATH-CA] Mathematics [math]/Classical Analysis and ODEs [math.CA], 01 natural sciences
File Description: application/pdf
Access URL: https://ahl.centre-mersenne.org/article/AHL_2019__2__99_0.pdf
https://hal.archives-ouvertes.fr/hal-01817568/document
https://hal.inria.fr/hal-01817568
https://ahl.centre-mersenne.org/article/AHL_2019__2__99_0.pdf
https://ahl.centre-mersenne.org/item/AHL_2019__2__99_0/
https://hal.archives-ouvertes.fr/hal-01817568
https://hal.science/hal-01817568v2
https://hal.science/hal-01817568v2/document
https://doi.org/10.5802/ahl.17 -
5
Authors: et al.
Contributors: et al.
Source: The Ratio Book ; https://hal.science/hal-00134179 ; BARLOW, Clarence. The Ratio Book, Feedback Papers, pp.86-101, 2001
Subject Terms: computational musicology, computer music, time representations, time constraints, sound-objects, symbolic-numeric algorithms, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [SHS.MUSIQ]Humanities and Social Sciences/Musicology and performing arts, [SHS.LANGUE]Humanities and Social Sciences/Linguistics
-
6
Authors:
Contributors:
Subject Terms: General Terms Algorithms, Design, Experimentation, Theory Keywords Plane curve singularity, ill-posed problem, regularization, symbolic-numeric algorithms, link of a singularity
File Description: application/pdf
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subjects Descriptors, I.1.2 [Symbolic and Algebraic Manipulation, Algorithms, F.2.1 [Analysis of Algorithms and Problem Complexity, Numerical Algorithms and Problems. General Terms, Theory. Keywords, Puiseux Series, Algebraic Functions, Modular Methods, Finite Fields, Complexity, Symbolic-Numeric Algorithms
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.362.5684; http://www.lifl.fr/~poteaux/fichiers/puiseux_issac08.pdf
-
8
Authors: et al.
Contributors: et al.
Source: https://theses.hal.science/tel-00645387 ; Cryptography and Security [cs.CR]. Ecole normale supérieure de lyon - ENS LYON, 2011.
Subject Terms: Euclidean lattices, LLL/HKZ/BKZ reductions, lattice-based cryptography, computer algebra, hybrid symbolic-numeric algorithms, analysis of algorithms, Réseaux Euclidiens, réductions LLL/HKZ/BKZ, cryptographie reposant sur les réseaux Euclidiens, algorithmes hybrides numériques-algébriques, analyse d'algorithmes, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
9
Authors: et al.
Contributors: et al.
Source: https://theses.hal.science/tel-00514925 ; Calcul formel [cs.SC]. Université de Grenoble, 2010.
Subject Terms: Finite fields, Primitive roots, Perturbation attacks, Subspaces of matrices for error-correcting codes, High-performance exact linear algebra, Hybrid dynamical systems, Symbolic-numeric algorithms, Multi-core parallelism, Software design and modelization, Racines primitives, Attaques par perturbation, Espaces de matrices pour les codes correcteurs, Algèbre linéaire exacte intensive, Systèmes dynamiques hybrides, Algorithmes symboliques-numériques, Parallélisme multi-coeurs, Conception et modélisation logicielle, Computer Algebra patterns, Corps finis, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
10
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, G.1.7 [Numerical Analysis, Ordinary Dierential Equations, I.6.1 [Simulation and Modeling, Simulation Theory. General Terms, Algorithms. Keywords, Piecewise Ane Dynamical Systems, Symbolic- Numeric Algorithms, Biological Networks
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.491.5167; http://ljk.imag.fr/CASYS/CalCel/Publi_CalCel/Conferences/conf_farcot.pdf
-
11
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, G.1.7 [Numerical Analysis, Ordinary Differential Equations, I.6.1 [Simulation and Modeling, Simulation Theory. General Terms, Algorithms. Keywords, Piecewise Affine Dynamical Systems, Symbolic- Numeric Algorithms, Biological Networks
File Description: application/pdf
-
12
Authors:
Contributors:
Subject Terms: LLL/HKZ/BKZ reductions, analyse d'algorithmes, Euclidean lattices, cryptographie reposant sur les réseaux Euclidiens, algorithmes hybrides numériques-algébriques, Réseaux Euclidiens, analysis of algorithms, lattice-based cryptography, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], réductions LLL/HKZ/BKZ, computer algebra, hybrid symbolic-numeric algorithms, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]
File Description: application/pdf
Access URL: https://theses.hal.science/tel-00645387v1
-
13
Authors: et al.
Subject Terms: Computer-aided design (modeling of curves and surfaces), topology of implicitly defined plane curves, Numerical aspects of computer graphics, image analysis, and computational geometry, Bezoutians, Symbolic-Numeric Algorithms, Symbolic computation and algebraic computation, Computer science aspects of computer-aided design
File Description: application/xml
Access URL: https://zbmath.org/2217736
Nájsť tento článok vo Web of Science