×

zbMATH — the first resource for mathematics

Found 265 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
Atserias, Albert; Ochremiak, Joanna
Definable ellipsoid method, sums-of-squares proofs, and the isomorphism problem. (English) Zbl 1452.90238
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 66-75 (2018).
MSC:  90C22 03C13 03F20
PDF BibTeX XML Cite
\textit{A. Atserias} and \textit{J. Ochremiak}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 66--75 (2018; Zbl 1452.90238)
Full Text: DOI
Poznyak, A. S.
Robust feedback design for stabilization of nonlinear systems with sampled-data and quantized output: atractive ellipsoid method. (English. Russian original) Zbl 1322.93084
Autom. Remote Control 76, No. 5, 834-846 (2015); translation from Avtom. Telemekh. 2015, No. 5, 130-144 (2015).
MSC:  93D15 93C57 93C10 93C73
PDF BibTeX XML Cite
\textit{A. S. Poznyak}, Autom. Remote Control 76, No. 5, 834--846 (2015; Zbl 1322.93084); translation from Avtom. Telemekh. 2015, No. 5, 130--144 (2015)
Full Text: DOI
Dorofieiev, Yu. I.; Lyubchyk, L. M.; Nikulchenko, A. A.
Robust stabilizing inventory control in supply networks under uncertainty of external demand and supply time-delays. (English. Russian original) Zbl 1307.93349
J. Comput. Syst. Sci. Int. 53, No. 5, 761-775 (2014); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2014, No. 5, 146-160 (2014).
MSC:  93D21 90B05 93A15 90B15 93C41 93B50 90C22 90C25
PDF BibTeX XML Cite
\textit{Yu. I. Dorofieiev} et al., J. Comput. Syst. Sci. Int. 53, No. 5, 761--775 (2014; Zbl 1307.93349); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2014, No. 5, 146--160 (2014)
Full Text: DOI
Bürgisser, Peter; Cucker, Felipe
Condition. The geometry of numerical algorithms. (English) Zbl 1280.65041
Grundlehren der Mathematischen Wissenschaften 349. Berlin: Springer (ISBN 978-3-642-38895-8/hbk; 978-3-642-38896-5/ebook). xxxi, 554 p. (2013).
Reviewer: Michael Jung (Dresden)
MSC:  65F35 65-02 65K05 68Q15 68W01 15A12 65F10 90C51 65H10
PDF BibTeX XML Cite
\textit{P. Bürgisser} and \textit{F. Cucker}, Condition. The geometry of numerical algorithms. Berlin: Springer (2013; Zbl 1280.65041)
Full Text: DOI
Guenin, Bertrand; Stuive, Leanne
Single commodity-flow algorithms for lifts of graphic and co-graphic matroids. (English) Zbl 1372.05030
Goemans, Michel (ed.) et al., Integer programming and combinatorial optimization. 16th international conference, IPCO 2013, Valparaíso, Chile, March 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36693-2/pbk). Lecture Notes in Computer Science 7801, 193-204 (2013).
MSC:  05B35 05C22 90C05 90C47 68Q25
PDF BibTeX XML Cite
\textit{B. Guenin} and \textit{L. Stuive}, Lect. Notes Comput. Sci. 7801, 193--204 (2013; Zbl 1372.05030)
Full Text: DOI
Smeets, Ionica; Lenstra, Arjen; Lenstra, Hendrik; Lovász, László; Van Emde Boas, Peter
The history of the LLL-algorithm. In collaboration with Arjen Lenstra, Hendrik Lenstra, László Lovász, and Peter van Emde Boas. (English) Zbl 1230.11002
Nguyen, Phong Q. (ed.) et al., The LLL algorithm. Survey and applications. Dordrecht: Springer (ISBN 978-3-642-02294-4/hbk; 978-3-642-02295-1/ebook). Information Security and Cryptography, 1-17 (2010).
MSC:  11-03 11Y16 90C10
PDF BibTeX XML Cite
\textit{I. Smeets} et al., in: The LLL algorithm. Survey and applications. Dordrecht: Springer. 1--17 (2010; Zbl 1230.11002)
Full Text: DOI
Bartoň, Stanislav
Three dimensional modelling of the peach in MAPLE. (English) Zbl 1201.65032
Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 14. Proceedings of the seminar, Dolní Maxov, Czech Republic, June 1–6, 2008. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics (ISBN 978-80-85823-55-4). 7-14 (2008).
MSC:  65D18
PDF BibTeX XML Cite
\textit{S. Bartoň}, in: Programs and algorithms of numerical mathematics 14. Proceedings of the seminar, Dolní\ Maxov, Czech Republic, June 1--6, 2008. Prague: Academy of Sciences of the Czech Republic, Institute of Mathematics. 7--14 (2008; Zbl 1201.65032)
Zolotareva, N. D.
Evaluations of the global and local errors of the Störmer implicit method for a system of equations. (Russian, English) Zbl 1077.65087
Zh. Vychisl. Mat. Mat. Fiz. 45, No. 2, 267-271 (2005); translation in Comput. Math. Math. Phys. 45, No. 2, 256-260 (2005).
Reviewer: Andrei Zemskov (Moskva)
MSC:  65L70 65L05 34A34
PDF BibTeX XML Cite
\textit{N. D. Zolotareva}, Zh. Vychisl. Mat. Mat. Fiz. 45, No. 2, 267--271 (2005; Zbl 1077.65087); translation in Comput. Math. Math. Phys. 45, No. 2, 256--260 (2005)
Full Text: Link
Zolotareva, N. D.; Filippov, A. F.
Estimates of local and global errors of the Störmer method for systems of equations. (Russian, English) Zbl 1076.65074
Zh. Vychisl. Mat. Mat. Fiz. 44, No. 1, 111-122 (2004); translation in Comput. Math. Math. Phys. 44, No. 1, 100-111 (2004).
Reviewer: Sergei Zhuravlev (Moskva)
MSC:  65L70 65L05 34A34
PDF BibTeX XML Cite
\textit{N. D. Zolotareva} and \textit{A. F. Filippov}, Zh. Vychisl. Mat. Mat. Fiz. 44, No. 1, 111--122 (2004; Zbl 1076.65074); translation in Comput. Math. Math. Phys. 44, No. 1, 100--111 (2004)
Vaz, G. B.; Eça, L.; Falcão de Campos, J. A. C.
On the verification of a potential-based low-order boundary element method for incompressible flows. (English) Zbl 1018.76029
Brebbia, C. A. (ed.) et al., Boundary elements XXIV: Incorporating meshless solutions. 24th world conference, Sintra, Portugal, June 17-19, 2002. Southampton: WIT Press. 13-24 (2002).
MSC:  76M15 76B10
PDF BibTeX XML Cite
\textit{G. B. Vaz} et al., in: Boundary elements XXIV: Incorporating meshless solutions. 24th world conference, Sintra, Portugal, June 17--19, 2002. Southampton: WIT Press. 13--24 (2002; Zbl 1018.76029)
Full Text: Link
Remizov, A. O.
Error estimate for an approximate solution of an ODE system which is not solved with respect to the derivatives. (English. Russian original) Zbl 1031.65090
Mosc. Univ. Comput. Math. Cybern. 2001, No. 2, 30-37 (2001); translation from Vestn. Mosk. Univ., Ser. XV 2001, No. 2, 27-33 (2001).
MSC:  65L70 34A34 65L20
PDF BibTeX XML Cite
\textit{A. O. Remizov}, Mosc. Univ. Comput. Math. Cybern. 2001, No. 2, 27--33 (2001; Zbl 1031.65090); translation from Vestn. Mosk. Univ., Ser. XV 2001, No. 2, 27--33 (2001)
Litvinchev, I. S.
Ellipsoids containing optimal solutions of the linear programming problem. (English. Russian original) Zbl 0983.90038
Comput. Math. Math. Phys. 40, No. 2, 178-188 (2000); translation from Zh. Vychisl. Mat. Mat. Fiz. 40, No. 2, 188-198 (2000).
Reviewer: Alexey Tret’yakov (Siedlce)
MSC:  90C05 90C51 90C08
PDF BibTeX XML Cite
\textit{I. S. Litvinchev}, Comput. Math. Math. Phys. 40, No. 2, 178--188 (2000; Zbl 0983.90038); translation from Zh. Vychisl. Mat. Mat. Fiz. 40, No. 2, 188--198 (2000)
Gulyaev, V. I.; Lugovoj, P. Z.; Ivanchenko, G. M.; Yakovenko, E. V.
The diffraction of a shock wave at the curvilinear interface of transversely isotropic elastic media. (English. Russian original) Zbl 1011.74034
J. Appl. Math. Mech. 64, No. 3, 379-386 (2000); translation from Prikl. Mat. Mekh. 64, No. 3, 394-402 (2000).
Reviewer: D.Stanomir (Bucureşti)
MSC:  74J20 74J40
PDF BibTeX XML Cite
\textit{V. I. Gulyaev} et al., Prikl. Mat. Mekh. 64, No. 3, 394--402 (2000; Zbl 1011.74034); translation from Prikl. Mat. Mekh. 64, No. 3, 394--402 (2000)
Frank, András
Finding minimum weighted generators of a path system. (English) Zbl 0978.90103
Graham, Ronald L. (ed.) et al., Contemporary trends in discrete mathematics. From DIMACS and DIMATIA to the future. Proceedings of the DIMATIA-DIMACS conference, Štiřín Castle, Czech Republic, May 19-25, 1997. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 49, 129-138 (1999).
MSC:  90C47 05C40 90B10 90C35
PDF BibTeX XML Cite
\textit{A. Frank}, DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 49, 129--138 (1999; Zbl 0978.90103)

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
Biographic Reference
all top 3
Software