Found 13 Documents (Results 1–13)
Certification for polynomial systems via square subsystems. (English) Zbl 1476.14103
Reviewer: Juan C. Migliore (Notre Dame)
Certification using Newton-invariant subspaces. (English) Zbl 1497.14124
Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10693, 34-50 (2017).
Certifying solutions to square systems of polynomial-exponential equations. (English) Zbl 1357.14071
Reviewer: Amir Hashemi (Isfahan)
Certified parallelotope continuation for one-manifolds. (English) Zbl 1298.65088
Reviewer: João R. Cardoso (Coimbra)
Filter Results by …
Document Type
- Journal Articles (12)
- Collection Articles (1)
all
top 5
Author
- Hauenstein, Jonathan D. (4)
- Sagraloff, Michael (2)
- Sottile, Frank (2)
- Becker, Ruben (1)
- Beltrán, Carlos E. (1)
- Bozóki, Sándor (1)
- Duff, Timothy (1)
- Goldsztejn, Alexandre (1)
- Granvilliers, Laurent (1)
- Grosdos, Alexandros (1)
- Heaton, Alexander (1)
- Hein, Nickolas (1)
- Imbach, Rémi (1)
- Jermann, Christophe (1)
- Kubjas, Kaie (1)
- Lee, Tsung-Lin (1)
- Levandovskyy, Viktor (1)
- Leykin, Anton (1)
- Liddell, Alan C. jun. (1)
- Martin, Benjamin T. (1)
- Mehlhorn, Kurt (1)
- Mourrain, Bernard (1)
- Pouget, Marc (1)
- Rónyai, Lajos (1)
- Scholten, Georgy (1)
- Sorea, Miruna-Ştefana (1)
- Técourt, Jean-Pierre (1)
- Teillaud, Monique (1)
- Yap, Chee-Keng (1)
all
top 5
Serial
- J. Symb. Comput. (5)
- Comput. Geom. (2)
- ACM Trans. Math. Softw. (1)
- SIAM J. Numer. Anal. (1)
- Adv. Appl. Math. (1)
- Exp. Math. (1)
- Math. Comput. Sci. (1)
all
top 3
Software
- Bertini (5)
- alphaCertified (5)
- ISOLATE (4)
- PHCpack (4)
- HOM4PS (3)
- NumericalAlgebraicGeometry (3)
- HomotopyContinuation (2)
- Macaulay2 (2)
- NAG4M2 (2)
- ANewDsc (1)
- Arb (1)
- Ccluster (1)
- Eigensolve (1)
- INTLAB (1)
- Julia (1)
- Lgp (1)
- LogConcDEAD (1)
- NewtonLib (1)
- NumericalCertification (1)
- SINGULAR (1)
- SqFreeEVAL (1)
- logcondens (1)
- na20 (1)