Search results
From MaRDI portal
- improved basic line algorithm 2008-11-24 Paper https://portal.mardi4nfdi.de/entity/Q4783150 2002-12-02 Paper Numerical report of basic line algorithm for linear...10 bytes (13 words) - 08:25, 25 September 2023
- logic for partial predicates 2019-07-10 Paper Partial correctness of GCD algorithm 2019-07-10 Paper Kleene algebra of partial predicates 2018-10-17 Paper...10 bytes (13 words) - 17:48, 6 October 2023
- transformations involving generalized basic hypergeometric function of two variables 2010-10-18 Paper Summation formulae for basic hypergeometric functions via...10 bytes (15 words) - 01:44, 11 December 2023
- 1998-07-23 Paper A set of level 3 basic linear algebra subprograms 1998-03-23 Paper Algorithm 679: A set of level 3 basic linear algebra subprograms: model...10 bytes (16 words) - 02:22, 9 December 2023
- Paper Defect in cyclotomic Hecke algebras 2023-11-17 Paper On unitriangular basic sets for symmetric and alternating groups 2023-02-21 Paper Keys and Demazure...10 bytes (14 words) - 19:37, 9 December 2023
- the multifrontal method 1998-03-18 Paper Algorithm 692: Model implementation and test package for the Sparse Basic Linear Algebra Subprograms 1998-02-09 Paper...10 bytes (15 words) - 07:14, 12 December 2023
- 2005-04-06 Paper CAUCHY AUGMENTATION FOR BASIC HYPERGEOMETRIC SERIES 2004-05-27 Paper Rational Interpolation and Basic Hypergeometric Series 2004-04-04 Paper...10 bytes (15 words) - 04:10, 25 September 2023
- Decomposition 1981-01-01 Paper Algorithm 539: Basic Linear Algebra Subprograms for Fortran Usage [F1] 1979-01-01 Paper Basic Linear Algebra Subprograms for...10 bytes (15 words) - 10:33, 13 December 2023
- Paper Connectivity algorithms 2018-04-23 Paper Basic concepts in graph theory and algorithms 2018-04-23 Paper Basic graph algorithms 2018-04-23 Paper https://portal...10 bytes (14 words) - 06:01, 12 December 2023
- 2016-04-15 Paper Some \(q\)-supercongruences for truncated basic hypergeometric series 2016-01-06 Paper Basic and bibasic identities related to divisor functions...10 bytes (17 words) - 14:29, 24 September 2023
- 1998-07-23 Paper A set of level 3 basic linear algebra subprograms 1998-03-23 Paper Algorithm 679: A set of level 3 basic linear algebra subprograms: model...10 bytes (14 words) - 08:11, 13 December 2023
- Double-Word Arithmetic, and Comments on “Tight and Rigorous Error Bounds for Basic Building Blocks of Double-Word Arithmetic” 2022-03-29 Paper Emulating Round-to-Nearest...10 bytes (15 words) - 11:26, 11 December 2023
- formalisation of original representation theorems 2024-02-28 Paper A verified algorithm enumerating event structures 2017-07-21 Paper Pseudo-canonical formulae...10 bytes (14 words) - 03:55, 12 December 2023
- Unification of basic and composite nondifferentiable optimization 1997-02-03 Paper A two parameter mixed interior-exterior penalty algorithm 1996-04-01 Paper...10 bytes (15 words) - 00:12, 9 December 2023
- Gray codes for \(k\)-ary trees 2002-07-25 Paper A loopless algorithm for generation of basic minimal interval orders 2001-09-14 Paper Multiset Permutations...10 bytes (17 words) - 14:33, 8 December 2023
- Paper On bilateral basic hypergeometric series and continued fractions 2014-07-09 Paper A NOTE ON TRANSFORMATION FORMULAE FOR BILATERAL BASIC HYPERGEOMETRIC...10 bytes (14 words) - 17:48, 11 December 2023
- https://portal.mardi4nfdi.de/entity/Q3139195 1993-12-07 Paper Hierarchical algorithm for a partition problem using simulated annealing: application to placement...10 bytes (13 words) - 10:30, 12 December 2023
- Systems specification by basic protocols 2006-10-20 Paper Algebra of behavior transformations and its applications 2006-02-13 Paper Basic protocols, message...10 bytes (16 words) - 03:14, 12 December 2023
- 2016-05-17 Paper An improved DQDS algorithm 2014-09-05 Paper Do we fully understand the symmetric Lanczos algorithm yet? 2013-04-08 Paper Sensitivity of...10 bytes (17 words) - 18:48, 12 December 2023
- segmentation algorithms 2021-12-21 Paper A new algorithmic framework for basic problems on binary images 2017-05-12 Paper Small work space algorithms for some...10 bytes (13 words) - 06:00, 12 December 2023
