Found 8,006 Documents (Results 1–100)
A new algorithm for approximating solutions of the common variational inclusion. (English) Zbl 07931030
Corrigendum and addendum to: “Newton differentiability of convex functions in normed spaces and of a class of operators”. (English) Zbl 07930269
A one-step Tikhonov regularization iterative scheme for solving split feasibility and fixed point problems. (English) Zbl 07929254
Fuzzy and exact necessary optimality conditions for a nonsmooth bilevel semi-infinite program. (English) Zbl 07929249
Inheritance properties on cone continuity for set-valued maps via scalarization. (English) Zbl 07929244
Viscosity solutions to second order elliptic Hamilton-Jacobi-Bellman equations with infinite delay. (English) Zbl 07927500
Transfer principles, Fenchel conjugate, and subdifferential formulas in Fan-Theobald-von Neumann systems. (English) Zbl 07922483
On quasiconvex multiobjective optimization and variational inequalities using Greenberg-Pierskalla based generalized subdifferentials. (English) Zbl 07922480
Functional data structures and algorithms. A proof assistant approach. (English) Zbl 07920456
[s.l.], [s.n.] (ISBN (updated continuously)). iv, 351 p., open access (2024).
Real Schur norms and Hadamard matrices. (English) Zbl 07916008
Reviewer: Ludovick Bouthat (Québec)
Nonlinear scalarization in set optimization based on the concept of null set. (English) Zbl 07902428
Reviewer: Rita Pini (Milano)
Structure-exploiting Newton-type method for optimal control of switched systems. (English) Zbl 07901779
Yet another proof of the density in energy of Lipschitz functions. (English) Zbl 07901752
Reviewer: Nicolò De Ponti (Trieste)
On semidefinite programming characterizations of the numerical radius and its dual norm. (English) Zbl 07900914
Extremization to fine tune physics informed neural networks for solving boundary value problems. (English) Zbl 07900553
Distributed optimal secondary frequency control in power networks with delay independent stability. (English) Zbl 07897967
Data-driven stochastic optimal control with safety constraints using linear transfer operators. (English) Zbl 07884381
A novel Noor iterative method of operators with property (\(E\)) as concerns convex programming applicable in signal recovery and polynomiography. (English) Zbl 07883046
BV estimates on the transport density with Dirichlet region on the boundary. (English) Zbl 07882876
Reviewer: Siran Li (Shanghai)
Network design and control: shape and topology optimization for the turnpike property for the wave equation. (English) Zbl 07880817
Reviewer: Wiesław Kotarski (Sosnowiec)
Convex optimization via inertial algorithms with vanishing Tikhonov regularization: fast convergence to the minimum norm solution. (English) Zbl 07877936
Complexity analysis based on tuning the viscosity parameter of the Su-Boyd-Candès inertial gradient dynamics. (English) Zbl 07873870
Asymptotic speedup via effect handlers. (English) Zbl 07870940
MSC:
68N18
Static blame for gradual typing. (English) Zbl 07870939
MSC:
68N18
The alternating simultaneous Halpern-Lions-Wittmann-Bauschke algorithm for finding the best approximation pair for two disjoint intersections of convex sets. (English) Zbl 07870167
Reviewer: Richard A. Zalik (Auburn)
Balayage theorems for connectedness problems in uniformly convex spaces. (English) Zbl 1543.41019
Reviewer: Stefan Cobzaş (Cluj-Napoca)
Construction of smooth convex extensions of Boolean functions. (Russian. English summary) Zbl 07864595
Selective inertial block-iterative schemes for a class of variational inequalities and applications. (English) Zbl 07863358
Optimality conditions and Lipschitz stability for non-smooth semilinear elliptic optimal control problems with sparse controls. (English) Zbl 1541.49012
On regularization of classical optimality conditions in convex optimization problems for Volterra-type systems with operator constraints. (English) Zbl 1541.49011
A new kernel method for the uniform approximation in reproducing kernel Hilbert spaces. (English) Zbl 1542.41022
Reviewer: Arash Ghaani Farashahi (Wien)
Second-order sufficient conditions in optimal control of evolution systems. (English) Zbl 1543.49003
Reviewer: Jaarat Gasimov (Famagusta)
A second order dynamical system method for solving a maximally comonotone inclusion problem. (English) Zbl 07853269
An improved numerical approach for solving shape optimization problems on convex domains. (English) Zbl 07853023
Investigation of conditions for preserving global solvability of operator equations by means of comparison systems in the form of functional-integral equations in \(\mathbf{C}[0;T]\). (Russian. English summary) Zbl 07849750
Radius of information for two intersected centered hyperellipsoids and implications in optimal recovery from inaccurate data. (English) Zbl 1541.41027
Reviewer: Jin Liang (Shanghai)
Corrigendum to: “Applications of Strassen’s theorem and Choquet theory to optimal transport problems, to uniformly convex functions and to uniformly smooth functions”. (English) Zbl 07846395
On extreme points and representer theorems for the Lipschitz unit ball on finite metric spaces. (English) Zbl 07846266
Reviewer: Marek Cúth (Praha)
Perturbation method in Orlicz sequence spaces. (English) Zbl 07842718
Reviewer: Sorin-Mihai Grad (Paris)
Global optimization of functional redundancy in a 6R robot for smoothing five-axis milling operations. (English) Zbl 07841186
MSC:
90-XX
Comparison of purely greedy and orthogonal greedy algorithm. (English. Russian original) Zbl 1540.41067
Math. Notes 115, No. 1, 37-43 (2024); translation from Mat. Zametki 115, No. 1, 43-50 (2024).
Finiteness principles for smooth convex functions. (English) Zbl 07839374
Reviewer: Constantin Niculescu (Craiova)
\( \theta \)-metric function in the problem of minimization of functionals. (English. Russian original) Zbl 1537.41025
Izv. Math. 88, No. 2, 369-388 (2024); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 88, No. 2, 184-205 (2024).
Reviewer: Stefan Cobzaş (Cluj-Napoca)
Truncated Cauchy random perturbations for smoothed functional-based stochastic optimization. (English) Zbl 1536.93985
Knuth-Morris-Pratt illustrated. (English) Zbl 07834331
MSC:
68N18
Brézis-pseudomonotone mixed equilibrium problems involving a set-valued mapping with application. (English) Zbl 07833218
Adaptive learning control for triggered switched systems based on unknown direction control gain function. (English) Zbl 1533.93374
Polygons as maximizers of Dirichlet energy or first eigenvalue of Dirichlet-Laplacian among convex planar domains. (English) Zbl 1535.49036
Optimal transport methods for combinatorial optimization over two random point sets. (English) Zbl 1542.90200
Second order splitting dynamics with vanishing damping for additively structured monotone inclusions. (English) Zbl 1543.37088
Various notions of nonexpansiveness coincide for proximal mappings of functions. (English) Zbl 1533.49013
Optimization in Bochner spaces. (English) Zbl 1537.65073
Reviewer: Steven B. Damelin (Ann Arbor)
A fast continuous time approach for non-smooth convex optimization using Tikhonov regularization technique. (English) Zbl 1539.90062
Convergence analysis for Bregman iterations in minimizing a class of Landau free energy functionals. (English) Zbl 1534.65084
A second order primal-dual dynamical system for a convex-concave bilinear saddle point problem. (English) Zbl 1533.90079
A fast minimization algorithm for the Euler elastica model based on a bilinear decomposition. (English) Zbl 1532.94006
Integrated neuro-evolution heuristic with sequential quadratic programming for second-order prediction differential models. (English) Zbl 1531.65087
An unconditionally energy-stable and orthonormality-preserving iterative scheme for the Kohn-Sham gradient flow based model. (English) Zbl 07797649
An inexact primal-dual smoothing framework for large-scale non-bilinear saddle point problems. (English) Zbl 1536.90113
Algebraic dynamical systems in machine learning. (English) Zbl 1537.18003
Reviewer: Hirokazu Nishimura (Tsukuba)
Filter Results by …
Document Type
- Journal Articles (4,496)
- Collection Articles (2,888)
- Books (486)
- arXiv Preprints (136)
all
top 5
Author
- Peyton Jones, Simon L. (52)
- Hanus, Michael (40)
- Danvy, Olivier (38)
- Hinze, Ralf (38)
- Dal Lago, Ugo (36)
- Vidal, Germán (33)
- Abel, Andreas M. (32)
- Borwein, Jonathan Michael (32)
- Attouch, Hedy (31)
- Kobayashi, Naoki (31)
- Ronchi Della Rocca, Simona (31)
- Dezani-Ciancaglini, Mariangiola (30)
- Weirich, Stephanie (30)
- Kesner, Delia (29)
- McBride, Conor Thomas (27)
- Wadler, Philip Lee (27)
- Gibbons, Jeremy (26)
- Liu, Zeqing (26)
- Plasmeijer, Rinus (26)
- Teo, Kok Lay (26)
- Accattoli, Beniamino (25)
- Kang, Shin Min (25)
- Penot, Jean-Paul (25)
- Uustalu, Tarmo (25)
- Voigtlander, Janis (25)
- Rodríguez-Artalejo, Mario (24)
- Schmidt-Schauß, Manfred (24)
- Schrijvers, Tom (24)
- Antoy, Sergio (23)
- Ghani, Neil (23)
- Hutton, Graham (23)
- López-Fraguas, Francisco Javier (23)
- Altenkirch, Thorsten (22)
- Pitts, Andrew M. (22)
- Sabry, Amr (22)
- Harper, Robert (21)
- Hofmann, Martin (21)
- Pottier, François (21)
- Biernacki, Dariusz (20)
- Boţ, Radu Ioan (20)
- Hu, Zhenjiang (20)
- Pfenning, Frank (20)
- Pientka, Brigitte (20)
- Simons, Stephen (20)
- Thibault, Lionel (20)
- Thiemann, Peter J. (20)
- Yao, Jen-Chih (20)
- Birkedal, Lars (19)
- Lescanne, Pierre (19)
- Mackie, Ian (19)
- Oliveira, Bruno C.d. S. (19)
- Peña, Ricardo (19)
- Alpuente, María (18)
- Ariola, Zena M. (18)
- Atkey, Robert (18)
- Bird, Richard S. (18)
- Coquand, Thierry (18)
- Dreyer, Derek R. (18)
- Fernández, Maribel (18)
- Kiselyov, Oleg (18)
- Sangiorgi, Davide (18)
- Swierstra, Wouter (18)
- Volle, Michel (18)
- Adly, Samir (17)
- Barthe, Gilles (17)
- Damiani, Ferruccio (17)
- Ehrhard, Thomas (17)
- Falaschi, Moreno (17)
- Gordon, Andrew D. (17)
- Johann, Patricia (17)
- Lindley, Sam (17)
- Loogen, Rita (17)
- Møgelberg, Rasmus Ejlers (17)
- Pierce, Benjamin C. (17)
- Reich, Simeon (17)
- Sulzmann, Martin (17)
- Sumii, Eijiro (17)
- Vytiniotis, Dimitrios (17)
- Benton, Nick (16)
- Castagna, Giuseppe (16)
- Curien, Pierre-Louis (16)
- Horváth, Zoltán (16)
- Huch, Frank (16)
- Ida, Tetsuo (16)
- Liu, Chongyang (16)
- Matthes, Ralph (16)
- Morrisett, Greg (16)
- Ong, Chih-Hao Luke (16)
- Rémy, Didier (16)
- Sabel, David (16)
- van Eekelen, Marko (16)
- Zălinescu, Constantin (16)
- Acar, Umut A. (15)
- Berger, Ulrich (15)
- Chakravarty, Manuel M. T. (15)
- del Vado Vírseda, Rafael (15)
- Giannini, Paola (15)
- Honsell, Furio (15)
- Igarashi, Atsushi (15)
- Jeuring, Johan (15)
- and 7,873 more Authors
all
top 5
Serial
- J. Funct. Program. (432)
- Theor. Comput. Sci. (182)
- Log. Methods Comput. Sci. (105)
- J. Optim. Theory Appl. (94)
- J. Convex Anal. (94)
- Math. Struct. Comput. Sci. (93)
- Inf. Comput. (78)
- Lect. Notes Comput. Sci. (74)
- High.-Order Symb. Comput. (65)
- J. Math. Anal. Appl. (64)
- Optimization (61)
- SIAM J. Optim. (58)
- Inf. Process. Lett. (49)
- Sci. Comput. Program. (49)
- SIAM J. Control Optim. (46)
- Math. Program. (42)
- Automatica (41)
- J. Nonlinear Convex Anal. (41)
- J. Glob. Optim. (37)
- Numer. Funct. Anal. Optim. (35)
- Set-Valued Var. Anal. (35)
- IEEE Trans. Autom. Control (31)
- J. Autom. Reasoning (31)
- Fundam. Inform. (29)
- Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods (28)
- Appl. Math. Comput. (27)
- Ann. Pure Appl. Logic (26)
- Proc. Am. Math. Soc. (24)
- J. Inequal. Appl. (24)
- Int. J. Control (23)
- Appl. Math. Optim. (23)
- Formal Asp. Comput. (23)
- J. Log. Comput. (23)
- J. Log. Algebr. Methods Program. (23)
- Nonlinear Anal., Hybrid Syst. (21)
- J. Franklin Inst. (20)
- Int. J. Robust Nonlinear Control (20)
- SIAM J. Sci. Comput. (20)
- J. Funct. Log. Program. (20)
- Theory Pract. Log. Program. (20)
- Math. Oper. Res. (18)
- Linear Algebra Appl. (18)
- Positivity (18)
- ACM Trans. Comput. Log. (18)
- Set-Valued Anal. (17)
- Pac. J. Optim. (17)
- J. Ind. Manag. Optim. (16)
- Proc. Yerevan State Univ., Phys. Math. Sci. (16)
- J. Comput. Appl. Math. (15)
- J. Funct. Anal. (15)
- J. Symb. Comput. (15)
- Int. J. Found. Comput. Sci. (15)
- J. Funct. Spaces (15)
- Pure Appl. Funct. Anal. (15)
- Zh. Vychisl. Mat. Mat. Fiz. (14)
- Program. Comput. Softw. (14)
- Autom. Remote Control (14)
- Dokl. Math. (14)
- Optim. Control Appl. Methods (13)
- Math. Methods Oper. Res. (13)
- Electron. Proc. Theor. Comput. Sci. (EPTCS) (13)
- Comput. Lang. (12)
- New Generation Comput. (12)
- SIAM J. Matrix Anal. Appl. (12)
- J. ACM (12)
- Electron. Notes Theor. Comput. Sci. (12)
- Comput. Math. Appl. (11)
- Ann. Appl. Probab. (11)
- Vietnam J. Math. (11)
- Acta Math. Sin., Engl. Ser. (11)
- Comput. Lang. Syst. Struct. (11)
- Math. Financ. Econ. (11)
- SIAM J. Imaging Sci. (11)
- Int. J. Syst. Sci. (10)
- Comput. J. (10)
- SIAM J. Comput. (10)
- Appl. Math. Lett. (10)
- Aequationes Math. (10)
- Int. J. Comput. Math. (10)
- Comput. Appl. Math. (10)
- Nord. J. Comput. (10)
- Finance Stoch. (10)
- ESAIM, Control Optim. Calc. Var. (10)
- J. Mach. Learn. Res. (10)
- Acta Inf. (9)
- Comput. Math. Math. Phys. (9)
- Comput. Optim. Appl. (9)
- J. Math. Sci., New York (9)
- Eur. J. Control (9)
- RIMS Kokyuroku (9)
- Theor. Inform. Appl. (9)
- Camb. Tracts Theor. Comput. Sci. (9)
- Bull. Aust. Math. Soc. (8)
- Math. Notes (8)
- Stud. Math. (8)
- J. Math. Econ. (8)
- J. Sov. Math. (8)
- Trans. Am. Math. Soc. (8)
- Stud. Univ. Babeș-Bolyai, Math. (8)
- Cybern. Syst. Anal. (8)
- and 879 more Serials
all
top 5
Year of Publication
- 2024 (140)
- 2023 (217)
- 2022 (226)
- 2021 (190)
- 2020 (254)
- 2019 (233)
- 2018 (269)
- 2017 (259)
- 2016 (277)
- 2015 (292)
- 2014 (287)
- 2013 (254)
- 2012 (316)
- 2011 (279)
- 2010 (252)
- 2009 (288)
- 2008 (270)
- 2007 (247)
- 2006 (243)
- 2005 (248)
- 2004 (230)
- 2003 (259)
- 2002 (278)
- 2001 (290)
- 2000 (195)
- 1999 (227)
- 1998 (105)
- 1997 (144)
- 1996 (110)
- 1995 (87)
- 1994 (90)
- 1993 (73)
- 1992 (80)
- 1991 (89)
- 1990 (72)
- 1989 (53)
- 1988 (88)
- 1987 (69)
- 1986 (67)
- 1985 (53)
- 1984 (36)
- 1983 (44)
- 1982 (26)
- 1981 (43)
- 1980 (42)
- 1979 (30)
- 1978 (24)
- 1977 (10)
- 1976 (7)
- 1975 (4)
- 1974 (9)
- 1973 (3)
- 1972 (5)
- 1971 (5)
- 1970 (6)
- 1969 (7)
- 1966 (2)
- 1965 (1)
- 1960 (1)
- 1951 (1)
all
top 3
Main Field
- 68-XX (4,869)
- 46-XX (1,816)
- 90-XX (1,799)
- 03-XX (1,328)
- 49-XX (1,262)
- 93-XX (615)
- 65-XX (568)
- 47-XX (514)
- 91-XX (348)
- 34-XX (242)
- 00-XX (226)
- 52-XX (217)
- 18-XX (201)
- 60-XX (191)
- 26-XX (189)
- 15-XX (146)
- 54-XX (144)
- 35-XX (129)
- 41-XX (119)
- 62-XX (116)
- 39-XX (110)
- 58-XX (98)
- 94-XX (97)
- 37-XX (91)
- 28-XX (75)
- 81-XX (61)
- 92-XX (55)
- 74-XX (43)
- 05-XX (36)
- 06-XX (36)
- 42-XX (30)
- 11-XX (24)
- 01-XX (22)
- 82-XX (21)
- 44-XX (15)
- 76-XX (15)
- 13-XX (14)
- 45-XX (14)
- 14-XX (13)
- 55-XX (12)
- 78-XX (11)
- 08-XX (10)
- 30-XX (10)
- 40-XX (10)
- 70-XX (10)
- 53-XX (9)
- 97-XX (8)
- 16-XX (6)
- 17-XX (6)
- 31-XX (6)
- 32-XX (6)
- 43-XX (6)
- 51-XX (6)
- 80-XX (6)
- 20-XX (5)
- 22-XX (5)
- 33-XX (4)
- 86-XX (4)
- 12-XX (3)
- 57-XX (2)
- 83-XX (2)
- 19-XX (1)
- 85-XX (1)
all
top 3
Biographic Reference
- Kantorovich, Leonid Vital’evich (4)
- Curry, Haskell Brooks (2)
- Plasmeijer, Rinus (2)
- Aliprantis, Charalambos Dionisios (1)
- Borwein, Jonathan Michael (1)
- Butnariu, Dan (1)
- Ferrando, Juan Carlos (1)
- Hindley, Roger (1)
- Hindley, Roger (1)
- Ioffe, Alexander Davidovich (1)
- Kassay, Gábor (1)
- McCarthy, John (1)
- Milner, Robin (1)
- Moret, Bernard M. E. (1)
- Pinsker, Aron Grigor’evich (1)
- Pshenichnyj, Boris N. (1)
- Reich, Simeon (1)
- Takahashi, Wataru (1)
- Vainikko, Gennadi (1)
- Zaanen, Adriaan Cornelis (1)
all
top 3
Software
- Haskell (500)
- Coq (292)
- ML (141)
- Isabelle/HOL (110)
- OCaml (105)
- Automath (84)
- Agda (82)
- GHC (66)
- Isabelle (52)
- Miranda (50)
- TOY (50)
- Twelf (47)
- GitHub (45)
- Nuprl (44)
- BABEL (43)
- Erlang (43)
- HOL (36)
- CLEAN (35)
- Matlab (33)
- QuickCheck (33)
- Maude (32)
- Curry (30)
- z3 (28)
- Idris (26)
- Scala (24)
- PAKCS (23)
- PoplMark (23)
- Eff (22)
- LEGO (22)
- YALMIP (21)
- Kernel-LEAF (20)
- PVS (20)
- Polyp (20)
- Koka (19)
- LISP (19)
- MiniML (19)
- Eden (18)
- Featherweight Java (18)
- Nominal Isabelle (18)
- CDuce (17)
- Cayenne (17)
- Hat (17)
- CVX (16)
- SeDuMi (16)
- ACL2 (15)
- Freshml (15)
- ALF (14)
- ALGOL 60 (14)
- AProVE (14)
- Epigram (14)
- Forsythe (14)
- Fudgets (14)
- Hood (14)
- JavaScript (14)
- Python (14)
- R (14)
- Ynot (14)
- CakeML (13)
- Freja (13)
- Irdis (13)
- LCF (13)
- Mercury (13)
- Archive Formal Proofs (12)
- Eiffel (12)
- Oz (12)
- Sparkle (12)
- Gurobi (11)
- Links (11)
- Ott (11)
- XDuce (11)
- Abella (10)
- LUSTRE (10)
- Mathematica (10)
- Mosek (10)
- OEIS (10)
- PLT Redex (10)
- QPL (10)
- Stratego (10)
- fda (R) (10)
- Alms (9)
- Beluga (9)
- Church (9)
- Elf (9)
- F* (9)
- Ipopt (9)
- Isabelle/Isar (9)
- MapReduce (9)
- MoCHi (9)
- Modula (9)
- QML (9)
- Sostools (9)
- UNLocBoX (9)
- cubicaltt (9)
- gradualizerDynamicSemantics (9)
- Delphin (8)
- ECCE (8)
- EasyCheck (8)
- GUM (8)
- HOL Light (8)
- MPT (8)
- and 1,499 more Software Packages