Modular dynamic evaluation

DOI10.1145/1145768.1145812MaRDI QIDQ2958997zbMATH OpenOpenAlexFDO

Authors Masayuki Noro

Publication date 3 February 2017

Published in Proceedings of the 2006 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1145768.1145812

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Number-theoretic algorithms; complexity (11Y16) Algebraic number theory computations (11Y40)

Recommendations

• Directed evaluation
• Dynamic evaluation and algebraic closure in Axiom
• scientific article; zbMATH DE number 1263394
• scientific article; zbMATH DE number 17841
• scientific article; zbMATH DE number 2151224

Cited in

(9)

• The generalized Rabinowitsch trick
• Dynamical evaluations
• Accelerated evaluation of modular reduction
• Algebraic numbers: An example of dynamic evaluation
• Result invalidation for incremental modular analyses
• scientific article; zbMATH DE number 16654 (Why is no real title available?)
• Lexicographic Gröbner bases of bivariate polynomials modulo a univariate one
• Directed evaluation
• Dynamic Reactive Modules

This page was built for publication: Modular dynamic evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2958997)