Found 946 Documents (Results 1–100)
Bureaucracy in quest of feasibility. (English) Zbl 07923101
MSC:
91Bxx
Lewisian fixed points. I: Two incomparable constructions. (English) Zbl 07920705
Bezhanishvili, Nick (ed.) et al., Dick de Jongh on intuitionistic and provability logics. Cham: Springer. Outst. Contrib. Log. 28, 33-73 (2024).
Clasp pass moves and arrow polynomials of virtual knots. (English) Zbl 07919820
Reviewer: Myeong-Ju Jeong (Busan)
Two-level Arrow-Hurwicz iteration methods for the steady bio-convection flows. (English) Zbl 07912599
Homotopy torsion theories. (English) Zbl 07905682
On the Arrow-Hurwicz differential system for linearly constrained convex minimization. (English) Zbl 07874395
Mechanical properties of an improved flexible auxetic metamaterial and its application in self-expanding vascular stents. (English) Zbl 1543.74067
One- and two-level Arrow-Hurwicz-type iterative algorithms for the stationary Smagorinsky model. (English) Zbl 07853266
Connecting Arrow’s theorem, voting theory, and the traveling salesperson problem. (English) Zbl 1537.91098
Jones, Michael A. (ed.) et al., Mathematics of decisions, elections and games. AMS special session, virtual, April 8, 2022. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 795, 137-152 (2024).
Completion under strong homotopy cokernels. (English) Zbl 1533.18003
Reviewer: Hirokazu Nishimura (Tsukuba)
Implementing Arrow-Debreu equilibria in approximately complete security markets. (English) Zbl 1533.91464
Physical time and human time. (English) Zbl 07803517
An arrow-based dynamic logic of normative systems and its decidability. (English) Zbl 07871912
Alechina, Natasha (ed.) et al., Logic, rationality, and interaction. 9th international workshop, LORI 2023, Jinan, China, October 26–29, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14329, 63-76 (2023).
MSC:
68T27
General equilibrium in a heterogeneous-agent incomplete-market economy with many consumption goods and a risk-free bond. (English) Zbl 1542.91136
Two-level methods based on the Arrow-Hurwicz iteration for the steady incompressible magnetohydrodynamic system. (English) Zbl 1535.65277
Future contingencies and the arrow and flow of time in a non-deterministic world according to the temporal-modal system TM. (English) Zbl 1542.03041
On secure communication scheme-based mixed discrete-time hyperchaotic systems. (English) Zbl 1528.94004
Fuzzy \(\alpha \)-cut in rough sets and its application. (English) Zbl 1540.68242
Peters, James F. (ed.) et al., Transactions on Rough Sets XXIII. Berlin: Springer. Lect. Notes Comput. Sci. 13610, 12-22 (2023).
MSC:
68T37
Multilevel Uzawa and Arrow-Hurwicz algorithms for general saddle point problems. (English) Zbl 1525.65045
Biquandle arrow weight enhancements. (English) Zbl 1522.57026
Reviewer: Abednego Orobosa Isere (Ekpoma)
MSC:
57K12
Strong dictatorship via ratio-scale measurable utilities: a simpler proof. (English) Zbl 1520.91169
MSC:
91B15
Interval-dismantling for lattices. (English) Zbl 07713734
MSC:
68T37
An improved Arrow-Hurwicz method for the steady-state Navier-Stokes equations. (English) Zbl 07708329
Enhanced twisted arrow categories. (English) Zbl 1520.18018
Reviewer: Hirokazu Nishimura (Tsukuba)
Autohomeomorphisms of the finite powers of the double arrow. (English) Zbl 1512.54012
Reviewer: Zuquan Li (Hangzhou)
Index polynomial invariants of virtual knots using invariants for flat virtual knots. (English) Zbl 1512.57016
MSC:
57K12
Arrowian social equilibrium: indecisiveness, influence and rational social choices under majority rule. (English) Zbl 1508.91171
MSC:
91B14
The homological arrow polynomial for virtual links. (English) Zbl 1520.57009
Reviewer: Blake Winter (Buffalo)
Constructing large peak-pit Condorcet domains. (English) Zbl 1505.91164
MSC:
91B14
Improved convergence of the Arrow-Hurwicz iteration for the Navier-Stokes equation via grad-div stabilization and Anderson acceleration. (English) Zbl 1503.65295
Distributed decision problems: concurrent specifications beyond binary relations (invited talk). (English) Zbl 07896536
Klin, Bartek (ed.) et al., 33rd international conference on concurrency theory, CONCUR 2022, Warsaw, Poland, September 12–16, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 243, Article 3, 13 p. (2022).
MSC:
68Q85
A distributed combinatorial topology approach to Arrow’s impossibility theorem. (English) Zbl 07824300
Milani, Alessia (ed.) et al., Proceedings of the 41st ACM symposium on principles of distributed computing, PODC ’22, Salerno, Italy, July 25–29, 2022. New York, NY: Association for Computing Machinery (ACM). 471-481 (2022).
Lüders bounds of Leggett-Garg inequalities, \(\mathcal{PT}\)-symmetric evolution and arrow-of-time. (English) Zbl 07769746
MSC:
81-XX
On an “important principle” of Arrow and Debreu. (English) Zbl 1508.91305
MSC:
91B52
Goodstein’s generalized theorem: from rooted tree representations to the hydra game. (English) Zbl 1538.03011
One conjecture on cut points of virtual links and the arrow polynomial of twisted links. (English) Zbl 1510.57012
Reviewer: Myeong-Ju Jeong (Busan)
MSC:
57K12
State-to-state cosmology: a new view on the cosmological arrow of time and the past hypothesis. (English) Zbl 1513.85003
The Arrow-Hurwicz iterative finite element method for the stationary thermally coupled incompressible magnetohydrodynamics flow. (English) Zbl 1492.65315
Infinitely many roots of unity are zeros of some Jones polynomials. (English) Zbl 1494.57009
Reviewer: Valeriano Aiello (Genève)
Deflation for the symmetric arrowhead and diagonal-plus-rank-one eigenvalue problems. (English) Zbl 1492.65085
Beyond Knuth’s notation for unimaginable numbers within computational number theory. (English) Zbl 1484.11234
An alternating algorithm for finding linear Arrow-Debreu market equilibria. (English) Zbl 1481.91111
When scale is surplus. (English) Zbl 1528.83101
MSC:
83C99
Dynamic coalition logic: granting and revoking dictatorial powers. (English) Zbl 07547761
Ghosh, Sujata (ed.) et al., Logic, rationality, and interaction. 8th international workshop, LORI 2021, Xi’ian, China, October 16–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13039, 88-101 (2021).
Venn diagrams with “most”: a natural logic approach. (English) Zbl 1514.03025
Basu, Amrita (ed.) et al., Diagrammatic representation and inference. 12th international conference, Diagrams 2021, virtual, September 28–30, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12909, 264-268 (2021).
MSC:
03A05
On some paradoxes in voting theory. (English) Zbl 1485.91080
Walczak, Szymon (ed.), Proceedings of the contemporary mathematics in Kielce 2020, Kielce, Poland, February 24–27, 2021. Warsaw: De Gruyter/Sciendo. 55-71 (2021).
On factorisation systems for Ord-enriched categories and categories of partial maps. (English) Zbl 1478.18002
Reviewer: Hirokazu Nishimura (Tsukuba)
The relationship between Arrow’s and Wilson’s theorems on restricted domains. (English) Zbl 1484.91172
MSC:
91B14
Compositional game theory, compositionally. (English) Zbl 1480.91052
Spivak, David I. (ed.) et al., Proceedings of the 3rd annual international applied category theory conference 2020, ACT 2020, Cambridge, USA, July 6–10, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 333, 198-214 (2021).
Inverse eigenvalue and vector pair problem for generalized arrow matrix. (Chinese. English summary) Zbl 1488.15035
Countable dense homogeneity and Hattori spaces. (English) Zbl 1484.54008
Reviewer: Thomas Richmond (Bowling Green)
MSC:
54A10
Algebraic structures for pairwise comparison matrices: consistency, social choices and Arrow’s theorem. (English) Zbl 1484.91166
Reviewer: H. C. M. de Swart (Tilburg)
Seeking consistency with paired comparisons: a systems approach. (English) Zbl 1475.91089
MSC:
91B14
Two-grid Arrow-Hurwicz methods for the steady incompressible Navier-Stokes equations. (English) Zbl 1493.65195
Milnor invariants, \(2n\)-moves and \(V^n\)-moves for welded string links. (English) Zbl 1473.57029
MSC:
57K12
The invisible hand of Laplace: the role of market structure in price convergence and oscillation. (English) Zbl 1470.91120
MSC:
91B24
Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logic. (English) Zbl 1465.18005
Reviewer: Sergejs Solovjovs (Praha)
Open images of the Sorgenfrey line. (English) Zbl 1471.54005
Reviewer: Shou Lin (Ningde)
On entropy production of repeated quantum measurements. II: Examples. (English) Zbl 1462.81020
Reviewer: Koji Nagata (Daejeon)
Irreversibility, the time arrow and a dynamical proof of the second law of thermodynamics. (English) Zbl 07899112
MSC:
81-XX
In search of time lost: asymmetry of time and irreversibility in natural processes. (English) Zbl 1490.81009
A kind of non-zero sum mixed differential game of backward stochastic differential equation. (English) Zbl 1489.91036
From path integrals to dynamical algebras: a macroscopic view of quantum physics. (English) Zbl 1484.81063
Ribbon 2-knots, \(1+1=2\) and Duflo’s theorem for arbitrary Lie algebras. (English) Zbl 1472.57001
Reviewer: Inasa Nakamura (Kanazawa)
On iterative methods for searching equilibrium in pure exchange economy with multiplicative utilities of its agents. (English) Zbl 1460.91125
Kononov, Alexander (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12095, 231-245 (2020).
Voting. (English) Zbl 1458.91077
Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. Encycl. Complex. Syst. Sci. Ser., 529-541 (2020).
Social choice theory. (English) Zbl 1458.91079
Sotomayor, Marilda (ed.) et al., Complex social and behavioral systems. Game theory and agent-based models. New York, NY: Springer. Encycl. Complex. Syst. Sci. Ser., 511-528 (2020).
Filter Results by …
Document Type
- Journal Articles (768)
- Collection Articles (123)
- Books (55)
all
top 5
Author
- Campbell, Donald E. (15)
- Benrejeb, Mohamed (13)
- Kauffman, Louis Hirsch (12)
- Gravvanis, George A. (8)
- Kelly, Jerry S. (8)
- Leguizamon, Carlos A. (8)
- Zaretzky, Alba N. (8)
- Cato, Susumu (7)
- Németi, István (7)
- Vakarelov, Dimiter (7)
- Castagnino, Mario Alberto (6)
- Ellis, George Francis Rayner (6)
- Huang, Jianguo (6)
- Marx, Maarten (6)
- Saari, Donald Gene (6)
- Sakly, Anis (6)
- Aĭzerman, Mark Aronovich (5)
- Alcantud, José Carlos Rodríguez (5)
- Aleskerov, Fuad T. (5)
- Barthelemy, Jean-Pierre (5)
- Kim, Ki Hang (5)
- Lombardi, Olimpia (5)
- McMorris, Frederick R. (5)
- Mikulás, Szabolcs (5)
- Mroczkowski, Maciej (5)
- Pasteczka, Paweł (5)
- Powers, Robert C. (5)
- Roush, Fred William (5)
- Sain, Ildikó (5)
- Schulman, Lawrence S. (5)
- Werner, Jan (5)
- Zeh, Heinz-Dieter (5)
- Aliprantis, Charalambos Dionisios (4)
- Balbiani, Philippe (4)
- Chizhonkov, Eugene V. (4)
- Denicolò, Vincenzo (4)
- Díaz, Susana (4)
- Dokow, Elad (4)
- Du, Binbin (4)
- Egaña, Juan C. (4)
- Holzman, Ron (4)
- Kurucz, Ágnes (4)
- Langer, Ulrich (4)
- List, Christian (4)
- Queck, Werner (4)
- Redekop, James (4)
- Tanaka, Yasuhito (4)
- van Benthem, Johan F. A. K. (4)
- Barberà, Salvador (3)
- Blair, Douglas H. (3)
- Buchholz, Detlev (3)
- Burkinshaw, Owen (3)
- Caspard, Nathalie (3)
- Clark, Terry D. (3)
- Dana, Rose-Anne (3)
- d’Atri, Gianfranco (3)
- de Freitas, Renata P. (3)
- Dye, Heather Ann (3)
- Fono, Louis Aimé (3)
- Fortin, Michel (3)
- Fuchs-Seliger, Susanne (3)
- Gibbard, Allan Fletcher (3)
- Im, Young Ho (3)
- Ishimura, Naoyuki (3)
- Keller, Nathan (3)
- Kerber, Manfred (3)
- Kermani, Marwen (3)
- Kuijer, Louwe Bouke (3)
- Lewis, Alain A. (3)
- Litak, Tadeusz (3)
- Makarov, Valeriĭ Leonidovich (3)
- Mehta, Ghanshyam Bhagvandas (3)
- Monjardet, Bernard (3)
- Montes, Susana (3)
- Montesano, Aldo (3)
- Mordeson, John N. (3)
- Mortier, Arnaud (3)
- Pickmann, Hubert (3)
- Pollak, Robert A. (3)
- Popov, Leonid Denisovich (3)
- Primak, Mordukh E. (3)
- Riedel, Frank (3)
- Ritz, Zvi (3)
- Roberts, Kevin W. S. (3)
- Rowat, Colin (3)
- Sanver, M. Remzi (3)
- Sfaihi, Boutheina (3)
- Simon, András (3)
- Soto, Ricardo Lorenzo (3)
- Tangian, Andranik S. (3)
- Veloso, Paulo Augusto Silva (3)
- Veloso, Sheila R. M. (3)
- Venema, Yde (3)
- Yannakakis, Mihalis (3)
- Ye, Yinyu (3)
- Andréka, Hajnal (2)
- Astrakhantsev, Gennadiĭ Petrovich (2)
- Balasko, Yves (2)
- Balinski, Michel Louis (2)
- Bar-Natan, Dror (2)
- and 1,103 more Authors
all
top 5
Serial
- J. Econ. Theory (30)
- J. Math. Econ. (26)
- Soc. Choice Welfare (22)
- J. Knot Theory Ramifications (21)
- Math. Soc. Sci. (20)
- Theory Decis. (19)
- Found. Phys. (17)
- Econometrica (15)
- Econ. Theory (15)
- Stud. Hist. Philos. Sci., Part B, Stud. Hist. Philos. Mod. Phys. (12)
- Econ. Lett. (11)
- Classical Quantum Gravity (10)
- Int. Econ. Rev. (10)
- J. Optim. Theory Appl. (10)
- Synthese (9)
- Topology Appl. (9)
- Math. Comput. Modelling (8)
- Appl. Math. Comput. (7)
- Fuzzy Sets Syst. (7)
- Rev. Econ. Stud. (7)
- Stud. Log. (7)
- Eur. J. Oper. Res. (7)
- Oper. Res. (6)
- Entropy (6)
- Comput. Math. Appl. (5)
- Discrete Math. (5)
- Int. J. Theor. Phys. (5)
- J. Math. Anal. Appl. (5)
- Autom. Remote Control (5)
- Nonlinear Dyn. Syst. Theory (5)
- Artif. Intell. (4)
- Gen. Relativ. Gravitation (4)
- J. Philos. Log. (4)
- Adv. Appl. Math. (4)
- J. Appl. Non-Class. Log. (4)
- Theory Appl. Categ. (4)
- Rev. Econ. Des. (4)
- New Math. Nat. Comput. (4)
- Am. Math. Mon. (3)
- J. Stat. Phys. (3)
- Phys. Lett., A (3)
- Èkon. Mat. Metody (3)
- Math. Oper. Res. (3)
- Metroeconomica (3)
- Proc. Am. Math. Soc. (3)
- Cybernetics (3)
- Insur. Math. Econ. (3)
- Riv. Mat. Sci. Econ. Soc. (3)
- Math. Pract. Theory (3)
- Order (3)
- Graphs Comb. (3)
- SIAM J. Discrete Math. (3)
- J. Sci. Comput. (3)
- J. Log. Comput. (3)
- J. Logic Lang. Inf. (3)
- Math. Finance (3)
- J. ACM (3)
- Commun. Nonlinear Sci. Numer. Simul. (3)
- Found. Sci. (3)
- Adv. Difference Equ. (3)
- Methods Oper. Res. (3)
- B. E. J. Theor. Econ. (3)
- Axioms (3)
- Mod. Phys. Lett. A (2)
- Commun. Algebra (2)
- Commun. Math. Phys. (2)
- Comput. Methods Appl. Mech. Eng. (2)
- Discrete Appl. Math. (2)
- Int. J. Syst. Sci. (2)
- J. Eng. Math. (2)
- J. Math. Phys. (2)
- Physica A (2)
- Zh. Vychisl. Mat. Mat. Fiz. (2)
- Chaos Solitons Fractals (2)
- Math. Intell. (2)
- Adv. Math. (2)
- Algebra Univers. (2)
- Automatica (2)
- J. Algebra (2)
- J. Comput. Appl. Math. (2)
- J. Pure Appl. Algebra (2)
- Manage. Sci. (2)
- Notre Dame J. Formal Logic (2)
- Opsearch (2)
- Q. J. Econ. (2)
- Numer. Math., Nanjing (2)
- Circuits Syst. Signal Process. (2)
- Acta Math. Hung. (2)
- Optimization (2)
- Int. J. Approx. Reasoning (2)
- J. Econ. Dyn. Control (2)
- Appl. Math. Lett. (2)
- SIAM J. Matrix Anal. Appl. (2)
- J. Risk Uncertain. (2)
- Comput. Math. Math. Phys. (2)
- Aequationes Math. (2)
- J. Phys. A, Math. Gen. (2)
- Litov. Mat. Sb. (2)
- Rev. R. Acad. Cienc. Exactas Fís. Nat. Madr. (2)
- Math. Program. (2)
- and 242 more Serials
all
top 5
Year of Publication
- 2024 (17)
- 2023 (23)
- 2022 (21)
- 2021 (30)
- 2020 (30)
- 2019 (26)
- 2018 (27)
- 2017 (29)
- 2016 (17)
- 2015 (26)
- 2014 (22)
- 2013 (28)
- 2012 (26)
- 2011 (26)
- 2010 (24)
- 2009 (31)
- 2008 (20)
- 2007 (19)
- 2006 (17)
- 2005 (23)
- 2004 (9)
- 2003 (25)
- 2002 (23)
- 2001 (19)
- 2000 (21)
- 1999 (26)
- 1998 (11)
- 1997 (19)
- 1996 (26)
- 1995 (17)
- 1994 (26)
- 1993 (16)
- 1992 (16)
- 1991 (14)
- 1990 (16)
- 1989 (15)
- 1988 (12)
- 1987 (12)
- 1986 (12)
- 1985 (13)
- 1984 (19)
- 1983 (16)
- 1982 (17)
- 1981 (19)
- 1980 (19)
- 1979 (16)
- 1978 (9)
- 1977 (1)
all
top 3
Main Field
- 91-XX (459)
- 03-XX (138)
- 65-XX (79)
- 90-XX (73)
- 81-XX (65)
- 83-XX (65)
- 68-XX (58)
- 06-XX (44)
- 57-XX (44)
- 05-XX (39)
- 18-XX (35)
- 35-XX (34)
- 82-XX (30)
- 54-XX (29)
- 00-XX (25)
- 93-XX (25)
- 62-XX (22)
- 76-XX (22)
- 60-XX (20)
- 49-XX (18)
- 15-XX (17)
- 37-XX (14)
- 94-XX (14)
- 70-XX (13)
- 80-XX (13)
- 92-XX (13)
- 01-XX (12)
- 46-XX (11)
- 85-XX (10)
- 26-XX (9)
- 47-XX (9)
- 74-XX (9)
- 16-XX (8)
- 20-XX (7)
- 34-XX (6)
- 08-XX (5)
- 17-XX (5)
- 51-XX (5)
- 55-XX (5)
- 53-XX (4)
- 78-XX (4)
- 11-XX (3)
- 52-XX (3)
- 32-XX (2)
- 97-XX (2)
- 12-XX (1)
- 14-XX (1)
- 22-XX (1)
- 28-XX (1)
- 30-XX (1)
- 39-XX (1)
- 40-XX (1)
- 41-XX (1)
- 45-XX (1)
- 58-XX (1)
Biographic Reference
all
top 3
Software
- Arrow Gibbard Satterthwaite (8)
- Isabelle/HOL (4)
- Coq (2)
- FreeFem++ (2)
- AFT Arrow (1)
- AFT Titan (1)
- Anderson (1)
- Archive Formal Proofs (1)
- Arrow plot (1)
- Automath (1)
- Chaff (1)
- Coq/SSReflect (1)
- DLMF (1)
- E Theorem Prover (1)
- FOCI (1)
- FloMASTER (1)
- Flyspeck (1)
- ForMaRE (1)
- Gambit (1)
- GitHub (1)
- Isabelle (1)
- Isabelle/Isar (1)
- KernSmooth (1)
- Knapsack (1)
- Knot Atlas (1)
- LAPACK (1)
- LINPACK (1)
- Lean (1)
- MIM (1)
- MPSGE (1)
- MYNTS (1)
- Mathematica (1)
- Matlab (1)
- Mizar (1)
- Nuprl (1)
- OEIS (1)
- OTTER (1)
- Optimization Toolbox (1)
- PIPESIM (1)
- PLCP (1)
- PSIGanesi (1)
- Prolog (1)
- QRM (1)
- RMTool (1)
- SIMONE (1)
- SPS (1)
- SQPlab (1)
- STANET (1)
- SnapPy (1)
- Social Choice Theory (1)
- Stable Matching (1)
- TRLan (1)
- Theorema (1)
- WinTran (1)
- bootstrap (1)
- kepler98 (1)
- mctoolbox (1)
