×

Found 48 Documents (Results 1–48)

Unimodular completion of polynomial matrices. (English) Zbl 1325.68304

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 413-420 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Faster relaxed multiplication. (English) Zbl 1325.68305

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 405-412 (2014).
PDFBibTeX XMLCite
Full Text: DOI HAL

Matrix-F5 algorithms over finite-precision complete discrete valuation fields. (English) Zbl 1325.68303

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 397-404 (2014).
MSC:  68W30 13P05 13P10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Cylindrical algebraic decomposition using local projections. (English) Zbl 1325.68302

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 389-396 (2014).
MSC:  68W30 03C10 14P10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Linear independence oracles and applications to rectangular and low rank linear systems. (English) Zbl 1325.68300

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 381-388 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Covering of surfaces parametrized without projective base points. (English) Zbl 1325.68299

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 375-380 (2014).
MSC:  68W30 14Q10 68U05
PDFBibTeX XMLCite
Full Text: DOI

LLL reducing with the most significant bits. (English) Zbl 1325.68298

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 367-374 (2014).
MSC:  68W30 11H06 11Y16
PDFBibTeX XMLCite
Full Text: DOI

On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. (English) Zbl 1325.68297

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 351-358 (2014).
MSC:  68W30 13D45 13P10
PDFBibTeX XMLCite
Full Text: DOI

Toric border basis. (English) Zbl 1325.68296

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 343-350 (2014).
MSC:  68W30 13P10 13P15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Randomized detection of extraneous factors. (English) Zbl 1325.68295

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 335-342 (2014).
MSC:  68W30 13P15 68W20
PDFBibTeX XMLCite
Full Text: DOI

On the reduction of singularly-perturbed linear differential systems. (English) Zbl 1325.68294

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 320-327 (2014).
MSC:  68W30 34A30 34E20
PDFBibTeX XMLCite
Full Text: DOI arXiv

Formal solutions of a class of Pfaffian systems in two variables. (English) Zbl 1325.68293

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 312-319 (2014).
MSC:  68W30 34A30 35F35
PDFBibTeX XMLCite
Full Text: DOI arXiv

Reduction among bracket polynomials. (English) Zbl 1325.68291

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 304-311 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Powers of tensors and fast matrix multiplication. (English) Zbl 1325.65061

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 296-303 (2014).
MSC:  65F30 15A69 68Q17 68Q25 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Bounds for D-finite closure properties. (English) Zbl 1325.68290

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 288-295 (2014).
MSC:  68W30 16S36 16Z05
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sparse multivariate function recovery with a high error rate in the evaluations. (English) Zbl 1325.68289

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 280-287 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Sparse polynomial interpolation codes and their decoding beyond half the minimum distance. (English) Zbl 1325.68288

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 272-279 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Equivariant lattice generators and Markov bases. (English) Zbl 1325.68287

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 264-271 (2014).
MSC:  68W30 11C08 62H17
PDFBibTeX XMLCite
Full Text: DOI arXiv

Evaluating parametric holonomic sequences using rectangular splitting. (English) Zbl 1325.65178

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 256-263 (2014).
MSC:  65Q30 33F10 68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

An a posteriori certification algorithm for Newton homotopies. (English) Zbl 1325.65074

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 248-255 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Constructing fewer open cells by GCD computation in CAD projection. (English) Zbl 1325.68286

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 240-247 (2014).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Maximum likelihood geometry in the presence of data zeros. (English) Zbl 1325.68285

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 232-239 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computing low-degree factors of lacunary polynomials: a Newton-Puiseux approach. (English) Zbl 1325.68284

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 224-231 (2014).
MSC:  68W30 12E05 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv

Radical solutions of first order autonomous algebraic ordinary differential equations. (English) Zbl 1325.68283

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 217-223 (2014).
PDFBibTeX XMLCite
Full Text: DOI

On isomorphisms of modules over non-commutative PID. (English) Zbl 1325.68282

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 210-216 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Online order basis algorithm and its impact on the block Wiedemann algorithm. (English) Zbl 1325.68281

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 202-209 (2014).
PDFBibTeX XMLCite
Full Text: DOI Link

Factoring linear differential operators in \(n\) variables. (English) Zbl 1325.68280

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 194-201 (2014).
MSC:  68W30 16S32 16Z05
PDFBibTeX XMLCite
Full Text: DOI arXiv

The MMO problem. (English) Zbl 1325.68279

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 186-193 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sparse Gröbner bases: the unmixed case. (English) Zbl 1325.68278

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 178-185 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sub-cubic change of ordering for Gröbner basis: a probabilistic approach. (English) Zbl 1325.68277

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 170-177 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation). (English) Zbl 1325.68276

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 162-169 (2014).
MSC:  68W30 03C10 65H04
PDFBibTeX XMLCite
Full Text: DOI

Root counts of semi-mixed systems, and an application to counting Nash equilibria. (English) Zbl 1325.68275

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 154-161 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Essentially optimal interactive certificates in linear algebra. (English) Zbl 1325.68274

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 146-153 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the computation of the topology of plane curves. (English) Zbl 1325.68273

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 130-137 (2014).
PDFBibTeX XMLCite
Full Text: DOI HAL

Fast arithmetic for the algebraic closure of finite fields. (English) Zbl 1325.68272

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 122-129 (2014).
MSC:  68W30 12F05 12Y05 68Q25
PDFBibTeX XMLCite
Full Text: DOI

The asymptotic analysis of some interpolated nonlinear recurrence relations. (English) Zbl 1325.68271

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 115-121 (2014).
MSC:  68W30 37B20 65Q30
PDFBibTeX XMLCite
Full Text: DOI

A generalized Apagodu-Zeilberger algorithm. (English) Zbl 1325.68270

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 107-114 (2014).
MSC:  68W30 33F10
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Parallel telescoping and parameterized Picard-Vessiot theory. (English) Zbl 1325.68269

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 99-106 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Quantifier elimination by cylindrical algebraic decomposition based on regular chains. (English) Zbl 1325.68268

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 91-98 (2014).
MSC:  68W30 03C10
PDFBibTeX XMLCite
Full Text: DOI

Solving higher order linear differential equations having elliptic function coefficients. (English) Zbl 1325.34001

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 83-90 (2014).
MSC:  34A05 34A30 68W30
PDFBibTeX XMLCite
Full Text: DOI

Improved algorithm for computing separating linear forms for bivariate systems. (English) Zbl 1325.68267

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 75-82 (2014).
MSC:  68W30 13P15 68Q25
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

Computing necessary integrability conditions for planar parametrized homogeneous potentials. (English) Zbl 1325.68266

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 67-74 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv HAL

A fast algorithm for computing the characteristic polynomial of the \(p\)-curvature. (English) Zbl 1325.68265

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 59-66 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A new deterministic algorithm for sparse multivariate polynomial interpolation. (English) Zbl 1325.68264

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 51-58 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Computing the differential Galois group of a parameterized second-order linear differential equation. (English) Zbl 1325.68263

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 43-50 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Multivariate sparse interpolation using randomized Kronecker substitutions. (English) Zbl 1325.68262

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 35-42 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Sparse interpolation over finite fields via low-order roots of unity. (English) Zbl 1325.68261

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 27-34 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers. (English) Zbl 1325.68301

Nabeshima, Katsusuke (ed.), Proceedings of the 39th international symposium on symbolic and algebraic computation, ISSAC 2014, Kobe, Japan, July 23–25, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2501-1). 9-16 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

all top 5

Author

all top 3

Main Field

all top 3

Software