Search results for "Lifting"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
90	Seonhong Hwang, Youngeun Kim, Youngho Kim	Joint Kinetics and Lumbar Curvatures during Symmetric Lifting: Squat and Stoop.	BMEI (2)	2008	DBLP DOI BibTeX RDF	squat, stoop, joint angle, joint moment, joint power, lordosis, lifting
87	Oleksiy B. Pogrebnyak, Pablo Ramírez, Luis Pastor Sánchez Fernández, Roberto Luna	Data Dependent Wavelet Filtering for Lossless Image Compression.	CIARP	2005	DBLP DOI BibTeX RDF	adaptive compression, image processing, wavelets, lifting scheme
82	Marco T. Morazán, Ulrik Pagh Schultz	Optimal Lambda Lifting in Quadratic Time.	IFL	2007	DBLP DOI BibTeX RDF
74	Jean-Philippe P. Richard, Mohit Tawarmalani	Lifting inequalities: a framework for generating strong cuts for nonlinear programs.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C26, 90C30, 90C11
74	Reinder J. Bril, Loe M. G. Feijs, André Glas, René L. Krikhaar, Thijs Winter	Hiding Expressed Using Relation Algebra with Multi-Relations - Oblique Lifting and Lowering for Unbalanced Systems.	CSMR	2000	DBLP DOI BibTeX RDF	architecture verification, software architecture, formal specification, reverse engineering, software visualization, relation algebra, architectural analysis
73	Quentin Louveaux, Laurence A. Wolsey	Lifting, superadditivity, mixed integer rounding and single node flow sets revisited.	Ann. Oper. Res.	2007	DBLP DOI BibTeX RDF	Mixed integer rounding, Single node flow sets, Lifting
73	Jan Maly 0002, Pavel Rajmic	Fast lifting wavelet transform and its implementation in Java. (PDF / PS)	PWC	2007	DBLP DOI BibTeX RDF	CDF, Java, wavelet, transform, convolution, lifting, Fast
73	Matthew A. Nunes, Marina I. Knight, Guy P. Nason	Adaptive lifting for nonparametric regression.	Stat. Comput.	2006	DBLP DOI BibTeX RDF	Curve estimation, Wavelets, Lifting, Nonparametric regression
73	J. C. E. van der Burg, L. J. R. Casius, Idsart Kingma, Jaap H. van Dieën, Arthur J. van Soest	Factors underlying the perturbation resistance of the trunk in the first part of a lifting movement.	Biol. Cybern.	2005	DBLP DOI BibTeX RDF	Muscle dynamics, Perturbations, Lifting, Forward simulation
73	Quentin Louveaux, Laurence A. Wolsey	Lifting, superadditivity, mixed integer rounding and single node flow sets revisited.	4OR	2003	DBLP DOI BibTeX RDF	mixed integer rounding, single node flow sets, Lifting
65	Weisheng Dong, Guangming Shi, Jizheng Xu	Signal-adapted directional lifting scheme for image compression.	ISCAS	2008	DBLP DOI BibTeX RDF
65	Rohit Kumar 0001, Ying-Jui Chen, Soontorn Oraintara, Kevin Amaratunga	Lapped unimodular transforms: lifting factorization and structural regularity.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
65	Young-Ho Seo, Dong-Wook Kim	A New VLSI Architecture of Lifting-Based DWT.	ARC	2006	DBLP DOI BibTeX RDF
65	Jan Verschelde, Karin Gatermann, Ronald Cools	Mixed-Volume Computation by Dynamic Lifting Applied to Polynomial System Solving.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
64	BoJin Zhuang, WeiTao Yuan, Lizhong Peng	Lifting scheme of symmetric tight wavelets frames.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	tight frame, wavelet transform, lifting scheme
64	Pei-Yin Chen	VLSI Implementation for One-Dimensional Multilevel Lifting-Based Wavelet Transform.	IEEE Trans. Computers	2004	DBLP DOI BibTeX RDF	signal processing, Discrete wavelet transform, multiresolution, lifting scheme
64	Marco Ferretti, Davide Rizzo	A Parallel Architecture for the 2-D Discrete Wavelet Transform with Integer Lifting Scheme.	J. VLSI Signal Process.	2001	DBLP DOI BibTeX RDF	parallel filters, VLSI, wavelet transform, systolic arrays, lifting scheme
63	Maria E. Angelopoulou, Kostas Masselos, Peter Y. K. Cheung, Yiannis Andreopoulos	Implementation and Comparison of the 5/3 Lifting 2D Discrete Wavelet Transform Computation Schedules on FPGAs.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	5/3 lifting filter-pair, row-column, line-based, FPGA, implementation, discrete wavelet transform, comparison, lifting scheme, block-based
61	Kwang Sung Park, Jin Bae Park, Yoon Ho Choi, Zhong Li, Nam Hyun Kim	Design of H2 Controllers for Sampled-Data Systems with Input Time Delays.	Real Time Syst.	2004	DBLP DOI BibTeX RDF	sampled-data systems, input time delays, lifting technique, H 2 sampled-data controller, real-time control systems
61	Alin Bostan, Grégoire Lecerf, Bruno Salvy, Éric Schost, B. Wiebelt	Complexity issues in bivariate polynomial factorization.	ISSAC	2004	DBLP DOI BibTeX RDF	Hensel lifting, multi-moduli, tellegen, transposition principle, computer algebra, polynomial factorization
56	Xingda Qu, Maury A. Nussbaum	Simulating Human Lifting Motions Using Fuzzy-Logic Control.	IEEE Trans. Syst. Man Cybern. Part A	2009	DBLP DOI BibTeX RDF
56	Hitoshi Kiya, Masahiro Iwahashi, Osamu Watanabe 0002	A new structure of lifting wavelet for reducing rounding error.	ISCAS	2008	DBLP DOI BibTeX RDF
56	Ruiqin Xiong, Jizheng Xu, Feng Wu 0001, Shipeng Li 0001	Barbell-Lifting Based 3-D Wavelet Coding Scheme.	IEEE Trans. Circuits Syst. Video Technol.	2007	DBLP DOI BibTeX RDF
56	Qi Cheng 0001, Ming-Deh A. Huang	Partial Lifting and the Elliptic Curve Discrete Logarithm Problem.	Algorithmica	2006	DBLP DOI BibTeX RDF
56	Xi Zhang 0010, Wei Wang 0247, Toshinori Yoshikawa, Yoshinori Takei	Design of IIR orthogonal wavelet filter banks using lifting scheme.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
55	S. M. Mizanoor Rahman, Ryojun Ikeura, Masaya Nobe, Hideki Sawai	Design guidelines for industrial power assist robots for lifting heavy objects based on human's weight perception for better HRI.	HRI	2010	DBLP DOI BibTeX RDF	feedback position control, lifting objects, power assist robot, weight perception, psychophysics, design guidelines
55	Marina I. Knight, Guy P. Nason	A 'nondecimated' lifting transform.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Nondecimation, Basis averaging, Wavelets, Lifting, Nonparametric regression
55	Tinku Acharya, Chaitali Chakrabarti	A Survey on Lifting-based Discrete Wavelet Transform Architectures.	J. VLSI Signal Process.	2006	DBLP DOI BibTeX RDF	architecture, VLSI, Discrete Wavelet Transform, lifting
52	Asadollah Shahbahrami, Ben H. H. Juurlink, Stamatis Vassiliadis	Performance Comparison of SIMD Implementations of the Discrete Wavelet Transform.	ASAP	2005	DBLP DOI BibTeX RDF	SIMD extensions, Discrete Wavelet Transform, lifting scheme
47	Yu Liu 0041, King Ngi Ngan	Weighted Adaptive Lifting-Based Wavelet Transform for Image Coding.	IEEE Trans. Image Process.	2008	DBLP DOI BibTeX RDF
47	Santanu S. Dey, Laurence A. Wolsey	Lifting Integer Variables in Minimal Inequalities Corresponding to Lattice-Free Triangles.	IPCO	2008	DBLP DOI BibTeX RDF
47	Hitoshi Arisumi, Sylvain Miossec, Jean-Rémy Chardonnet, Kazuhito Yokoi	Dynamic lifting by whole body motion of humanoid robots.	IROS	2008	DBLP DOI BibTeX RDF
47	Ruben Bartholomä, Thomas Greiner, Frank Kesel, Wolfgang Rosenstiel	Automatic synthesis of VLSI architectures for arbitrary lifting-based filter banks and transforms.	ICASSP	2008	DBLP DOI BibTeX RDF
47	Shunsuke Iwamura, Yuichi Tanaka 0001, Masaaki Ikehara	An Efficient Lifting Structure of Biorthogonal Filter Banks for Lossless Image Coding.	ICIP (6)	2007	DBLP DOI BibTeX RDF
47	Marc Herbstritt, Vanessa Struve, Bernd Becker 0001	Application of Lifting in Partial Design Analysis.	MTV	2007	DBLP DOI BibTeX RDF
47	Christopher M. Brislawn, Brendt Wohlberg	The polyphase-with-advance representation and linear phase lifting factorizations.	IEEE Trans. Signal Process.	2006	DBLP DOI BibTeX RDF
47	Guoan Yang, Shugang Guo	A New Wavelet Lifting Scheme for Image Compression Applications.	IWICPAS	2006	DBLP DOI BibTeX RDF
47	Hisashi Aomori, Tsuyoshi Otake, Nobuaki Takahashi, Mamoru Tanaka	Lifting-based lossless parallel image coding on discrete-time cellular neural networks.	ISCAS	2006	DBLP DOI BibTeX RDF
47	Nantheera Anantrasirichai, Cedric Nishan Canagarajah, David R. Bull	Lifting-based multi-view image coding.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
47	Shigeru Takano, Koichi Niijima	Person Identification Using Fast Face Learning of Lifting Dyadic Wavelet Filters.	CORES	2005	DBLP DOI BibTeX RDF
47	Bartek Klin	The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.	CALCO	2005	DBLP DOI BibTeX RDF
47	Shin-ya Katsumata	A Semantic Formulation of TT-Lifting and Logical Predicates for Computational Metalanguage.	CSL	2005	DBLP DOI BibTeX RDF
47	Xi Zhang 0010, Wei Wang 0247, Toshinori Yoshikawa, Yoshinori Takei	Design of iir orthogonal wavelet filter banks using lifting scheme.	ICIP	2004	DBLP DOI BibTeX RDF
47	Qi Cheng 0001, Ming-Deh A. Huang	On Partial Lifting and the Elliptic Curve Discrete Logarithm Problem.	ISAAC	2004	DBLP DOI BibTeX RDF	partiallifting, Elliptic curve cryptosystem, discrete logarithm
47	Ying-Jui Chen, Soontorn Oraintara, Kevin Amaratunga	M-channel lifting-based design of paraunitary and biorthogonal filter banks with structural regularity.	ISCAS (4)	2003	DBLP DOI BibTeX RDF
47	Olivier Danvy, Ulrik Pagh Schultz	Lambda-Lifting in Quadratic Time.	FLOPS	2002	DBLP DOI BibTeX RDF
47	Chao-Tsung Huang, Po-Chih Tseng, Liang-Gee Chen	Flipping structure: an efficient VLSI architecture for lifting-based discrete wavelet transform.	APCCAS (1)	2002	DBLP DOI BibTeX RDF
47	Adam Fischbach, John Hannan	Specification and Correctness of Lambda Lifting.	SAIG	2000	DBLP DOI BibTeX RDF
47	Zonghao Gu, George L. Nemhauser, Martin W. P. Savelsbergh	Sequence Independent Lifting of Cover Inequalities.	IPCO	1995	DBLP DOI BibTeX RDF
46	Hao Wu, Chuanfeng Li, Yongji Wang 0001	FCMAC Based Guidance Law for Lifting Reentry Vehicles.	ISNN (3)	2009	DBLP DOI BibTeX RDF	Lifting reentry vehicle, Reentry guidance law, LQR method, FCMAC, Nominal trajectory tracking
46	Awais M. Kamboh, Andrew J. Mason, Karim G. Oweiss	Analysis of Lifting and B-Spline DWT Implementations for Implantable Neuroprosthetics.	J. Signal Process. Syst.	2008	DBLP DOI BibTeX RDF	neural interface, data compression, discrete wavelet transform, B-spline, lifting
46	Sami Khanfir, Mohamed Jemni	On a Novel Dynamic Parallel Hardware Architecture for Lifting-Based DWT.	Euro-Par	2008	DBLP DOI BibTeX RDF	FPGA, parallel, reconfigurable, DWT, lifting
46	Martin E. Avendano, Teresa Krick, Ariel Pacetti	Newton-Hensel Interpolation Lifting.	Found. Comput. Math.	2006	DBLP DOI BibTeX RDF	Newton-Hensel lifting, Adic integers, Sparse polynomial interpolation
46	Sankar Barua, Joan Carletta, Kishore A. Kotteri, Amy E. Bell	An efficient architecture for lifting-based two-dimensional discrete wavelet transforms.	ACM Great Lakes Symposium on VLSI	2004	DBLP DOI BibTeX RDF	lifting structure, discrete wavelet transform
46	Artur Przelaskowski	Lifting-Based Reversible Transforms for Lossy-to-Lossless Wavelet Codecs.	CAIP	2001	DBLP DOI BibTeX RDF	integer-to-integer transform, lifting scheme, wavelet coding
44	Olivier Danvy, Ulrik Pagh Schultz	Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure.	PEPM	1997	DBLP DOI BibTeX RDF
43	Seyed Mohammad Mahdi Javadi, Michael B. Monagan	On factorization of multivariate polynomials over algebraic number and function fields.	ISSAC	2009	DBLP DOI BibTeX RDF	hensel lifting, sparse interpolation, factorization algorithms, algebraic function fields
43	Zaide Liu, Nanning Zheng 0001	Parametrization Construction of Integer Wavelet Transforms for Embedded Image Coding.	IWICPAS	2006	DBLP DOI BibTeX RDF	Integer Wavelet Transform (IWT), Lossy-to-lossless image coding, Computational complexity, Quantization, Lifting scheme, Compression performance
38	Xieping Gao, Fen Xiao, Bodong Li	Construction of Arbitrary Dimensional Biorthogonal Multiwavelet Using Lifting Scheme.	IEEE Trans. Image Process.	2009	DBLP DOI BibTeX RDF
38	Motoyasu Tanaka, Fumitoshi Matsuno	A study on sinus-lifting motion of a snake robot with switching constraints.	ICRA	2009	DBLP DOI BibTeX RDF
38	Godwin Shen, Antonio Ortega	Comopact image representation using wavelet lifting along arbitrary trees.	ICIP	2008	DBLP DOI BibTeX RDF
38	Hitoshi Kiya, Masahiro Iwahashi, Osamu Watanabe 0002	A new class of lifting wavelet transform for guaranteeing losslessness of specific signals.	ICASSP	2008	DBLP DOI BibTeX RDF
38	Agostinho Agra, Miguel Fragoso Constantino	Lifting two-integer knapsack inequalities.	Math. Program.	2007	DBLP DOI BibTeX RDF
38	Wenpeng Ding, Feng Wu 0001, Xiaolin Wu 0001, Shipeng Li 0001, Houqiang Li	Adaptive Directional Lifting-Based Wavelet Transform for Image Coding.	IEEE Trans. Image Process.	2007	DBLP DOI BibTeX RDF
38	Yu Liu 0041, King Ngi Ngan	Weighted Adaptive Lifting-Basedwavelet Transform.	ICIP (3)	2007	DBLP DOI BibTeX RDF
38	Masayuki Hara, Takahiro Higuchi, Takeo Yamagishi, Naoya Ashitaka, Jian Huang 0008, Tetsuro Yabuta	Analysis of Human Weight Perception for Sudden Weight Changes during Lifting Task Using a Force Display Device.	ICRA	2007	DBLP DOI BibTeX RDF
38	Bo Zeng, Jean-Philippe P. Richard	A Framework to Derive Multidimensional Superadditive Lifting Functions and Its Applications.	IPCO	2007	DBLP DOI BibTeX RDF
38	Soo-Chang Pei, Jian-Jiun Ding	Scaled Lifting Scheme and Generalized Reversible Integer Transform.	ISCAS	2007	DBLP DOI BibTeX RDF
38	Lijie Liu, Trac D. Tran	Rate-Distortion Analysis of Multiplierless Lifting-based IDCT Approximations.	CISS	2007	DBLP DOI BibTeX RDF
38	Ömer Nezih Gerek, A. Enis Çetin	A 2-D orientation-adaptive prediction filter in lifting structures for image coding.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
38	Chuo-Ling Chang, Xiaoqing Zhu, Prashant Ramanathan, Bernd Girod	Light field compression using disparity-compensated lifting and shape adaptation.	IEEE Trans. Image Process.	2006	DBLP DOI BibTeX RDF
38	Basant K. Mohanty, Pramod Kumar Meher	VLSI Architecture for High-Speed / Low-Power Implementation of Multilevel Lifting DWT.	APCCAS	2006	DBLP DOI BibTeX RDF
38	Egon Balas	Projection, Lifting and Extended Formulation in Integer and Combinatorial Optimization.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	sequential convexification, 0-1 programming, disjunctive programming, lift-and-project
38	José Oliver 0001, Elena Oliver, Manuel P. Malumbres	On the efficient memory usage in the lifting scheme for the two-dimensional wavelet transform computation.	ICIP (1)	2005	DBLP DOI BibTeX RDF
38	Gab Jung, Seong Park, Jung Kim	Efficient VLSI Architectures for Convolution and Lifting Based 2-D Discrete Wavelet Transform.	Asia-Pacific Computer Systems Architecture Conference	2005	DBLP DOI BibTeX RDF
38	Chih-Chi Cheng, Chao-Tsung Huang, Po-Chih Tseng, Chia-Ho Pan, Liang-Gee Chen	Multiple-lifting scheme: memory-efficient VLSI implementation for line-based 2-D DWT.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
38	Lei Zhang 0020, Anamitra Makur, Ce Zhu	Design of 2-channel linear phase filter bank: a lifting approach.	ISCAS (5)	2005	DBLP DOI BibTeX RDF
38	Nan Zhang 0006, Yan Lu 0001, Feng Wu 0001, Baocai Yin	Directional Lifting-Based Wavelet Transform for Multiple Description Image Coding with Quincunx Segmentation.	PCM (2)	2005	DBLP DOI BibTeX RDF
38	Annabelle Gouze, Marc Antonini, Michel Barlaud, Benoît Macq	Design of signal-adapted multidimensional lifting scheme for lossy coding.	IEEE Trans. Image Process.	2004	DBLP DOI BibTeX RDF
38	Yan-Kui Sun	A two-dimensional lifting scheme of integer wavelet transform for lossless image compression.	ICIP	2004	DBLP DOI BibTeX RDF
38	Hisashi Aomori, Tsuyoshi Otake, Nobuaki Takahashi, Mamoru Tanaka	Lossless image coding based on lifting wavelet using discrete-time cellular neural network with multi-templates.	ISCAS (3)	2004	DBLP DOI BibTeX RDF
38	Srikar Movva, S. Srinivasan 0001	A Novel Architecture for Lifting-Based Discrete Wavelet Transform for JPEG2000 Standard suitable for VLSI.	VLSI Design	2003	DBLP DOI BibTeX RDF
38	Gemma Piella, Henk J. A. M. Heijmans	An adaptive update lifting scheme with perfect reconstruction.	ICIP (3)	2001	DBLP DOI BibTeX RDF
38	Wei-Hsin Chang, Yew-San Lee, Wen-Shiaw Peng, Chen-Yi Lee	A line-based, memory efficient and programmable architecture for 2D DWT using lifting scheme.	ISCAS (4)	2001	DBLP DOI BibTeX RDF
38	Jer-Min Jou, Yeu-Horng Shiau, Chin-Chi Liu	Efficient VLSI architectures for the biorthogonal wavelet transform by filter bank and lifting scheme.	ISCAS (2)	2001	DBLP DOI BibTeX RDF
38	Flemming Nielson, Hanne Riis Nielson	2-level lambda-lifting.	ESOP	1988	DBLP DOI BibTeX RDF
38	Ibrahim Saeed Koko, Herman Agustiawan	High-Speed and Power Efficient Lifting-Based VLSI Architecture for Two-Dimesional Discrete Wavelet Transform.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	pipelined, discrete wavelet transform, VLSI architecture, high-speed, lifting scheme
38	Agnieszka Szczesna	The Lifting Scheme for Multiresolution Wavelet-Based Transformation of Surface Meshes with Additional Attributes.	ICCVG	2008	DBLP DOI BibTeX RDF	irregular surface mesh, multiresolution, lifting scheme
38	Gerhard Navratil, Farid Karimipour, Andrew U. Frank	Lifting Imprecise Values.	AGILE Conf.	2008	DBLP DOI BibTeX RDF	imprecise values, error propagation, lifting
38	Kai Liu 0021, Keyan Wang, Yunsong Li, Chengke Wu 0001	A Novel VLSI Architecture for Real-Time Line-Based Wavelet Transform Using Lifting Scheme.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	line-based, lifting-based, VLSI, wavelet transforms
38	Dominik Engel, Andreas Uhl	Parameterized biorthogonal wavelet lifting for lightweight JPEG 2000 transparent encryption.	MM&Sec	2005	DBLP DOI BibTeX RDF	lightweight encryption, parameterized biorthogonal wavelet lifting, transparent encryption, JPEG 2000
38	S. Mayilavelane Aroutchelvame, Kaamran Raahemifar	An Efficient Architecture for Lifting-Based Forward and Inverse Discrete Wavelet Transform.	ICME	2005	DBLP DOI BibTeX RDF	DWT architecture, DWT, Lifting, JPEG 2000
38	Xavier Dahan, Marc Moreno Maza, Éric Schost, Wenyuan Wu, Yuzhen Xie	Lifting techniques for triangular decompositions.	ISSAC	2005	DBLP DOI BibTeX RDF	Hensel lifting, polynomial systems, triangular sets
38	Giovanni Felici, Claudio Gentile	Zero-Lifting for Integer Block Structured Problems.	J. Comb. Optim.	2003	DBLP DOI BibTeX RDF	block structured problems, lifting procedures, integer programming
35	David Avis, Hiroshi Imai, Tsuyoshi Ito	Generating facets for the cut polytope of a graph by triangular elimination.	Math. Program.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 52B12, 90C57, 05C99
35	Hongliang Li 0001, Guizhong Liu, Zhongwei Zhang	Optimization of integer wavelet transforms based on difference correlation structures.	IEEE Trans. Image Process.	2005	DBLP DOI BibTeX RDF
34	Huawei Wang, Kai Tang 0001	Biorthogonal wavelet construction for hybrid quad/triangle meshes.	Vis. Comput.	2009	DBLP DOI BibTeX RDF	Quad/triangle subdivision, Hybrid mesh, Lifting scheme, Biorthogonal wavelet
34	Huawei Wang, Kaihuai Qin, Hanqiu Sun	v3-Subdivision-Based Biorthogonal Wavelets.	IEEE Trans. Vis. Comput. Graph.	2007	DBLP DOI BibTeX RDF	?3 subdivision, lifting scheme, biorthogonal wavelet
34	Yiyong Yang, Rencheng Wang, Ming Zhang, Dewen Jin, Fangfang Wu	Redundant Muscular Force Analysis of Human Lower Limbs During Rising from a Squat.	HCI (12)	2007	DBLP DOI BibTeX RDF	Redundant Muscular force, Neural control analysis, Human squat lifting
34	Matthias Jach, Matthias Köppe, Robert Weismantel	Nondecomposable solutions to group equations and an application to polyhedral combinatorics.	4OR	2006	DBLP DOI BibTeX RDF	Gomory corner polyhedron, irreducible group solutions, simultaneous lifting