References in zbMATH (referenced in 63 articles )

Showing results 1 to 20 of 63.
Sorted by year (citations)

1 2 3 4 next

  1. Paulson, Lawrence C.: Computational logic: its origins and applications (2018)
  2. Kuga, Ken’ichi; Hagiwara, Manabu; Yamamoto, Mitsuharu: Formalization of Bing’s shrinking method in geometric topology (2016)
  3. Arai, Noriko H.; Matsuzaki, Takuya; Iwane, Hidenao; Anai, Hirokazu: Mathematics by machine (2014)
  4. Arnold, Andrew; Giesbrecht, Mark; Roche, Daniel S.: Sparse interpolation over finite fields via low-order roots of unity (2014)
  5. Arnold, Andrew; Roche, Daniel S.: Multivariate sparse interpolation using randomized Kronecker substitutions (2014)
  6. Arreche, Carlos E.: Computing the differential Galois group of a parameterized second-order linear differential equation (2014)
  7. Bläser, Markus; Jindal, Gorav: A new deterministic algorithm for sparse multivariate polynomial interpolation (2014)
  8. Bostan, Alin; Caruso, Xavier; Schost, Éric: A fast algorithm for computing the characteristic polynomial of the (p)-curvature (2014)
  9. Bostan, Alin; Combot, Thierry; Safey El Din, Mohab: Computing necessary integrability conditions for planar parametrized homogeneous potentials (2014)
  10. Bouzidi, Yacine; Lazard, Sylvain; Moroz, Guillaume; Pouget, Marc; Rouillier, Fabrice: Improved algorithm for computing separating linear forms for bivariate systems (2014)
  11. Burger, Reinhold: Solving higher order linear differential equations having elliptic function coefficients (2014)
  12. Chen, Changbo; Maza, Marc Moreno: Quantifier elimination by cylindrical algebraic decomposition based on regular chains (2014)
  13. Chen, Shaoshi; Feng, Ruyong; Li, Ziming; Singer, Michael F.: Parallel telescoping and parameterized Picard-Vessiot theory (2014)
  14. Chen, Shaoshi; Kauers, Manuel; Koutschan, Christoph: A generalized Apagodu-Zeilberger algorithm (2014)
  15. Corless, Robert M.; Jeffrey, David J.; Wang, Fei: The asymptotic analysis of some interpolated nonlinear recurrence relations (2014)
  16. De Feo, Luca; Doliskani, Javad; Schost, Éric: Fast arithmetic for the algebraic closure of finite fields (2014)
  17. Diatta, Daouda Niang; Rouillier, Fabrice; Roy, Marie-Françoise: On the computation of the topology of plane curves (2014)
  18. Diekert, Volker; Kausch, Jonathan: Logspace computations in graph products (2014)
  19. Dumas, Jean-Guillaume; Kaltofen, Erich: Essentially optimal interactive certificates in linear algebra (2014)
  20. Emiris, Ioannis Z.; Vidunas, Raimundas: Root counts of semi-mixed systems, and an application to counting Nash equilibria (2014)

1 2 3 4 next