Search results

From MaRDI portal
View ( | ) (20 | 50 | 100 | 250 | 500)
  • Algebraically Closed Fields 1991-01-01 Paper A criterion for an element to belong to a given Sylow p-subgroup. I 1990-01-01 Paper https://portal.mardi4nfdi...
    10 bytes (16 words) - 20:11, 8 December 2023
  • a permutation and applications to distance between real line arrangements 2022-08-26 Paper Braid monodromy computation of real singular curves 2019-11-28...
    10 bytes (17 words) - 18:23, 11 December 2023
  • 2010-07-21 Paper CHAC, A MOACO algorithm for computation of bi-criteria military unit path in the battlefield: Presentation and first results 2009-07-27 Paper Evolvable...
    10 bytes (20 words) - 02:03, 7 October 2023
  • Structures for Dense Matrix Library Software 2005-02-25 Paper Computation and presentation of graphs displaying closure hierarchies of Jordan and Kronecker...
    10 bytes (16 words) - 03:25, 12 December 2023
  • le calcul par éléments finis 1999-01-21 Paper Application of parallel computation to material models with a large number of internal variables 1999-01-11...
    10 bytes (17 words) - 22:35, 8 December 2023
  • Date of Publication Type From Calculus of Variation to Exterior Differential Calculus: A Presentation and Some New Results 2024-02-07 Paper Algorithms for...
    10 bytes (16 words) - 15:17, 11 December 2023
  • polynomials: approach to techniques of computation algorithms in approximation and interpolation functions 2022-10-07 Paper Computational identities for extensions...
    10 bytes (17 words) - 12:31, 28 January 2024
  • linear systems, well suitable to domain decomposition methods 2014-01-15 Paper A new parallel sparse direct solver: Presentation and numerical experiments...
    10 bytes (18 words) - 17:11, 13 December 2023
  • Paper Primitive axial algebras of Jordan type 2015-06-02 Paper On Sidki's presentation for orthogonal groups. 2015-05-06 Paper The lift invariant distinguishes...
    10 bytes (18 words) - 23:41, 8 December 2023
  • Grids 2015-10-30 Paper Colored local type inference 2015-03-17 Paper Presentation of anisotropy properties of turbulence, invariants versus eigenvalue...
    10 bytes (17 words) - 21:27, 12 December 2023
  • Paper Synchronization of Pushdown Automata 2009-03-26 Paper Efficient Computation of Throughput Values of Context-Free Languages 2008-06-10 Paper Synchronization...
    10 bytes (16 words) - 12:04, 9 December 2023
  • Group to be Infinite 1993-02-16 Paper The use of Knuth-Bendix methods to solve the word problem in automatic groups 1992-09-27 Paper The computation of normalizers...
    10 bytes (19 words) - 11:39, 8 December 2023
  • definition and computation rules 2007-09-26 Paper From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions 2007-09-05...
    10 bytes (17 words) - 18:13, 9 December 2023
  • Direct computation of scattering matrices for general quantum graphs 2011-01-19 Paper Quantum field theory on quantum graphs and application to their conductance...
    10 bytes (16 words) - 15:25, 7 December 2023
  • Hyperbolic SVD to Varied Relative Accuracy 2005-09-19 Paper Orthogonal Eigenvectors and Relative Gaps 2005-02-21 Paper Multiple representations to compute orthogonal...
    10 bytes (19 words) - 18:48, 12 December 2023
  • An addition to communication primitives 1985-01-01 Paper Fair mutual exclusion with unfair P and V operations 1985-01-01 Paper A presentation of the Fibonacci...
    10 bytes (18 words) - 02:33, 25 September 2023
  • https://portal.mardi4nfdi.de/entity/Q2906689 2012-09-05 Paper Computation-free presentation of the fundamental group of generic \((p,q)\)-torus curves 2012-08-20...
    10 bytes (18 words) - 18:07, 6 October 2023
  • 2002-05-28 Paper Generation and presentation of nearly optimal solutions for mixed-integer linear programming, applied to a case in faming system design...
    10 bytes (21 words) - 13:31, 8 December 2023
  • dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method 2011-01-12 Paper Visually dynamic presentation of proofs...
    10 bytes (17 words) - 04:36, 9 December 2023
  • definition and computation rules 2007-09-26 Paper From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions 2007-09-05...
    10 bytes (16 words) - 14:06, 6 October 2023
View ( | ) (20 | 50 | 100 | 250 | 500)