Search results
From MaRDI portal
- D. Massart (section List of research outcomes)2004-03-18 Paper Acceleration of the convergence of the method of global iterations for the solution of simplified Navier-Stokes equations. 2004-03-18 Paper On...10 bytes (15 words) - 12:30, 24 September 2023
- between simply typed \(\lambda\)-terms; mixed prefix; quantifier alternation Mathematics Subject Classification ID DB lookup for MSC labels failed Uses Software...15 bytes (58 words) - 07:05, 31 January 2024
- V. Pereyra (section List of research outcomes)expansion of butterfly networks 2002-09-29 Paper Folding of some types of fuzzy manifolds and their retractions 2002-09-25 Paper The application of the method...10 bytes (15 words) - 13:11, 24 September 2023