Found 858 Documents (Results 1–100)
Numerical computation of quasinormal modes in the first-order approach to black hole perturbations in modified gravity. (English) Zbl 1540.83065
Micro-macro Parareal, from ODEs to SDEs and back again. arXiv:2401.01798
Preprint, arXiv:2401.01798 [math.NA] (2024).
Solving the SAT problem by cell-like P systems with channel states and symport rules. (English) Zbl 07915481
Locally verifiable distributed SNARGs. (English) Zbl 07890215
Rothblum, Guy (ed.) et al., Theory of cryptography. 21st international conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 14369, 65-90 (2023).
Von Neumann algebras, tensor products, quantum correlations, and computability [after Ji, Natarajan, Vidick, Wright, and Yuen]. (Algèbres de von Neumann, produits tensoriels, corrélations quantiques et calculabilité [d’après Ji, Natarajan, Vidick, Wright et Yuen].) (French. English summary) Zbl 07827467
Séminaire Bourbaki. Volume 2021/2022. Exposés 1197–1210. Paris: Société Mathématique de France (SMF). Astérisque 446, 225-249, Exp. No. 1203 (2023).
Analytic expressions for quasinormal modes and grey-body factors in the eikonal limit and beyond. (English) Zbl 1533.83058
Animal shapes, modal analysis, and visualization of motion. III: Giraffe, duck, goose, T-Rex dinosaur, and the flying modes of eagle. (English) Zbl 1532.92003
Monte-Carlo/Moments micro-macro Parareal method for unimodal and bimodal scalar McKean-Vlasov SDEs. arXiv:2310.11365
Preprint, arXiv:2310.11365 [math.NA] (2023).
Quantum and Probabilistic Computers Rigorously Powerful than Traditional Computers, and Derandomization. arXiv:2308.09549
Preprint, arXiv:2308.09549 [cs.CC] (2023).
Asynchronous communicating cellular automata: formalization, robustness and equivalence. (English) Zbl 1535.68147
Tissue P systems with vesicles of multisets. (English) Zbl 1527.68067
MSC:
68Q07
Fine-grained complexity lower bounds for problems in computer aided verification. (English) Zbl 1528.68225
Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 292-305 (2022).
Reversible elementary triangular partitioned cellular automata and their complex behavior. (English) Zbl 1534.68113
Adamatzky, Andrew (ed.), Automata and complexity. Essays presented to Eric Goles on the occasion of his 70th birthday. Cham: Springer. Emerg. Complex. Comput. 42, 359-381 (2022).
Reviewer: Thomas B. Ward (Durham)
A novel algorithm to solve for an underwater line source sound field based on coupled modes and a spectral method. (English) Zbl 07578897
On building fine-grained one-way functions from strong average-case hardness. (English) Zbl 1497.68209
Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13276, 584-613 (2022).
Quasi-normal modes of near-extremal black holes and black strings in massive gravity background. (English) Zbl 1514.81007
A non-perturbative approach to computing seismic normal modes in rotating planets. (English) Zbl 1489.85001
Variants of derivation modes for which purely catalytic P systems are computationally complete. (English) Zbl 1535.68090
MSC:
68Q07
Equivalence classes and conditional hardness in massively parallel computations. (English) Zbl 1483.68032
Abelian networks IV. Dynamics of nonhalting networks. (English) Zbl 1485.05074
Memoirs of the American Mathematical Society 1358. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-5141-7/pbk; 978-1-4704-7024-1/ebook). vii, 89 p. (2022).
Anomalous diffusion in single and coupled standard maps with extensive chaotic phase spaces. (English) Zbl 1492.37071
An efficient iterative method for solving parameter-dependent and random convection-diffusion problems. (English) Zbl 1491.65134
A parallel naive approach for non-dominated sorting: a theoretical study considering PRAM CREW model. (English) Zbl 1491.68057
Metaheuristic-based possibilistic fuzzy \(k\)-modes algorithms for categorical data clustering. (English) Zbl 1484.62079
Notes of the NP-completeness of the membership problem of ET0L languages. (English) Zbl 1499.68161
Reviewer: Angela Slavova (Sofia)
Constructing reversible Turing machines in a reversible and conservative elementary triangular cellular automaton. (English) Zbl 1517.68113
Memory-adjustable navigation piles with applications to sorting and convex hulls. (English) Zbl 07475097
Smooth and strong PCPs. (English) Zbl 1485.68101
Comput. Complexity 30, No. 1, Paper No. 1, 77 p. (2021); corrigendum ibid. 30, No. 1, Paper No. 9, 1 p. (2021).
Reviewer: Arne Meier (Hannover)
Reachability switching games. (English) Zbl 1499.68200
An eigen-based theory for structure-dependent integration methods for nonlinear dynamic analysis. (English) Zbl 1535.70095
Brief announcement: Distributed graph problems through an automata-theoretic lens. (English) Zbl 1540.68303
Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 41, 3 p. (2020).
Improved distributed approximations for maximum independent set. (English) Zbl 1540.68188
Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 35, 16 p. (2020).
Improved hardness of approximation of diameter in the CONGEST model. (English) Zbl 1540.68306
Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 19, 16 p. (2020).
The complexity landscape of distributed locally checkable problems on trees. (English) Zbl 1540.68302
Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 18, 17 p. (2020).
Classification of distributed binary labeling problems. (English) Zbl 1540.68164
Attiya, Hagit (ed.), 34th international symposium on distributed computing, DISC 2020, virtual conference, October 12–16, 2020. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 179, Article 17, 17 p. (2020).
Physical zero-knowledge proof for Suguru puzzle. (English) Zbl 1517.68139
Devismes, Stéphane (ed.) et al., Stabilization, safety, and security of distributed systems. 22nd international symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12514, 235-247 (2020).
Consistent pseudo-mode informed topology optimization for structural stability applications. (English) Zbl 1506.74261
Brief announcement: Classification of distributed binary labeling problems. (English) Zbl 1540.68163
Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM). 349-351 (2020).
Brief announcement: Improved distributed approximations for maximum-weight independent set. (English) Zbl 1540.68187
Cachin, Christian (ed.) et al., Proceedings of the 39th ACM symposium on principles of distributed computing, PODC ’20, virtual event, August 3–7, 2020. New York, NY: Association for Computing Machinery (ACM). 283-285 (2020).
A structured view on weighted counting with relations to counting, quantum computation and applications. (English) Zbl 1496.68153
Fourier analyses of high-order continuous and discontinuous Galerkin methods. (English) Zbl 1448.65166
Reviewer: Bülent Karasözen (Ankara)
Convergence of the non-uniform directed physarum model. (English) Zbl 1437.90098
Reviewer: Franco Cardin (Padova)
Oracle separations between quantum and non-interactive zero-knowledge classes. (English) Zbl 1478.68089
On the probabilistic degrees of symmetric Boolean functions. (English) Zbl 1527.68089
Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 28, 14 p. (2019).
An observation-driven time-dependent basis for a reduced description of transient stochastic systems. (English) Zbl 1472.60004
Hardness of minimal symmetry breaking in distributed computing. (English) Zbl 1542.68124
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 369-378 (2019).
The distributed complexity of locally checkable problems on paths is decidable. (English) Zbl 1542.68057
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 262-271 (2019).
Brief announcement: Does preprocessing help under congestion? (English) Zbl 1542.68059
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 259-261 (2019).
Brief announcement: Connectivity lower bounds in broadcast congested clique. (English) Zbl 1542.68060
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 256-258 (2019).
Broadcast congested clique: planted cliques and pseudorandom generators. (English) Zbl 1542.68058
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 248-255 (2019).
Hardness of distributed optimization. (English) Zbl 1542.68241
Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 238-247 (2019).
An algorithm for diagnosing nonlinear characteristics of dynamic systems with the integrated periodicity ratio and Lyapunov exponent methods. (English) Zbl 1464.65281
A design of accelerating CT image reconstruction using Spark-GPU. (Chinese. English summary) Zbl 1449.92023
Full wave analysis of plane wave diffraction by a finite sinusoidal grating: e-polarization case. (English) Zbl 1524.35623
A case for stale synchronous distributed model for declarative recursive computation. (English) Zbl 1434.68142
SIMD||DNA: single instruction, multiple data computation with DNA strand displacement cascades. (English) Zbl 1534.68064
Thachuk, Chris (ed.) et al., DNA computing and molecular programming. 25th international conference, DNA 25, Seattle, WA, USA, August 5–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11648, 219-235 (2019).
Simulation of programmable matter systems using active tile-based self-assembly. (English) Zbl 1503.68069
Thachuk, Chris (ed.) et al., DNA computing and molecular programming. 25th international conference, DNA 25, Seattle, WA, USA, August 5–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11648, 140-158 (2019).
An optimized design of serial-input-serial-output (SISO) and parallel-input-parallel-output (PIPO) shift registers based on quantum dot cellular automata nanotechnology. (English) Zbl 1428.81060
Approximate counting, the Lovász local lemma, and inference in graphical models. (English) Zbl 1427.68128
Notes on resolution over linear equations. (English) Zbl 1533.68106
van Bevern, René (ed.) et al., Computer science – theory and applications. 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11532, 168-179 (2019).
The I/O complexity of Toom-Cook integer multiplication. (English) Zbl 1432.68161
Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 2034-2052 (2019).
Non-commutative computations: lower bounds and polynomial identity testing. (English) Zbl 1422.68070
A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division. (English) Zbl 1418.68090
Improved bounds for quantified derandomization of constant-depth circuits and polynomials. (English) Zbl 1425.68133
Nondeterministic communication complexity with help and graph functions. (English) Zbl 1423.68185
Reviewer: Ioan Tomescu (Bucureşti)
Explaining event-related fields by a mechanistic model encapsulating the anatomical structure of auditory cortex. (English) Zbl 1414.92171
Models for tropical climate dynamics. Waves, clouds, and precipitation. (English) Zbl 1428.86010
Mathematics of Planet Earth 3. Cham: Springer (ISBN 978-3-030-17774-4/hbk; 978-3-030-17775-1/ebook). xvi, 303 p. (2019).
Reviewer: Vladimir Čadež (Beograd)
MSC:
86A08
86A10
86-02
35Q30
76E15
76E30
76E20
76U05
76V05
76M35
62P12
60H35
62M86
80A17
82D05
82C21
82D30
90C90
Three books on computability, with a special focus on Turing’s legacy. Essay review of: A. M. Turing, On computable numbers, with an application to the Entscheidungsproblem. Book review of: R. Adams, An early history of recursive functions and computability from Gödel to Turing; B. J. Copeland (ed.) et al., Computability. Turing, Gödel, church, and beyond; G. Sommaruga and T. Strahm (ed.), Turing’s revolution. The impact of his ideas about computability. (English) Zbl 1417.00050
Design of Lyapunov functions for a class of homogeneous systems: generalized forms approach. (English) Zbl 1411.93046
GPU-accelerated steady-state computation of large probabilistic Boolean networks. (English) Zbl 1425.68121
Filter Results by …
Document Type
- Journal Articles (510)
- Collection Articles (300)
- Books (45)
- arXiv Preprints (3)
all
top 5
Author
- Pérez-Jiménez, Mario J. (17)
- Leporati, Alberto (15)
- Alhazov, Artiom (14)
- Zandron, Claudio (13)
- Mauri, Giancarlo (12)
- Göös, Mika (10)
- Freund, Rudolf (9)
- Hemaspaandra, Lane A. (9)
- Raz, Ran (9)
- Riscos-Núñez, Agustín (9)
- Sudan, Madhu (9)
- van Melkebeek, Dieter (9)
- Verlan, Sergey (9)
- Gutiérrez-Naranjo, Miguel A. (8)
- Pitassi, Toniann (8)
- Porreca, Antonio E. (8)
- Rogozhin, Yurii (8)
- Suomela, Jukka (8)
- Csuhaj-Varjú, Erzsébet (7)
- Hromkovič, Juraj (7)
- Morita, Kenichi (7)
- Pan, Linqiang (7)
- Woodruff, David P. (7)
- Beame, Paul W. (6)
- Ciobanu, Gabriel (6)
- Ogihara, Mitsunori (6)
- Srinivasan, Srikanth (6)
- Valencia-Cabrera, Luis (6)
- Watson, Thomas (6)
- Attiya, Hagit (5)
- Censor-Hillel, Keren (5)
- Demaine, Erik D. (5)
- Díaz-Pernil, Daniel (5)
- Hirvonen, Juho (5)
- Karpinski, Marek (5)
- Khoury, Seri (5)
- Klauck, Hartmut (5)
- Martínez-del-Amor, Miguel Ángel (5)
- Trevisan, Luca (5)
- Wigderson, Avi (5)
- Adamatzky, Andrew I. (4)
- Ambainis, Andris (4)
- Balliu, Alkida (4)
- Braverman, Mark (4)
- Brody, Joshua E. (4)
- Buhrman, Harry (4)
- Chang, Yi-Jun (4)
- Cienciala, Luděk (4)
- Dal Lago, Ugo (4)
- Freivalds, Rūsiņš Mārtiņš (4)
- Ghazi, Badih (4)
- Harsha, Prahladh (4)
- Hempel, Harald (4)
- Impagliazzo, Russell (4)
- Ivanov, Sergiu (4)
- Kabanets, Valentine (4)
- Kiefer, Stefan (4)
- Koucký, Michal (4)
- Lafourcade, Pascal (4)
- Macías-Ramos, Luis-Felipe (4)
- Manea, Florin (4)
- McGregor, Andrew (4)
- Olivetti, Dennis (4)
- Paz, Ami (4)
- Rius-Font, Miquel (4)
- Romero-Jiménez, Álvaro (4)
- Rothe, Jörg-Matthias (4)
- Seki, Shinnosuke (4)
- Selman, Alan Louis (4)
- Viola, Emanuele (4)
- Wiedermann, Jiří (4)
- Zhang, Qin (4)
- Ablaev, Farid M. (3)
- Akl, Selim G. (3)
- Aman, Bogdan (3)
- Arora, Sanjeev (3)
- Aspnes, James (3)
- Bollig, Beate (3)
- Brandt, Sebastian F. (3)
- Cavaliere, Matteo (3)
- Chakrabarti, Amit (3)
- Chattopadhyay, Arkadev (3)
- Chen, Jian-er (3)
- Ciencialová, Lucie (3)
- Efron, Yuval (3)
- Ferretti, Claudio (3)
- Fortnow, Lance J. (3)
- Frisco, Pierluigi (3)
- Garzon, Max H. (3)
- Goldreich, Oded (3)
- Grochow, Joshua A. (3)
- Grossman, Ofer (3)
- Guerraoui, Rachid (3)
- Hemmerling, Armin (3)
- Kari, Lila (3)
- Kobayashi, Hirotada (3)
- Komargodski, Ilan (3)
- Kothari, Pravesh K. (3)
- Kutrib, Martin (3)
- Loff, Bruno (3)
- and 1,382 more Authors
all
top 5
Serial
- SIAM J. Comput. (53)
- Theor. Comput. Sci. (52)
- Nat. Comput. (20)
- Comput. Complexity (18)
- Int. J. Found. Comput. Sci. (15)
- Inf. Comput. (13)
- Theory Comput. (13)
- Fundam. Inform. (11)
- Inf. Process. Lett. (9)
- Parallel Comput. (9)
- J. ACM (9)
- Theor. Inform. Appl. (8)
- J. Comput. Phys. (7)
- J. Comput. Syst. Sci. (7)
- J. Autom. Lang. Comb. (7)
- Autom. Remote Control (6)
- Theory Comput. Syst. (6)
- ACM Trans. Comput. Theory (6)
- Algorithmica (5)
- Classical Quantum Gravity (4)
- Comput. Phys. Commun. (4)
- Inf. Sci. (4)
- Int. J. Numer. Methods Eng. (4)
- Ann. Pure Appl. Logic (4)
- Int. J. Comput. Math. (4)
- Math. Log. Q. (4)
- Comput. Methods Appl. Mech. Eng. (3)
- Int. J. Gen. Syst. (3)
- Int. J. Theor. Phys. (3)
- Combinatorica (3)
- J. Complexity (3)
- SIAM J. Discrete Math. (3)
- Linear Algebra Appl. (3)
- Acta Astronaut. (2)
- Biol. Cybern. (2)
- Eur. J. Phys. (2)
- J. Sound Vib. (2)
- J. Stat. Phys. (2)
- Wave Motion (2)
- J. Guid. Control Dyn. (2)
- ACM Trans. Math. Softw. (2)
- Ann. Stat. (2)
- Automatica (2)
- J. Comput. Appl. Math. (2)
- Syst. Control Lett. (2)
- J. Sci. Comput. (2)
- J. Parallel Distrib. Comput. (2)
- C. R. Acad. Bulg. Sci. (2)
- J. Dyn. Syst. Meas. Control (2)
- Distrib. Comput. (2)
- Arch. Math. Logic (2)
- Appl. Algebra Eng. Commun. Comput. (2)
- Int. J. Robust Nonlinear Control (2)
- J. Math. Imaging Vis. (2)
- Soft Comput. (2)
- Chaos (2)
- Prog. Nat. Sci. (2)
- Int. J. Mod. Phys. C (2)
- Comput. Inform. (2)
- ACM Trans. Comput. Log. (2)
- Int. J. Quantum Inf. (2)
- Parallel Process. Lett. (2)
- Oberwolfach Rep. (2)
- Log. Methods Comput. Sci. (2)
- ACM Trans. Algorithms (2)
- Texts Comput. Sci. (2)
- Int. J. Mod. Phys. A (1)
- Comput. Struct. (1)
- Discrete Appl. Math. (1)
- Gen. Relativ. Gravitation (1)
- J. Appl. Mech. (1)
- J. Franklin Inst. (1)
- J. Math. Biol. (1)
- Physica A (1)
- Scand. J. Stat. (1)
- Z. Angew. Math. Phys. (1)
- Mol. Simul. (1)
- Appl. Math. Comput. (1)
- Control Cybern. (1)
- Fuzzy Sets Syst. (1)
- J. Am. Stat. Assoc. (1)
- Jñānābha (1)
- Math. Slovaca (1)
- Meccanica (1)
- Mem. Am. Math. Soc. (1)
- Networks (1)
- Notre Dame J. Formal Logic (1)
- Oper. Res. (1)
- Program. Comput. Softw. (1)
- Quaest. Math. (1)
- Q. Appl. Math. (1)
- SIAM J. Numer. Anal. (1)
- Stat. Neerl. (1)
- Z. Flugwiss. Weltraumforsch. (1)
- Zb. Rad., Prir.-Mat. Fak., Univ. Novom Sadu, Ser. Mat. (1)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (1)
- Physica D (1)
- Sov. J. Comput. Syst. Sci. (1)
- Discrete Comput. Geom. (1)
- J. Inf. Process. Cybern. (1)
- and 104 more Serials
all
top 5
Year of Publication
- 2024 (7)
- 2023 (9)
- 2022 (18)
- 2021 (12)
- 2020 (19)
- 2019 (34)
- 2018 (43)
- 2017 (38)
- 2016 (49)
- 2015 (40)
- 2014 (37)
- 2013 (34)
- 2012 (35)
- 2011 (39)
- 2010 (24)
- 2009 (29)
- 2008 (32)
- 2007 (30)
- 2006 (36)
- 2005 (16)
- 2004 (18)
- 2003 (26)
- 2002 (17)
- 2001 (24)
- 2000 (19)
- 1999 (22)
- 1998 (19)
- 1997 (16)
- 1996 (11)
- 1995 (17)
- 1994 (11)
- 1993 (14)
- 1992 (8)
- 1991 (16)
- 1990 (8)
- 1989 (4)
- 1988 (5)
- 1987 (4)
- 1986 (4)
- 1985 (4)
- 1984 (4)
- 1983 (4)
- 1982 (2)
all
top 3
Main Field
- 68-XX (736)
- 03-XX (88)
- 65-XX (54)
- 94-XX (51)
- 81-XX (46)
- 92-XX (36)
- 93-XX (35)
- 90-XX (33)
- 70-XX (30)
- 05-XX (29)
- 62-XX (21)
- 74-XX (21)
- 37-XX (17)
- 91-XX (17)
- 00-XX (15)
- 82-XX (14)
- 60-XX (13)
- 76-XX (12)
- 83-XX (11)
- 06-XX (9)
- 35-XX (9)
- 86-XX (8)
- 15-XX (7)
- 20-XX (5)
- 34-XX (5)
- 52-XX (5)
- 78-XX (5)
- 11-XX (4)
- 55-XX (4)
- 49-XX (3)
- 80-XX (3)
- 41-XX (2)
- 42-XX (2)
- 85-XX (2)
- 01-XX (1)
- 18-XX (1)
- 28-XX (1)
- 46-XX (1)
- 51-XX (1)
- 57-XX (1)
all
top 3
Software
- Matlab (6)
- ARPACK (4)
- ScaLAPACK (4)
- LAPACK (3)
- CUDA (2)
- Golly (2)
- MPI (2)
- Mathematica (2)
- NEURON (2)
- PRISM (2)
- SparseMatrix (2)
- ftnonpar (2)
- ANSYS (1)
- ARMCI (1)
- ASSA-PBN (1)
- AdELL (1)
- Algorithm 679 (1)
- Algorithm 694 (1)
- Apache Spark (1)
- Autograd (1)
- AxiSEM (1)
- BiELL (1)
- BigDatalog (1)
- BoomerAMG (1)
- CADbots (1)
- CPMD (1)
- CSR5 (1)
- CSparse (1)
- CUSP (1)
- CUSPARSE (1)
- CoAdELL (1)
- ConwayLife (1)
- DAVID (1)
- DDE-BIFTOOL (1)
- DGM (1)
- DLMF (1)
- DL_POLY (1)
- DNASequenceGenerator (1)
- DSCPACK (1)
- DistMesh (1)
- Dryad (1)
- EISPACK (1)
- ESPResSo (1)
- EVSL (1)
- FEAPpv (1)
- FMMLIB3D (1)
- FullSWOF (1)
- GAP (1)
- GHC (1)
- Genocop (1)
- Gibbsit (1)
- GitHub (1)
- GrADS (1)
- GraphLab (1)
- Graphs (1)
- Gromacs (1)
- HLLE (1)
- HQR3 (1)
- Hadoop (1)
- IFISS (1)
- ITPACK (1)
- Isabelle/HOL (1)
- JDQR (1)
- JDQZ (1)
- JPLANT (1)
- KDE Toolbox (1)
- KEGG (1)
- KernSmooth (1)
- LOTOS (1)
- LightSpMV (1)
- MAGMA (1)
- MAGPACK (1)
- MASCARET (1)
- METIS (1)
- MINPACK-2 (1)
- ML (1)
- MUMPS (1)
- MapReduce (1)
- Maple (1)
- Maria (1)
- Mathcad (1)
- MatrixMarket (1)
- McEliece (1)
- MiniSat (1)
- MultiLC (1)
- NAMD (1)
- NM-CT (1)
- NX (1)
- NetworkX (1)
- Neweul (1)
- Nuprl (1)
- OASES (1)
- Oz (1)
- PARDISO (1)
- PARTITION (1)
- PATH Solver (1)
- PDDE-CONT (1)
- PERMAS (1)
- PETSc (1)
- PITCON (1)
- and 50 more Software Packages