| Publication | Date of Publication | Type |
|---|
| The char-set method and its applications to automated reasoning | 2019-10-01 | Paper |
| Autobiography of Wentsun Wu (1919–2017) | 2017-12-18 | Paper |
| Coupling dynamic analysis of spacecraft with multiple cylindrical tanks and flexible appendages | 2016-08-11 | Paper |
| Investigation on attitude disturbance control and vibration suppression for fuel-filled flexible spacecraft | 2016-08-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5167645 | 2014-06-30 | Paper |
| Attitude maneuver of liquid-filled spacecraft with a flexible appendage by momentum wheel | 2014-06-04 | Paper |
| A zero structure theorem for polynomial-equations-solving and its applications | 2011-04-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3640381 | 2009-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3497850 | 2008-05-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5439825 | 2008-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3441468 | 2007-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5474788 | 2006-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5474789 | 2006-06-26 | Paper |
| Computer Algebra and Geometric Algebra with Applications | 2005-11-29 | Paper |
| On algebrico-differential equations-solving | 2005-11-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4946075 | 2001-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2716051 | 2001-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4525678 | 2001-01-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4486221 | 2000-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3126575 | 1997-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4321816 | 1995-05-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325997 | 1995-03-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5288845 | 1994-12-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4280247 | 1994-08-23 | Paper |
| Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang | 1994-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035319 | 1993-05-18 | Paper |
| Mechanical theorem proving of differential geometries and some of its applications in mechanics | 1992-06-26 | Paper |
| On a projection theorem of quasi-varieties in elimination theory | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4713581 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3350677 | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3348440 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5751975 | 1988-01-01 | Paper |
| Rational homotopy type. A constructive study via the theory of the \(I^ *\)-measure | 1987-01-01 | Paper |
| On Chern numbers of algebraic varieties with arbitrary singularities | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3815261 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3820584 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3822143 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3826517 | 1987-01-01 | Paper |
| Basic principles of mechanical theorem proving in elementary geometries | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735721 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3737533 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3786466 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3787471 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3825776 | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3735720 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3743314 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689277 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3700869 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3700870 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3806387 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3311218 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3321494 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3668379 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3733801 | 1981-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3903715 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4746488 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3854655 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4153345 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4153620 | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4118509 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4104588 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4112658 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4112647 | 1974-01-01 | Paper |
| On Pontrjagin classes. I | 1970-01-01 | Paper |
| On Pontrjagin classes. II | 1970-01-01 | Paper |
| On Pontrjagin classes. IV | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5574680 | 1968-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5567004 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5569388 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5569389 | 1965-01-01 | Paper |
| On squares in Grassmann manifolds | 1964-01-01 | Paper |
| On the relations between Smith operations and Steenrod powers | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5612339 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5612340 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613100 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5613101 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3847409 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5515128 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5516558 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5547220 | 1962-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5334831 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5515127 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5517478 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5650550 | 1961-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5732331 | 1960-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5724368 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5727268 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5731391 | 1959-01-01 | Paper |
| Topologie combinatoire et invariants combinatoires | 1959-01-01 | Paper |
| On Pontrjagin classes. III | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5509538 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5555452 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5561743 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5608645 | 1959-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5731390 | 1958-01-01 | Paper |
| On the reduced products and the reduced cyclic products of a space | 1958-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3277871 | 1958-01-01 | Paper |
| On the relations between Smith operations and Steenrod powers | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3253038 | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5509537 | 1957-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3241068 | 1956-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5848700 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3230882 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3230883 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3230884 | 1955-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5830222 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5831058 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5831059 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3230881 | 1954-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5819938 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3278755 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3278756 | 1953-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5816023 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5816394 | 1952-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5792774 | 1950-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5793196 | 1950-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5791073 | 1949-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5786871 | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5795357 | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5795358 | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5795359 | 1948-01-01 | Paper |
| On the product of sphere bundles and the duality theorem modulo two | 1948-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5783578 | 1947-01-01 | Paper |
