E-LIB Suche - Ergebnisse für: Jing, Rui-Juan

1

A Sampling-Based Method to Estimate the Volume of Solution ..:

Xie, Yan-Feng ; Yuan, Chun-Ming ; Jing, Rui-Juan
Journal of Systems Science and Complexity. , 2024

Link: https://doi.org/10.1007/..

2

Efficient detection of redundancies in systems of linear in..:

, In: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation,

Jing, Rui-Juan ; Moreno Maza, Marc ; Xie, Yan-Feng. - p. 351-360 , 2024

Link: https://dl.acm.org/doi/1..

3

Distributed Algorithms for Boolean Equations Over Networks:

Qi, Hongsheng ; Li, Bo ; Jing, Rui-Juan...
IEEE Transactions on Automatic Control. 68 (2023) 11 - p. 6589-6604 , 2023

Link: https://doi.org/10.1109/..

4

Complexity Estimates for Fourier-Motzkin Elimination:

, In: Computer Algebra in Scientific Computing; Lecture Notes in Computer Science,

Jing, Rui-Juan ; Moreno-Maza, Marc ; Talaashrafi, Delaram - p. 282-306 , 2020

Link: https://doi.org/10.1007/..

5

Distributedly Solving Boolean Equations over Networks:

, In: 2020 59th IEEE Conference on Decision and Control (CDC),

Qi, Hongsheng ; Li, Bo ; Jing, Rui-Juan.. - p. 560-565 , 2020

Link: https://doi.org/10.1109/..

6

The Z_Polyhedra Library in Maple:

, In: Communications in Computer and Information Science; Maple in Mathematics Education and Research,

Jing, Rui-Juan ; Moreno Maza, Marc - p. 132-144 , 2020

Link: https://doi.org/10.1007/..

7

Computing the integer points of a polyhedron:

Jing, Rui-Juan ; Maza, Marc Moreno
ACM Communications in Computer Algebra. 52 (2019) 4 - p. 126-129 , 2019

Link: https://doi.org/10.1145/..

8

A polynomial-time algorithm to compute generalized Hermite ..:

Jing, Rui-Juan ; Yuan, Chun-Ming ; Gao, Xiao-Shan
Theoretical Computer Science. 755 (2019) - p. 89-109 , 2019

Link: https://doi.org/10.1016/..

9

Computing the integer points of a polyhedron:

Jing, Rui-Juan ; Maza, Marc Moreno
ACM Communications in Computer Algebra. 52 (2019) 4 - p. 126-129 , 2019

Link: https://dl.acm.org/doi/1..

10

The polyhedra library in maple:

Jing, Rui-Juan ; Maza, Marc Moreno
ACM Communications in Computer Algebra. 51 (2018) 3 - p. 86-88 , 2018

Link: https://dl.acm.org/doi/1..

11

The polyhedra library in maple:

Jing, Rui-Juan ; Maza, Marc Moreno
ACM Communications in Computer Algebra. 51 (2018) 3 - p. 86-88 , 2018

Link: https://doi.org/10.1145/..

12

A modular algorithm to compute the generalized Hermite norm..:

Jing, Rui-Juan ; Yuan, Chun-Ming
Journal of Symbolic Computation. 81 (2017) - p. 97-118 , 2017

Link: https://doi.org/10.1016/..

13

Distributed Algorithms that Solve Boolean Equations with Lo..:

Qi, Hongsheng ; Li, Bo ; Jing, Rui-Juan...
http://arxiv.org/abs/2002.08064. , 2020

Link: http://arxiv.org/abs/200..

14

Complexity Estimates for Fourier-Motzkin Elimination:

Jing, Rui-Juan ; Moreno-Maza, Marc ; Talaashrafi, Delaram
http://arxiv.org/abs/1811.01510. , 2018

Link: http://arxiv.org/abs/181..

15

A Polynomial-time Algorithm to Compute Generalized Hermite ..:

Jing, Rui-Juan ; Yuan, Chun-Ming ; Gao, Xiao-Shan
http://arxiv.org/abs/1601.01067. , 2016

Link: http://arxiv.org/abs/160..