Found 1,712 Documents (Results 1–100)
Zoll magnetic systems on the two-torus: a Nash-Moser construction. (English) Zbl 07916612
Reviewer: Alexey O. Remizov (Moskva)
Energetic spectral-element time marching methods for phase-field nonlinear gradient systems. (English) Zbl 07901895
Efficient and parallel solution of high-order continuous time Galerkin for dissipative and wave propagation problems. (English) Zbl 1543.65148
Numerical solutions of nonlinear heat transfer modelling in a two-dimensional space. (English) Zbl 07861713
Weak limit of homeomorphisms in \(W^{1,n-1}\): invertibility and lower semicontinuity of energy. (English) Zbl 07854911
On the existence and Ulam-Hyers stability for implicit fractional differential equation via fractional integral-type boundary conditions. (English) Zbl 1543.34010
Exploring iterated implicit function systems: existence and properties of attractors. (English) Zbl 07848359
The amoeba dimension of a linear space. (English) Zbl 07843753
Reviewer: Arne Kuhrs (Frankfurt am Main)
Existence and uniqueness results for the first-order nonlinear implicit differential equations with three-point boundary conditions. (English) Zbl 07838529
A brief history of the Jacobian. (English) Zbl 07805955
Reviewer: Dirk Werner (Berlin)
Triebel-Lizorkin regularity and bi-Lipschitz maps: composition operator and inverse function regularity. (English) Zbl 1543.46024
A coupled system of differential-algebraic equation and hyperbolic partial differential equation. Analysis and optimal control. (English) Zbl 1541.35003
Berlin: Logos Verlag; Berlin: HU Berlin, Mathematisch-Naturwissenschaftliche Fakultät (Diss.) (ISBN 978-3-8325-5773-7). xv, 134 p., open access (2024).
The positivity of the Jacobian in the weak limit of generalised axisymmetric maps. arXiv:2409.19473
Preprint, arXiv:2409.19473 [math.AP] (2024).
Recurrence solution of monomer-polymer models on two-dimensional rectangular lattices. arXiv:2405.09457
Preprint, arXiv:2405.09457 [cond-mat.stat-mech] (2024).
Formalizing Pfaffian in bounded arithmetic. arXiv:2404.01728
Preprint, arXiv:2404.01728 [math.LO] (2024).
Straightening Banach-Lie-group-valued almost-cocycles. arXiv:2401.14929
Preprint, arXiv:2401.14929 [math.GR] (2024).
On the structure of one class of perfect \(\Pi \)-partitions. (Russian. English summary) Zbl 07896841
MSC:
03D15
Study of the boundary value problem for a differential inclusion. (Russian. English summary) Zbl 07864325
Variable-order implicit fractional differential equations based on the Kuratowski MNC technique. (English) Zbl 1537.34022
Minimal extension for the \(\alpha\)-Manhattan norm. (English) Zbl 07828295
Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 34, No. 4, 773-807 (2023).
Geometric design of letters in times Roman font via RBF meshless collocation method. (English) Zbl 07814752
Lipschitz constant \(\log n\) almost surely suffices for mapping \(n\) grid points onto a cube. (English) Zbl 1536.51006
Reviewer: Rózsa Horváth-Bokor (Budakalász)
Existence and stability results for stochastic fractional neutral differential equations with Gaussian noise and Lévy noise. (English) Zbl 1538.34036
Results on the algebraic differential independence of the Riemann zeta function and the Euler gamma function. (English) Zbl 07780360
Reviewer: Sami Omar (Sukhair)
Stress concentration due to the presence of a rigid elliptical inclusion in porous elastic solids described by a new class of constitutive relations. (English) Zbl 1530.74020
Stability analysis and error estimates of implicit Runge-Kutta local discontinuous Galerkin methods for linear bi-harmonic equation. (English) Zbl 1538.65343
Nonsmooth regular perturbations of singularly perturbed problems. (English) Zbl 1540.34112
Reviewer: Vasile Dragan (Bucureşti)
On impulse-free solutions and stability of switched nonlinear differential-algebraic equations. (English) Zbl 1520.93366
Asymptotic behavior of an adapted implicit discretization of slowly damped second order dynamical systems. (English) Zbl 1521.65067
Bi-Sobolev extensions. (English) Zbl 1529.46027
A characterization of uniform well posedness for degenerate second-order abstract differential equations. (English) Zbl 1522.34084
Reviewer: Marko Kostić (Novi Sad)
A fully implicit method using nodal radial basis functions to solve the linear advection equation. (English) Zbl 1524.65651
Dimension estimate for the two-sided points of planar Sobolev extension domains. (English) Zbl 1527.46026
Compact approximation of a two-dimensional boundary value problem for elliptic equations of the 2nd order with a discontinuous coefficient. (Russian. English summary) Zbl 07665535
Differential equations defined by (convergent) Laurent series. (English) Zbl 1517.12007
Reviewer: Mykola Grygorenko (Kyïv)
Analysis and differential equations. 2nd edition. (English) Zbl 1506.34001
Singapore: World Scientific (ISBN 978-981-12-6856-4/hbk; 978-981-12-6858-8/ebook). xi, 292 p. (2023).
Characterizing time computational complexity classes with polynomial differential equations. (English) Zbl 1526.68001
Reviewer: Arne Meier (Hannover)
Factorization of complex analytic functions algebraically dependent on space curves and applications to compatible functional and differential equations. (English) Zbl 1507.35079
Coincidence points of parameterized generalized equations with applications to optimal value functions. (English) Zbl 1506.49008
Existence results for implicit nonlinear second-order differential inclusions. (English) Zbl 1504.34019
Existence of solutions for time second order nonmonotone differential equations involving convex potentials with periodic and anti-periodic boundary conditions. (English) Zbl 1512.34048
Reviewer: Rodica Luca (Iaşi)
Area formulas in metric measure spaces under a weak Lipschitz-like condition. (English) Zbl 1507.28002
Reviewer: Władysław Wilczyński (Łódź)
Linearization and Lemma of Newton for Operator functions. arXiv:2309.15548
Preprint, arXiv:2309.15548 [math.FA] (2023).
Shooting methods for computing geodesics on the Stiefel manifold. arXiv:2309.03585
Preprint, arXiv:2309.03585 [math.NA] (2023).
Orthogonal signed-distance coordinates and vector calculus near evolving curves and surfaces. arXiv:2302.02891
Preprint, arXiv:2302.02891 [math-ph] (2023).
Basic facts and naive questions. (English) Zbl 07910413
Hofer, Helmut (ed.) et al., Symplectic geometry. A festschrift in honour of Claude Viterbo’s 60th birthday. In 2 volumes. Cham: Birkhäuser. 233-249 (2022).
Reviewer: William J. Satzer Jr. (St. Paul)
MSC:
53D99
Finite-time stabilization of quaternion-valued neural networks with time delays: an implicit function method. (English) Zbl 1536.93766
Subrecursive incomparability of the graphs of standard and dual Baire sequences. (English) Zbl 07809185
On a study of Sobolev-type fractional functional evolution equations. (English) Zbl 1535.34062
Reviewer: Xuping Zhang (Lanzhou)
A \(p\)-adaptive, implicit-explicit mixed finite element method for diffusion-reaction problems. (English) Zbl 07767905
A sense-preserving Sobolev homeomorphism with negative Jacobian almost everywhere. (English) Zbl 1538.26032
Study on the stability for implicit second-order differential equation via integral boundary conditions. (English) Zbl 1538.34039
Deep neural networks for geometric shape deformation. (English) Zbl 1522.68494
Bergmann, Ralph (ed.) et al., KI 2022: advances in artificial intelligence. 45th German conference on AI, Trier, Germany, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13404, 90-95 (2022).
Sobolev extensions via reflections. (English. Russian original) Zbl 1516.46022
J. Math. Sci., New York 268, No. 3, 376-401 (2022); translation from Probl. Mat. Anal. 118, 117-137 (2022).
Maximal domains of solutions for analytic quasilinear differential equations of first order. (English) Zbl 1503.35068
Nicolaus Cusanus and implicit functions. (Nicolaus Cusanus und implizite Funktionen.) (German) Zbl 1500.26002
MSC:
26-03
Simulation of Maxwell equation based on an ADI approach and integrated radial basis function-generalized moving least squares (IRBF-GMLS) method with reduced order algorithm based on proper orthogonal decomposition. (English) Zbl 1521.78016
On the classes of autodual functions implicitly maximal in \(P_k \). (English. Russian original) Zbl 1496.03105
Mosc. Univ. Math. Bull. 77, No. 3, 154-159 (2022); translation from Vestn. Mosk. Univ., Ser. I 77, No. 3, 40-45 (2022).
MSC:
03B50
Implicit surface reconstruction with a curl-free radial basis function partition of unity method. (English) Zbl 1516.41001
Reviewer: Martin D. Buhmann (Gießen)
Investigation of implicit constitutive relations in which both the stress and strain appear linearly, adjacent to non-penetrating cracks. (English) Zbl 1495.35170
Clarke Jacobians, Bouligand Jacobians, and compact connected sets of matrices. (English) Zbl 1496.26012
Reviewer: Sorin-Mihai Grad (Paris)
A tier-based typed programming language characterizing feasible functionals. (English) Zbl 07566046
MSC:
68N18
Some classical analysis results for continuous definable mappings. (English) Zbl 1509.03115
Reviewer: Dorin Andrica (Riyadh)
Analysis of \(q\)-fractional implicit differential equation with nonlocal Riemann-Liouville and Erdélyi-Kober \(q\)-fractional integral conditions. (English) Zbl 1502.34013
High order all-speed semi-implicit weighted compact nonlinear scheme for the isentropic Navier-Stokes equations. (English) Zbl 1524.65355
The Jacobian problem for one class of nonpolynomial mappings. (English. Russian original) Zbl 1485.14114
Sib. Math. J. 63, No. 2, 348-355 (2022); translation from Sib. Mat. Zh. 63, No. 2, 418-427 (2022).
Reviewer: Scott Nollet (Fort Worth)
A novel technique for solving Sobolev-type fractional multi-order evolution equations. (English) Zbl 1513.34051
Global inversion for metrically regular mappings between Banach spaces. (English) Zbl 07464325
Reviewer: Bangti Jin (London)
Singularities of singular solutions of first-order differential equations of clairaut type. (English) Zbl 1483.58010
Reviewer: Alexey O. Remizov (Moskva)
A note on the asymptotic properties of a generalized differential equations. (English) Zbl 1499.34009
Analysis and synthesis of nonlinear control systems. A convex optimisation approach. (English) Zbl 1492.93002
Studies in Systems, Decision and Control 408. Cham: Springer (ISBN 978-3-030-90772-3/hbk; 978-3-030-90775-4/pbk; 978-3-030-90773-0/ebook). x, 345 p. (2022).
Reviewer: Petro Feketa (Kiel)
An alternating-direction hybrid implicit-explicit finite-difference time-domain method for the Schrödinger equation. (English) Zbl 1477.65132
On Lipschitz approximations in second order Sobolev spaces and the change of variables formula. (English) Zbl 1485.46041
Reviewer: Nikita Evseev (Novosibirsk)
Bayesian inference for regression copulas. (English) Zbl 07925236
MSC:
62P20
Multiple-input multiple-output homogeneous integral control design using the implicit Lyapunov function approach. (English) Zbl 1526.93102
Exit from singularity. New optimization methods and the \(p\)-regularity theory applications. (English) Zbl 1527.49014
Olenev, Nicholas N. (ed.) et al., Optimization and applications. 12th international conference, OPTIMA 2021, Petrovac, Montenegro, September 27 – October 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13078, 3-19 (2021).
Kink-bright solitary wave solutions of the generalized Kuramoto-Sivashinsky equation. (English) Zbl 1499.76029
MSC:
76B25
Filter Results by …
Document Type
- Journal Articles (1,306)
- Collection Articles (226)
- Books (162)
- arXiv Preprints (18)
all
top 5
Author
- Hencl, Stanislav (16)
- Calude, Cristian S. (11)
- Buss, Samuel R. (9)
- D’Onofrio, Luigi (9)
- Hemaspaandra, Lane A. (9)
- Tari, Farid (9)
- Campbell, Daniel (8)
- Clote, Peter G. (8)
- Iwaniec, Tadeusz (8)
- Marion, Jean-Yves (8)
- Niggl, Karl-Heinz (8)
- Oitavem, Isabel (8)
- Weiermann, Andreas (8)
- Beckmann, Arnold (7)
- Bel’tyukov, Anatoliĭ Petrovich (7)
- Ko, Ker-I (7)
- Koskela, Pekka (7)
- Onninen, Jani (7)
- Wainer, Stanley Scott (7)
- Ambos-Spies, Klaus (6)
- Chuĭko, Sergeĭ Mikhaĭlovich (6)
- Greco, Luigi (6)
- Kristiansen, Lars (6)
- Polyakov, Andrey (6)
- Rajagopal, Kumbakonam Ramamani (6)
- Schiattarella, Roberta (6)
- Wagner, Klaus W. (6)
- Argyros, Ioannis Konstantinos (5)
- Bamber, Donald (5)
- Bustamante, Roger (5)
- Case, John (5)
- Ding, Shusen (5)
- Efimov, Denis V. (5)
- Georgiev, Ivan (5)
- Giannetti, Flavia (5)
- Hajłasz, Piotr (5)
- Krantz, Steven George (5)
- Leivant, Daniel M. (5)
- Mironescu, Petru (5)
- Shaposhnikova, Tatyana Olegovna (5)
- Zada, Akbar (5)
- Allender, Eric W. (4)
- Boccuto, Antonio (4)
- Challapa, Lizandro Sanchez (4)
- Cubiotti, Paolo (4)
- Demyanov, Vladimir Fedorovich (4)
- Dimitriou, Xenofon (4)
- Dontchev, Asen L. (4)
- Forster, Otto (4)
- Friedman, Sy-David (4)
- Goodman, Irwin R. (4)
- Gupta, Arjun Kumar (4)
- Kassay, Gábor (4)
- Kauranen, Aapo (4)
- Khan, Kamil A. (4)
- Kolumbán, József (4)
- Langenbach, Arno (4)
- Malý, Jan (4)
- Marchenkov, Sergeĭ Serafimovich (4)
- Maz’ya, Vladimir Gilelevich (4)
- Nazaryan, G. A. (4)
- Nguyen, Hung Trung (4)
- Papanastassiou, Nikolaos (4)
- Parks, Harold R. (4)
- Pudlák, Pavel (4)
- Saitoh, Saburou (4)
- Salimov, Ruslan Radikovich (4)
- Sbordone, Carlo (4)
- Schöning, Uwe (4)
- Smith, Carl H. (4)
- Takeuti, Gaisi (4)
- Tret’yakov, Alexey A. (4)
- Verde, Anna (4)
- Yukna, Stasys P. (4)
- Yuzhakov, Aleksandr Petrovich (4)
- Zabreĭko, Pëtr Petrovich (4)
- Zeugmann, Thomas (4)
- Ali, Javid (3)
- Ambrosetti, Antonio (3)
- Arutyunov, Aram Vladimirovic (3)
- Avez, Andre (3)
- Barton, Paul I. (3)
- Bellantoni, Stephen J. (3)
- Bessenyei, Mihály (3)
- Bolotov, V. A. (3)
- Börger, Egon (3)
- Brieskorn, Egbert (3)
- Campagnolo, Manuel Lameiras (3)
- Chashkin, Alexander V. (3)
- de Oliveira, Oswaldo Rio Branco (3)
- Domokos, András (3)
- Downey, Rodney Graham (3)
- Elsner, Carsten (3)
- Evtushenko, Yuriĭ Gavrilovich (3)
- Ferreira, Fernando (3)
- Frankowska, Hélène (3)
- Freidzon, R. I. (3)
- Garduño, Edgar (3)
- Gasarch, William Ian (3)
- Geche, F. I. (3)
- and 1,948 more Authors
all
top 5
Serial
- J. Math. Anal. Appl. (32)
- Theor. Comput. Sci. (31)
- Ann. Pure Appl. Logic (20)
- Math. Notes (14)
- Inf. Comput. (13)
- J. Optim. Theory Appl. (12)
- Sov. Math., Dokl. (12)
- Arch. Math. Logic (12)
- J. Math. Sci., New York (12)
- Math. Log. Q. (12)
- Proc. Am. Math. Soc. (11)
- SIAM J. Comput. (11)
- Appl. Math. Comput. (10)
- J. Comput. Appl. Math. (10)
- Z. Math. Logik Grundlagen Math. (10)
- Nonlinear Anal., Theory Methods Appl. (10)
- Z. Angew. Math. Phys. (9)
- J. Funct. Anal. (9)
- J. Symb. Log. (9)
- Math. Nachr. (9)
- Real Anal. Exch. (9)
- J. Comput. Phys. (8)
- Int. J. Numer. Methods Eng. (8)
- J. Comput. Syst. Sci. (8)
- Math. Ann. (8)
- C. R. Acad. Sci., Paris, Sér. I (8)
- Dokl. Math. (8)
- Comput. Methods Appl. Mech. Eng. (7)
- Trans. Am. Math. Soc. (7)
- Ann. Inst. Henri Poincaré, Anal. Non Linéaire (7)
- Comput. Aided Geom. Des. (7)
- Comput. Complexity (7)
- Calc. Var. Partial Differ. Equ. (7)
- Comput. Math. Appl. (6)
- Inf. Process. Lett. (6)
- Dokl., Akad. Nauk Arm. SSR (6)
- J. Sov. Math. (6)
- SIAM J. Numer. Anal. (6)
- Sib. Math. J. (6)
- Z. Anal. Anwend. (6)
- Ann. Acad. Sci. Fenn., Math. (6)
- Am. Math. Mon. (5)
- Int. J. Numer. Methods Fluids (5)
- Adv. Math. (5)
- Ann. Pol. Math. (5)
- Indiana Univ. Math. J. (5)
- Monatsh. Math. (5)
- Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods (5)
- Notre Dame J. Formal Logic (5)
- Proc. Japan Acad., Ser. A (5)
- Elektron. Informationsverarbeitung Kybernetik (5)
- Int. J. Robust Nonlinear Control (5)
- SIAM J. Sci. Comput. (5)
- C. R. Acad. Sci., Paris, Sér. A (5)
- J. Fixed Point Theory Appl. (5)
- Log. Methods Comput. Sci. (5)
- Prepr., “Babeș-Bolyai” Univ., Fac. Math. Phys., Res. Semin. (5)
- Acta Inf. (4)
- Arch. Ration. Mech. Anal. (4)
- Discrete Appl. Math. (4)
- Mosc. Univ. Math. Bull. (4)
- Stud. Math. (4)
- BIT (4)
- J. Reine Angew. Math. (4)
- Numer. Math. (4)
- Ric. Mat. (4)
- Appl. Numer. Math. (4)
- Appl. Math. Lett. (4)
- Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. (4)
- J. Log. Comput. (4)
- J. Geom. Anal. (4)
- Discrete Math. Appl. (4)
- Bull. Am. Math. Soc., New Ser. (4)
- Random Oper. Stoch. Equ. (4)
- Bull. Symb. Log. (4)
- Acta Math. Sin., Engl. Ser. (4)
- Undergraduate Texts Math. (4)
- Appl. Anal. (3)
- Bull. Aust. Math. Soc. (3)
- Math. Methods Appl. Sci. (3)
- Mat. Zametki (3)
- Ukr. Math. J. (3)
- Ukr. Mat. Zh. (3)
- Zh. Vychisl. Mat. Mat. Fiz. (3)
- Acta Sci. Math. (3)
- Ann. Inst. Fourier (3)
- Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Math. (3)
- Appl. Math. Optim. (3)
- Automatica (3)
- Bull. Lond. Math. Soc. (3)
- Can. Math. Bull. (3)
- Demonstr. Math. (3)
- Inf. Control (3)
- Inf. Sci. (3)
- J. Differ. Equations (3)
- Math. Scand. (3)
- Math. Syst. Theory (3)
- Mich. Math. J. (3)
- Proc. Lond. Math. Soc. (3) (3)
- Rev. Colomb. Mat. (3)
- and 525 more Serials
all
top 5
Year of Publication
- 2024 (24)
- 2023 (35)
- 2022 (32)
- 2021 (38)
- 2020 (46)
- 2019 (35)
- 2018 (34)
- 2017 (35)
- 2016 (46)
- 2015 (31)
- 2014 (42)
- 2013 (33)
- 2012 (40)
- 2011 (37)
- 2010 (35)
- 2009 (32)
- 2008 (42)
- 2007 (23)
- 2006 (15)
- 2005 (34)
- 2004 (22)
- 2003 (16)
- 2002 (26)
- 2001 (34)
- 2000 (30)
- 1999 (24)
- 1998 (37)
- 1997 (35)
- 1996 (24)
- 1995 (36)
- 1994 (31)
- 1993 (38)
- 1992 (38)
- 1991 (37)
- 1990 (42)
- 1989 (37)
- 1988 (34)
- 1987 (38)
- 1986 (43)
- 1985 (34)
- 1984 (38)
- 1983 (30)
- 1982 (32)
- 1981 (25)
- 1980 (34)
- 1979 (40)
- 1978 (26)
- 1977 (14)
- 1976 (21)
- 1975 (9)
- 1974 (12)
- 1973 (11)
- 1972 (10)
- 1971 (3)
- 1970 (4)
- 1969 (3)
- 1967 (1)
- 1966 (1)
- 1961 (1)
- 1958 (1)
- 1956 (1)
- 1946 (1)
- 1923 (1)
- 1914 (1)
- 1907 (1)
- 1902 (1)
- 1899 (1)
- 1896 (1)
- 1891 (1)
- 1890 (3)
- 1889 (1)
- 1888 (2)
- 1887 (2)
- 1885 (1)
- 1881 (2)
- 1880 (2)
- 1879 (3)
- 1878 (4)
- 1877 (2)
- 1875 (1)
- 1874 (4)
- 1873 (3)
- 1872 (1)
- 1871 (2)
- 1870 (5)
- 1869 (4)
all
top 3
Main Field
- 03-XX (518)
- 26-XX (486)
- 68-XX (365)
- 46-XX (326)
- 58-XX (233)
- 34-XX (201)
- 65-XX (186)
- 47-XX (161)
- 49-XX (122)
- 35-XX (100)
- 94-XX (97)
- 30-XX (86)
- 28-XX (68)
- 74-XX (55)
- 90-XX (55)
- 53-XX (52)
- 15-XX (48)
- 32-XX (44)
- 54-XX (43)
- 93-XX (40)
- 76-XX (39)
- 11-XX (38)
- 05-XX (37)
- 37-XX (36)
- 33-XX (34)
- 14-XX (31)
- 41-XX (31)
- 06-XX (29)
- 42-XX (26)
- 39-XX (25)
- 31-XX (22)
- 45-XX (20)
- 51-XX (20)
- 62-XX (20)
- 60-XX (19)
- 00-XX (18)
- 91-XX (18)
- 70-XX (15)
- 13-XX (13)
- 20-XX (13)
- 12-XX (12)
- 82-XX (11)
- 57-XX (10)
- 01-XX (8)
- 22-XX (8)
- 44-XX (7)
- 08-XX (6)
- 52-XX (6)
- 55-XX (6)
- 81-XX (6)
- 86-XX (6)
- 92-XX (6)
- 97-XX (6)
- 43-XX (5)
- 16-XX (4)
- 18-XX (4)
- 40-XX (4)
- 78-XX (3)
- 17-XX (2)
- 80-XX (2)
- 83-XX (2)
Biographic Reference
- Ryde, Arne (1)
all
top 3
Software
- Matlab (15)
- libMC (4)
- Ipopt (3)
- Maple (3)
- Mathematica (3)
- OEIS (3)
- PNEW (3)
- amodMC (3)
- mftoolbox (3)
- ABAQUS (2)
- ADOL-C (2)
- ANTIGONE (2)
- FFADlib (2)
- KELLEY (2)
- MC++ (2)
- Nuprl (2)
- RODAS (2)
- SNOPT (2)
- dcc (2)
- ABDPACK (1)
- ALF (1)
- AUTO-86 (1)
- AlgoPy (1)
- Algorithm 247 (1)
- Automath (1)
- BARON (1)
- BRENT (1)
- Blitz++ (1)
- C-AMS (1)
- CARET (1)
- CASA (1)
- COIN-OR (1)
- COLSYS (1)
- COMA (1)
- CONOPT (1)
- CPT (1)
- CVX (1)
- Coq (1)
- Couenne (1)
- CppAD (1)
- Cuba (1)
- DAETS (1)
- DASSL (1)
- DERIVE (1)
- DGtal (1)
- DLMF (1)
- DeepSDF (1)
- EAGO.jl (1)
- ESOFRAME (1)
- Eigen (1)
- F5C (1)
- GCVPACK (1)
- GIFSMeasureDraw (1)
- Gerris (1)
- GitHub (1)
- HE-E1GODF (1)
- HLLE (1)
- HYPLAS (1)
- IFISS (1)
- INTLAB (1)
- INTOPT_90 (1)
- JBool (1)
- JuMP (1)
- Julia (1)
- LAPACK (1)
- LINDO (1)
- LINDOGlobal (1)
- LINPACK (1)
- LambertW (1)
- MATLAB expm (1)
- MATLAB-Python-inpainting-codes (1)
- MONA (1)
- MPBNGC (1)
- MapleSim (1)
- Matplotlib (1)
- MeshLab (1)
- Metro (1)
- Mittag-Leffler (1)
- Mmm (1)
- NDA (1)
- NumPy (1)
- Omega (1)
- OpenNL (1)
- PAL-11A (1)
- PBNCGC (1)
- PETSc (1)
- PETSc/TS (1)
- Parallelized FDTD (1)
- PetRBF (1)
- PointNet (1)
- PyFR (1)
- R (1)
- RADAU (1)
- SAS (1)
- SCIP (1)
- SCPACK (1)
- SOCS (1)
- SPICE (1)
- SUNDIALS (1)
- SageMath (1)
- and 19 more Software Packages