Found 35 Documents (Results 1–35)
A cubic algorithm for computing the Hermite normal form of a nonsingular integer matrix. (English) Zbl 07753188
MSC:
68-XX
Enumeration and unimodular equivalence of empty delta-modular simplices. (English) Zbl 1529.90052
Khachay, Michael (ed.) et al., Mathematical optimization theory and operations research. 22nd international conference, MOTOR 2023, Ekaterinburg, Russia, July 2–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13930, 115-132 (2023).
On the recognition of \(\{a,b,c\}\)-modular matrices. (English) Zbl 1484.15038
Singh, Mohit (ed.) et al., Integer programming and combinatorial optimization. 22nd international conference, IPCO 2021, Atlanta, GA, USA, May 19–21, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12707, 238-251 (2021).
Computing Hermite normal form faster via solving system of linear equations. (English) Zbl 1467.65045
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 283-290 (2019).
Computing a lattice basis revisited. (English) Zbl 1467.11125
Bradford, Russell (ed.), Proceedings of the 44th international symposium on symbolic and algebraic computation, ISSAC ’19, Beijing, China, July 15–18, 2019. New York, NY: Association for Computing Machinery (ACM). 275-282 (2019).
FPT-algorithm for computing the width of a simplex given by a convex hull. (English. Russian original) Zbl 1418.90200
Mosc. Univ. Comput. Math. Cybern. 43, No. 1, 1-11 (2019); translation from Vestn. Mosk. Univ., Ser. XV 2019, No. 1, 8-24 (2019).
A polynomial-time algorithm to compute generalized Hermite normal forms of matrices over \(\mathbb{Z} [x]\). (English) Zbl 1411.68210
Computing an LLL-reduced basis of the orthogonal latice. (English) Zbl 1467.11121
Arreche, Carlos (ed.), Proceedings of the 43rd international symposium on symbolic and algebraic computation, ISSAC 2018, New York, NY, USA, July 16–19, 2018. New York, NY: Association for Computing Machinery (ACM). 127-133 (2018).
FPT-algorithms for some problems related to integer programming. (English) Zbl 1417.90101
MSC:
90C10
On the computation of the HNF of a module over the ring of integers of a number field. (English) Zbl 1403.11084
An algorithm for canonical forms of finite subsets of \(\mathbb {Z}^d\) up to affinities. (English) Zbl 1372.68271
Fast, deterministic computation of the Hermite normal form and determinant of a polynomial matrix. (English) Zbl 1372.65134
A modular algorithm to compute the generalized Hermite normal form for \(\mathbb{Z}[x]\)-lattices. (English) Zbl 1357.13028
Reviewer: Amir Hashemi (Isfahan)
Fast computation of shifted Popov forms of polynomial matrices via systems of modular polynomial equations. (English) Zbl 1361.68301
Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 365-372 (2016).
Computation of invariants of finite abelian groups. (English) Zbl 1361.13005
Reviewer: Jon Elmer (Aberdeen)
Scaling invariants and symmetry reduction of dynamical systems. (English) Zbl 1284.34045
Reviewer: Mircea Crâşmăreanu (Iaşi)
Rate estimation in partially observed Markov jump processes with measurement errors. (English) Zbl 1322.62096
Computing the torsion points of a variety defined by lacunary polynomials. (English) Zbl 1263.11115
Reviewer: Carlos D’Andrea (Barcelona)
Computing Hermite forms of polynomial matrices. (English) Zbl 1323.68602
Leykin, Anton (ed.), Proceedings of the 36th international symposium on symbolic and algebraic computation, ISSAC 2011, San Jose, CA, USA, June 7–11, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0675-1). 155-162 (2011).
Cuts from proofs: a complete and practical technique for solving linear inequalities over integers. (English) Zbl 1250.90057
Integer programming with 2-variable equations and 1-variable inequalities. (English) Zbl 1200.90128
MSC:
90C10
Quasi-affine transformation in higher dimension. (English) Zbl 1261.68147
Brlek, Srečko (ed.) et al., Discrete geometry for computer imagery. 15th IAPR international conference, DGCI 2009, Montréal, Canada, September 30 – October 2, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04396-3/pbk). Lecture Notes in Computer Science 5810, 493-504 (2009).
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations. (English) Zbl 1186.68013
Normal forms for general polynomial matrices. (English) Zbl 1128.15005
Reviewer: A. Arvanitoyeorgos (Rion)
Totally tight Chvatal-Gomory cuts. (English) Zbl 1027.90061
Reviewer: Alexander Rappoport (Moskva)
MSC:
90C10
A family of sparse polynomial systems arising in chemical reaction systems. (English) Zbl 0994.92040
On the computation of elementary divisors of integer matrices. (English) Zbl 1017.65037
Reviewer: Nikolai L.Vulchanov (Warszawa)
A linear space algorithm for computing the Hermite normal form. (English) Zbl 1356.68288
Proceedings of the 2001 international symposium on symbolic and algebraic computation, ISSAC ’01, London, Ontario, Canada, 2001. New York, NY: ACM Press (ISBN 1-58113-417-7). 231-236 (2001).
Computing Hermite and Smith normal forms of triangular integer matrices. (English) Zbl 0936.65056
Reviewer: F.Szidarovszky (Tucson)
MSC:
65F30
15A21
Filter Results by …
Document Type
- Journal Articles (26)
- Collection Articles (9)
all
top 5
Author
- Labahn, George (5)
- Malyshev, Dmitriĭ Sergeevich (3)
- Storjohann, Arne (3)
- Glanzer, Christoph (2)
- Hubert, Evelyne (2)
- Jing, Rui-Juan (2)
- Neiger, Vincent (2)
- Paolini, Giovanni (2)
- Pardalos, Panos M. (2)
- Stallknecht, Ingo (2)
- Veselov, Sergeĭ Ivanovich (2)
- Villard, Gilles (2)
- Weismantel, Robert (2)
- Yuan, Chunming (2)
- Aiken, Alex (1)
- Amrein, Michael (1)
- Beckermann, Bernhard (1)
- Biasse, Jean-François (1)
- Birmpilis, Stavros (1)
- Blot, Valentin (1)
- Bodirsky, Manuel (1)
- Chen, Jingwei (1)
- Clarke, Edmund Melson jun. (1)
- Coeurjolly, David (1)
- Dillig, Isil (1)
- Dillig, Thomas (1)
- Fieker, Claus (1)
- Gao, Xiaoshan (1)
- Gatermann, Karin (1)
- Gribanov, Dmitriĭ Vladimirovich (1)
- Grumberg, Orna (1)
- Gupta, Somit (1)
- Hofmann, Tommy (1)
- Huber, Birkett (1)
- Jain, Himanshu (1)
- Künsch, Hans Rudolf (1)
- Leroux, Louis (1)
- Letchford, Adam N. (1)
- Li, Jianwei (1)
- Liu, Renzhang (1)
- Lübeck, Frank (1)
- Mandel, Richard (1)
- Micciancio, Daniele (1)
- Nguyen, Phong Q. (1)
- Nordh, Gustav (1)
- Pagaria, Roberto (1)
- Pan, Yanbin (1)
- Pernet, Clément (1)
- Shumilov, Ivan (1)
- Stehlé, Damien (1)
- von Oertzen, Timo (1)
- Warinschi, Bogdan (1)
- Zhou, Wei (1)
all
top 5
Serial
- J. Symb. Comput. (5)
- Math. Comput. (2)
- Form. Methods Syst. Des. (2)
- Inf. Process. Lett. (1)
- J. Algebra (1)
- J. Number Theory (1)
- Theor. Comput. Sci. (1)
- Mosc. Univ. Comput. Math. Cybern. (1)
- Eur. J. Comb. (1)
- Oper. Res. Lett. (1)
- J. Complexity (1)
- Discrete Comput. Geom. (1)
- J. Glob. Optim. (1)
- Linear Algebra Appl. (1)
- Vietnam J. Math. (1)
- J. Comb. Optim. (1)
- Found. Comput. Math. (1)
- Optim. Lett. (1)
- ACM Trans. Algorithms (1)
- Stat. Comput. (1)
