×

Found 13,198 Documents (Results 1–100)

A mechanical method for isolating locally optimal points of certain radical functions. (English) Zbl 07635709

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 377-396 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

A general method of finding new symplectic schemes for Hamiltonian mechanics. (English) Zbl 07635708

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 353-376 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Locating the closest singularity in a polynomial homotopy. (English) Zbl 07635707

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 333-352 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

An implementation of parallel number-theoretic transform using Intel AVX-512 instructions. (English) Zbl 07635706

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 318-332 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

New heuristic to choose a cylindrical algebraic decomposition variable ordering motivated by complexity analysis. (English) Zbl 07635705

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 300-317 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Stability analysis of periodic motion of the swinging Atwood machine. (English) Zbl 07635704

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 288-299 (2022).
PDF BibTeX XML Cite
Full Text: DOI

A comparison of algorithms for proving positivity of linearly recurrent sequences. (English) Zbl 07635703

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 268-287 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Computing the integer hull of convex polyhedral sets. (English) Zbl 07635702

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 246-267 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

On boundary conditions parametrized by analytic functions. (English) Zbl 07635701

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 225-245 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Distance evaluation to the set of matrices with multiple eigenvalues. (English) Zbl 07635700

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 206-224 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

An interpolation algorithm for computing Dixon resultants. (English) Zbl 07635699

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 185-205 (2022).
MSC:  13Pxx 14Qxx 68W30
PDF BibTeX XML Cite
Full Text: DOI

On equilibrium positions in the problem of the motion of a system of two bodies in a uniform gravity field. (English) Zbl 07635698

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 165-184 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Accelerated subdivision for clustering roots of polynomials given by evaluation oracles. (English) Zbl 07635697

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 143-164 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI arXiv

Analyses and implementations of chordality-preserving top-down algorithms for triangular decomposition. (English) Zbl 07635696

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 124-142 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Symbolic-numeric algorithm for calculations in geometric collective model of atomic nuclei. (English) Zbl 07635695

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 103-123 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Computational aspects of equivariant Hilbert series of canonical rings for algebraic curves. (English) Zbl 07635694

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 83-102 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Application of symbolic-numerical modeling tools for analysis of gyroscopic stabilization of gyrostat equilibria. (English) Zbl 07635692

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 51-61 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Subresultant chains using Bézout matrices. (English) Zbl 07635691

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 29-50 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

On truncated series involved in exponential-logarithmic solutions of truncated LODEs. (English) Zbl 07635690

Boulier, François (ed.) et al., Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13366, 18-28 (2022).
MSC:  68W30
PDF BibTeX XML Cite
Full Text: DOI

Computer algebra in scientific computing. 24th international workshop, CASC 2022, Gebze, Turkey, August 22–26, 2022. Proceedings. (English) Zbl 07573785

Lecture Notes in Computer Science 13366. Cham: Springer (ISBN 978-3-031-14787-6/pbk; 978-3-031-14788-3/ebook). xiv, 397 p. (2022).
MSC:  68-06 68W30 00B25
PDF BibTeX XML Cite
Full Text: DOI

Proceedings of the 47th international symposium on symbolic and algebraic computation, ISSAC ’22, Villeneuve-d’Ascq France, July 4–7, 2022. (English) Zbl 1492.68019

New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-8688-3). xii, 535 p. (2022).
MSC:  68-06 68W30 00B25
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Database

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software