Suchergebnisse - Computer science Algorithms Symbolic computation and algebraic computation msc

  • Treffer 1 - 5 von 5
Treffer weiter einschränken
  1. 1
  2. 2

    Confluence of algebraic rewriting systems von Chenavier, Cyrille, Dupont, Benjamin, Malbos, Philippe

    ISSN: 0960-1295, 1469-8072
    Veröffentlicht: Cambridge, UK Cambridge University Press 01.08.2022
    Veröffentlicht in Mathematical structures in computer science (01.08.2022)
    “… Convergent rewriting systems on algebraic structures give methods to solve decision problems, to prove coherence results, and to compute homological invariants …”
    Volltext
    Journal Article
  3. 3

    The 4-adic complexity of new quaternary sequences with good autocorrelation von Wang, Yan, Li, Jiawei, Li, Nian, Fu, Yanxi

    ISSN: 0938-1279, 1432-0622
    Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 01.05.2025
    “… of the rational approximation algorithm …”
    Volltext
    Journal Article
  4. 4

    Orthogonal matrix and its application in Bloom’s threshold scheme von Mameri, Ahmed, Aissani, Amar

    ISSN: 0938-1279, 1432-0622
    Veröffentlicht: Berlin/Heidelberg Springer Berlin Heidelberg 12.03.2019
    “… For this reason the computational variants of Gram–Schmidt orthogonalization can fail. This paper presents an algorithm for constructing random orthogonal matrices over binary finite fields …”
    Volltext
    Journal Article
  5. 5

    Efficient optimisation of a vehicle suspension system, using a gradient-based approximation method, Part 1: Mathematical modelling von Thoresson, M.J., Uys, P.E., Els, P.S., Snyman, J.A.

    ISSN: 0895-7177, 1872-9479
    Veröffentlicht: Kidlington Elsevier Ltd 01.11.2009
    Veröffentlicht in Mathematical and computer modelling (01.11.2009)
    “… A methodology is proposed for the efficient determination of gradient information, when performing gradient based optimisation of an off-road vehicle’s …”
    Volltext
    Journal Article