- Newton's method and FFT trading Joris van der Hoeven Fri 02 March 2012
- Trace-based verification of imperative programs with I/O Gregory Malecha Greg Morrisett Ryan Wisnesky Fri 02 March 2012
- Variant quantifier elimination Hoon Hong Mohab Safey El Din Fri 02 March 2012
- Algorithmic Thomas decomposition of algebraic and differential systems Thomas Bächler Vladimir Gerdt Markus Lange-Hegermann Daniel Robertz Fri 02 March 2012
- On the bit-complexity of sparse polynomial and series multiplication Joris van der Hoeven Grégoire Lecerf Fri 02 March 2012
- On the complexity of the generalized MinRank problem Jean-Charles Faugère Mohab Safey El Din Pierre-Jean Spaenlehauer Fri 02 March 2012
- Improved polynomial remainder sequences for Ore polynomials Maximilian Jaroschek Fri 02 March 2012
- Practical graph isomorphism, II Brendan D. McKay Adolfo Piperno Fri 02 March 2012
- On the complexity of the Grøbner basis algorithm Magali Bardet Jean-Charles Faugère Bruno Salvy Fri 02 March 2012
- Faster sparse multivariate polynomial interpolation of straight-line programs Andrew Arnold Mark Giesbrecht Daniel S. Roche Fri 02 March 2012
- Sparse FGLM algorithms Jean-Charles Faugère Chenqi Mou Fri 02 March 2012
- Symmetrizing tableaux and the 5th case of the Foulkes conjecture Man-Wai Cheung Christian Ikenmeyer Sevak Mkrtchyan Fri 02 March 2012
- Positive root isolation for poly-powers by exclusion and differentiation Cheng-Chao Huang Jing-Cao Li Ming Xu Zhi-Bin Li Fri 02 March 2012
- Time and space efficient generators for quasiseparable matrices Clément Pernet Arne Storjohann Fri 02 March 2012
- Aligning concepts across proof assistant libraries Thibault Gauthier Cezary Kaliszyk Fri 02 March 2012
- An adaptive prefix-assignment technique for symmetry reduction Tommi Junttila Matti Karppa Petteri Kaski Jukka Kohonen Fri 02 March 2012
- Applying computer algebra systems with SAT solvers to the Williamson conjecture Curtis Bright Ilias Kotsireas Vijay Ganesh Fri 02 March 2012
- Structural translation from Time Petri Nets to Timed Automata Franck Cassez Olivier H. Roux Fri 02 March 2012
- Delta-oriented model-based integration testing of large-scale systems Malte Lochau Sascha Lity Remo Lachmann Ina Schaefer Ursula Goltz Fri 02 March 2012
- r-Indecomposable and r-nearly decomposable matrices Lihua You Bolian Liu Jian Shen Fri 02 March 2012
Library Size: 13G (12948 entries),
Last Updated: Apr 11, 2026, 09:14:10,
Build Time: N/A
