„algebraic manipulation“

Suchergebnisse

1.000+ Treffer

• A Reaction Attack on a Public Key Cryptosystem Based on the Word Problem
  Vasco, María Isabel González ; Steinwandt, Rainer
• Improved upper complexity bounds for the discrete fourier transform
  Baum, Ulrich ; Clausen, Michael ; Tietz, Benno
• Automated Reasoning for Security Protocol Analysis
  Armando, Alessandro ; Basin, David A. ; Cuellar, Jorge ; Rusinowitch, Michaël ; Viganò, Luca
• Applied Mathematical Analysis and Computations I – 1st SGMC, Statesboro, USA, April 2–3, 2021 (Virtual)
  Wanduku, Divine ; Zheng, Shijun ; Zhou, Haomin ; Chen, Zhan ; Sills, Andrew V. ; Agyingi, Ephraim 2024 Springer Nature Switzerland, Imprint: Springer
• The Feature Space in Parallel Grammar Writing
  King, Tracy Holloway ; Forst, Martin ; Kuhn, Jonas ; Butt, Miriam
• Real root finding for low rank linear matrices
  Henrion, Didier ; Naldi, Simone ; Din, Mohab Safey El
• Further results on permutation polynomials from trace functions
  Wu, Danyao ; Yuan, Pingzhi
• Sparse Shifts for Univariate Polynomials
  Lakshman, Y. N. ; Saunders, B. David
• Ore Subresultant Coefficients in Solutions
  Hong, Hoon
• Various New Expressions for Subresultants and Their Applications
  Diaz–Toca, Gema M. ; Gonzalez–Vega, Laureano
• How to obtain lattices from $$(f,\sigma ,\delta )$$ ( f , σ , δ ) -codes via a generalization of Construction A
  Pumplün, S.
• Präzises Denken für Informatiker
  Wolf, Karsten 2017 Springer Berlin Heidelberg
• Generalizing Morley’s and Other Theorems with Automated Realization
  Braude, Eric ; Abdyldayev, Satbek
• A Pommaret bases approach to the degree of a polynomial ideal
  Binaei, Bentolhoda ; Hashemi, Amir ; Seiler, Werner M.
• Near-rings on digital Hopf groups
  Lee, Dae-Woong
• Parallel Postulates and Continuity Axioms: A Mechanized Study in Intuitionistic Logic Using Coq
  Boutry, Pierre ; Gries, Charly ; Narboux, Julien ; Schreck, Pascal
• Fast Formal Proof of the Erdős–Szekeres Conjecture for Convex Polygons with at Most 6 Points
  Marić, Filip
• Markov Chains and Markov Decision Processes in Isabelle/HOL
  Hölzl, Johannes
• Deciding Univariate Polynomial Problems Using Untrusted Certificates in Isabelle/HOL
  Li, Wenda ; Passmore, Grant Olney ; Paulson, Lawrence C.
• Design Patterns für mathematische Beweise – Ein Leitfaden insbesondere für Informatiker
  Ohlbach, Hans Jürgen ; Eisinger, Norbert 2017 Springer Berlin Heidelberg