Found 4 Documents (Results 1–4)
Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (extended abstract). (English) Zbl 1509.03143
Manea, Florin (ed.) et al., Sailing routes in the world of computation. 14th conference on computability in Europe, CiE 2018, Kiel, Germany, July 30 – August 3, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10936, 376-385 (2018).
Unification in commutative theories, Hilbert’s basis theorem, and Gröbner bases. (English) Zbl 0791.68146
Reviewer: J.Avenhaus (Kaiserslautern)
Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination. (English) Zbl 0919.03029
Wang, Paul S. (ed.), International symposium on Symbolic and algebraic computation 92. ISSAC 92. Berkeley, CA, USA, July 27–29, 1992. Baltimore, MD: ACM Press. 177-188 (1992).
Filter Results by …
Document Type
- Journal Articles (2)
- Collection Articles (2)
Author
- Selivanov, Viktor L’vovich (2)
- Selivanova, Svetlana V. (2)
- Baader, Franz (1)
- Hong, Hoon (1)
Serial
- J. Assoc. Comput. Mach. (1)
- Computability (1)