„computable algebra“

Suchergebnisse

1.000+ Treffer

• Making Presentation Math Computable: A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
  Greiner-Petter, André 2022 Universitätsbibliothek Wuppertal
• Erratum to: Punctual Categoricity Relative to a Computable Oracle
  Kalimullin, I. Sh ; Melnikov, A. G
• Computability and Complexity – Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
  Day, Adam ; Fellows, Michael R. ; Greenberg, Noam ; Khoussainov, Bakhadyr ; Melʹnikov, Aleksandr V. ; Rosamond, Frances 2016 Springer International Publishing
• The Euler characteristic and valuations on MV-algebras
  Mundici, Daniele ; Pedrini, Andrea
• Online and Feasible Presentability: From Trees to Modal Algebras
  Bazhenov, Nikolay ; Kalociński, Dariusz ; Wrocławski, Michał 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Dividing by Zero - How Bad Is It, Really?
  Kihara, Takayuki ; Pauly, Arno 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Computability Theory (Dagstuhl Seminar 17081)
  Ambos-Spies, Klaus ; Brattka, Vasco ; Downey, Rodney ; Lempp, Steffen
• Categories and functors in reverse and computable mathematics
  Wu, Huishan
• A characterization of strongly computable finite factorization domains
  Soto-Rosa, Geraldo ; Ocasio-González, Victor
• Computable Boolean Algebras and Complexity of the Fréchet Ideal
  Goncharov, S. S.
• Degrees of Selector Functions and Relative Computable Categoricity
  Kalimullin, I. Sh
• Local classes and computable indexations
  Dobritsa, V. P.
• Semi-effective numberings and definitions of the computable numbers
  Mayoh, B. H.
• Some applications of computable one-one numberings
  Kummer, Martin
• Local structure of Rogers semilattices of Σn 0-computable numberings
  Podzorov, S. Yu
• On computable numberings of families of Turing degrees
  Faizrahmanov, Marat
• On Initial Segments of Computable Linear Orders
  Coles, Richard J. ; Downey, R. G. ; Khoussainov, Bakhadyr
• Making presentation math computable – a context-sensitive approach for translating LaTeX to computer algebra systems
  Greiner-Petter, André 2023 Springer Vieweg
• Making Presentation Math Computable – A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems
  Greiner-Petter, André 2023 Springer Fachmedien Wiesbaden
• Computable approximations of a chainable continuum with a computable endpoint
  Iljazović, Zvonko ; Jelić, Matea