Entity usage

From MaRDI portal

This page lists pages that use the given entity (e.g. Q42). The list is sorted by descending page ID, so that newer pages are listed first.

List of pages that use a given entity

Showing below up to 50 results in range #1 to #50.

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

  1. Constructing the internal Voronoi diagram of polygonal figure using the sweepline method: Label: en
  2. Solving Rician data analysis problems: theory and numerical modeling using computer algebra methods in Wolfram Mathematica: Label: en
  3. Lower bounds for the rank of a matrix with zeros and ones outside the leading diagonal: Label: en
  4. Port-Hamiltonian systems: structure recognition and applications: Label: en
  5. Searching for Laurent solutions of truncated systems of linear differential equations with the use of EG-eliminations: Label: en
  6. Primitive elements of free non-associative algebras over finite fields: Label: en
  7. Applying computer algebra systems to study Chaundy-Bullard identities for the vector partition function with weight: Label: en
  8. On calculating partial sums of multiple numerical series by methods of computer algebra: Label: en
  9. Symbolic studies of Maxwell's equations in space-time algebra formalism: Label: en
  10. Implementation of analytic projective geometry for computer graphics: Label: en
  11. Symbolic-numerical implementation of the model of adiabatic guided modes for two-dimensional irregular waveguides: Label: en
  12. Integration of a degenerate system of ODEs: Label: en
  13. An extendable essay on the Sage computer algebra system and an editor for creating extendable essays: Label: en
  14. Computer-algebraic approach to first differential approximations: Van der Pol oscillator: Label: en
  15. On linear cellular automata: Label: en
  16. The use of functional programming library for parallel computing on CUDA: Label: en
  17. Fuzzy measure on \(p\)-adic balls defined on a finite number set: Label: en
  18. Automated verification of multi-party agreements and scheduling of sending messages in distributed ledger systems: Label: en
  19. Effective lower bounds on the matrix rank and their applications: Label: en
  20. Resonances and periodic motions of Atwood's machine with two oscillating weights: Label: en
  21. Complementarity in finite quantum mechanics and computer-aided computations of complementary observables: Label: en
  22. On implementation of numerical methods for solving ordinary differential equations in computer algebra systems: Label: en
  23. Searching for Laurent solutions of systems of linear differential equations with truncated power series in the role of coefficients: Label: en
  24. Twenty similarity functions for two finite sequences: Label: en
  25. Optimization of ProVerif Programs for AKE Protocols: Label: en
  26. Complete Decision Procedure for the Theory of Bounded Pointer Arithmetic: Label: en
  27. Method for Convolutional Neural Network Hardware Implementation Based on a Residue Number System: Label: en
  28. Modified Error Detection and Localization in the Residue Number System: Label: en
  29. Construction of a Minimum Complexity Onboard Switched Network with Time Synchronization: Label: en
  30. Algorithm for Calculating Correctly Rounded Exponential Function in Double Precision Using Double-Extended Arithmetic: Label: en
  31. scientific article; zbMATH DE number 3780603: Label: en
  32. scientific article; zbMATH DE number 3772914: Label: en
  33. scientific article; zbMATH DE number 3667946: Label: en
  34. scientific article; zbMATH DE number 3653554: Label: en
  35. scientific article; zbMATH DE number 3653526: Label: en
  36. scientific article; zbMATH DE number 1973023: Label: en
  37. Computer algebra tools for geometrization of Maxwell's equations: Label: en
  38. Investigation of the influence of constant torque on equilibrium orientations of a satellite moving in a circular orbit with the use of computer algebra methods: Label: en
  39. Using dynamic memory reallocation in GInv: Label: en
  40. Parallel programming: Label: en
  41. Parallel approximation of multidimensional tensors using GPUs: Label: en
  42. Experimental study of algorithms for minimization of binary decision diagrams using algebraic representations of cofactors: Label: en
  43. Hardware implementation of code converters designed to reduce the length of binary encoded words: Label: en
  44. Admissible ordering on monomials is well-founded: a constructive proof: Label: en
  45. Algorithm for computing the truncation of the discriminant of a polynomial: Label: en
  46. Implementation of geometric algebra in computer algebra systems: Label: en
  47. Computing unimodular matrices of power transformations: Label: en
  48. Investigation of difference schemes for two-dimensional Navier-Stokes equations by using computer algebra algorithms: Label: en
  49. Development of algorithms and software for modeling controlled dynamic systems using symbolic computations and stochastic methods: Label: en
  50. Symbolic-numerical implementation of the Galerkin method for approximate solution of the waveguide diffraction problem: Label: en

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

Retrieved from "https://portal.mardi4nfdi.de/wiki/Special:EntityUsage/Q174054"
Powered by MediaWiki