Found 2,425 Documents (Results 1–100)
Algorithmic computability and approximability of capacity-achieving input distributions. (English) Zbl 07883316
Undecidability of the topological entropy of reversible cellular automata and related problems. (English) Zbl 07787632
Genova, Daniela (ed.) et al., Unconventional computation and natural computation. 20th international conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14003, 108-123 (2023).
Degenerate Turing bifurcation and the birth of localized patterns in activator-inhibitor systems. (English) Zbl 07723356
Expressing power of elementary quantum recursion schemes for quantum logarithmic-time computability. (English) Zbl 1541.68148
Ciabattoni, Agata (ed.) et al., Logic, language, information, and computation. 28th international workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13468, 88-104 (2022).
Iteratively reweighted least squares and slime mold dynamics: connection and convergence. (English) Zbl 1501.37083
Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice. (English) Zbl 1487.68153
A computation model with automatic functions and relations as primitive operations. (English) Zbl 1535.68084
Synthesis and analysis of elementary algorithms for a differential neural computer. (English) Zbl 1516.68031
TuringMobile: a Turing machine of oblivious mobile robots with limited visibility and its applications. (English) Zbl 1483.68026
Categorical Representation Learning and RG flow operators for algorithmic classifiers. arXiv:2203.07975
Preprint, arXiv:2203.07975 [cs.LG] (2022).
Complexity Blowup for Solutions of the Laplace and the Diffusion Equation. arXiv:2212.00693
Preprint, arXiv:2212.00693 [cs.CC] (2022).
Lower bounds for conjunctive and disjunctive Turing kernels. (English) Zbl 07803590
Golovach, Petr A. (ed.) et al., 16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 214, Article 12, 17 p. (2021).
#NFA admits an FPRAS: efficient enumeration, counting, and uniform generation for logspace classes. (English) Zbl 1499.68124
Reducibility among combinatorial problems (1972). (English) Zbl 1529.68027
Lewis, Harry R. (ed.), Ideas that created the future. Classic papers of computer science. Cambridge, MA: MIT Press. 349-356 (2021).
Quantum information distance. (English) Zbl 1486.81044
Top tree compression of tries. (English) Zbl 1518.68070
Computational thinking: a perspective on computer science. (English) Zbl 1490.68001
Singapore: Springer (ISBN 978-981-16-3847-3/hbk; 978-981-16-3848-0/ebook). xxvi, 319 p. (2021).
Reviewer: Dieter Riebesehl (Lüneburg)
On the termination and structural termination problems for counter machines with incrementing errors. (English) Zbl 1480.68008
Reviewer: Frank Stephan (Singapore)
A Turing kernelization dichotomy for structural parameterizations of \(\mathcal{F} \)-minor-free deletion. (English) Zbl 1482.68110
Reviewer: K. Subramani (Morgantown)
Categorical Representation Learning: Morphism is All You Need. arXiv:2103.14770
Preprint, arXiv:2103.14770 [cs.LG] (2021).
Approximate Turing kernelization for problems parameterized by treewidth. (English) Zbl 07651199
Grandoni, Fabrizio (ed.) et al., 28th annual European symposium on algorithms. ESA 2020, September 7–9, 2020, Pisa, Italy, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 173, Article 60, 23 p. (2020).
MSC:
68Wxx
On pure space vs catalytic space. (English) Zbl 1535.68083
Chen, Jianer (ed.) et al., Theory and applications of models of computation. 16th international conference, TAMC 2020, Changsha, China, October 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12337, 439-451 (2020).
Separation between read-once oblivious algebraic branching programs (ROABPs) and multilinear depth-three circuits. (English) Zbl 1499.68100
Circuit lower bounds from NP-hardness of MCSP under Turing reductions. (English) Zbl 07561754
Saraf, Shubhangi (ed.), 35th computational complexity conference, CCC 2020, July 28–31, 2020, Saarbrücken, Germany, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 169, Article 26, 13 p. (2020).
MSC:
68Q25
Book review of: J. MacCormick, What can be computed? A practical guide to the theory of computation. (English) Zbl 1480.00030
The Turing test for graph drawing algorithms. (English) Zbl 07436638
Auber, David (ed.) et al., Graph drawing and network visualization. 28th international symposium, GD 2020, Vancouver, BC, Canada, September 16–18, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12590, 466-481 (2020).
Means-fit effectivity. (English) Zbl 1468.68333
The argument against quantum computers. (English) Zbl 1499.81032
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 399-422 (2020).
Physical computability theses. (English) Zbl 1498.68109
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer. Jerus. Stud. Philos. Hist. Sci., 217-231 (2020).
Investigations on the approximability and computability of the Hilbert transform with applications. (English) Zbl 1452.44005
Top tree compression of tries. (English) Zbl 1518.68071
Lu, Pinyan (ed.) et al., 30th international symposium on algorithms and computation, ISAAC 2019, Shanghai University of Finance and Economics, Shanghai, China, December 8–11, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 149, Article 4, 18 p. (2019).
More intensional versions of Rice’s theorem. (English) Zbl 1434.03110
Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 217-229 (2019).
Average-case linear matrix factorization and reconstruction of low width algebraic branching programs. (English) Zbl 1494.68082
Nonuniform families of polynomial-size quantum finite automata and quantum logarithmic-space computation with polynomial-size advice. (English) Zbl 1425.68238
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 134-145 (2019).
On the termination problem for counter machines with incrementing errors. (English) Zbl 1535.68085
Filiot, Emmanuel (ed.) et al., Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11–13, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11674, 137-148 (2019).
Relativizations of nonuniform quantum finite automata families. (English) Zbl 1525.68070
McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11493, 257-271 (2019).
Alternating, private alternating, and quantum alternating realtime automata. (English) Zbl 1509.68067
Non-commutative computations: lower bounds and polynomial identity testing. (English) Zbl 1422.68070
Lower bounds and PIT for non-commutative arithmetic circuits with restricted parse trees. (English) Zbl 1422.68086
Quantum computing: survey and analysis. (English. Russian original) Zbl 1418.81019
Cybern. Syst. Anal. 55, No. 1, 10-21 (2019); translation from Kibern. Sist. Anal. 2019, No. 1, 14-29 (2019).
A uniform solution to SAT problem by symport/antiport P systems with channel states and membrane division. (English) Zbl 1418.68090
Approximate span programs. (English) Zbl 1421.68051
MSC:
68Q12
68Q05
Bio-inspired computing models and algorithms. (English) Zbl 1409.68006
Hackensack, NJ: World Scientific (ISBN 978-981-314-317-3/hbk; 978-981-3143-19-7/ebook). xvi, 282 p. (2019).
A quantum query algorithm for computing the degree of a perfect nonlinear Boolean function. (English) Zbl 1417.81104
A quantum walk-assisted approximate algorithm for bounded NP optimisation problems. (English) Zbl 1417.81095
Automata and computability. A programmer’s perspective. (English) Zbl 1478.68004
Boca Raton, FL: CRC Press (ISBN 978-1-138-55242-5/hbk; 978-1-315-14817-5/ebook). xx, 328 p. (2019).
Reviewer: György Vaszil (Debrecen)
Abstract recursion and intrinsic complexity. (English) Zbl 1412.03004
Lecture Notes in Logic 48. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-108-41558-3/hbk; 978-1-108-23423-8/ebook). vii, 243 p. (2019).
Reviewer: Leon Harkleroad (Bowdoinham)
Algorithmics of nonuniformity: tools and paradigms. (English) Zbl 1402.68004
Discrete Mathematics and its Applications. Boca Raton, FL: CRC Press (ISBN 978-1-4987-5071-4/hbk; 978-1-4987-5072-1/ebook). xix, 569 p. (2019).
Reviewer: Irina Ioana Mohorianu (Oxford)
Classical and quantum computations with restricted memory. (English) Zbl 1514.68073
Böckenhauer, Hans-Joachim (ed.) et al., Adventures between lower bounds and higher altitudes. Essays dedicated to Juraj Hromkovič on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 11011, 129-155 (2018).
A framework for in-place graph algorithms. (English) Zbl 1522.68389
Azar, Yossi (ed.) et al., 26th annual European symposium on algorithms, ESA 2018, August 20–22, 2018, Helsinki, Finland. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 112, Article 13, 16 p. (2018).
A behavioural theory for reflective sequential algorithms. (English) Zbl 1461.68083
Petrenko, Alexander K. (ed.) et al., Perspectives of system informatics. 11th international Andrei P. Ershov informatics conference, PSI 2017, Moscow, Russia, June 27–29, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10742, 117-131 (2018).
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. (English) Zbl 1502.68127
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). 235-244 (2018).
The slowdown theorem: a lower bound for computational irreducibility in physical systems. (English) Zbl 1456.68057
On the complexity of polynomial recurrence sequences. (English. Russian original) Zbl 1423.68174
Probl. Inf. Transm. 54, No. 3, 258-262 (2018); translation from Probl. Peredachi Inf. 54, No. 3, 67-72 (2018).
Quadratically tight relations for randomized query complexity. (English) Zbl 1434.68198
Fomin, Fedor V. (ed.) et al., Computer science – theory and applications. 13th international computer science symposium in Russia, CSR 2018, Moscow, Russia, June 6–10, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10846, 207-219 (2018).
A generalized circuit for the Hamiltonian dynamics through the truncated series. (English) Zbl 1402.81085
Supervised learning with quantum computers. (English) Zbl 1411.81008
Quantum Science and Technology. Cham: Springer (ISBN 978-3-319-96423-2/hbk; 978-3-319-96424-9/ebook). xiii, 287 p. (2018).
Reviewer: Andreas Maletti (Leipzig)
Abstract geometrical computation. VIII: Small machines, accumulations & rationality. (English) Zbl 1398.68158
MSC:
68Q05
11Y16
Mathematics and quantum computing. (Mathematik und Quantum Computing.) (German) Zbl 1405.81004
Berlin: Logos Verlag (ISBN 978-3-8325-4716-5/pbk). 123 p. (2018).
Reviewer: Bassano Vacchini (Milano)
Local expanders. (English) Zbl 1398.68164
A dozen of research topics in membrane computing. (English) Zbl 1395.68124
MSC:
68Q05
68Q25
From distribution to replication in cooperative systems with active membranes: a frontier of the efficiency. (English) Zbl 1395.68128
Exact computation of the number of accepting paths of an NTM. (English) Zbl 1497.68219
Panda, B. S. (ed.) et al., Algorithms and discrete applied mathematics. 4th international conference, CALDAM 2018, Guwahati, India, February 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10743, 105-117 (2018).
Filter Results by …
Document Type
- Journal Articles (1,454)
- Collection Articles (754)
- Books (213)
- arXiv Preprints (4)
all
top 5
Author
- Hromkovič, Juraj (33)
- Ibarra, Oscar H. (28)
- Gurevich, Yuri (25)
- Book, Ronald Vernon (21)
- Vitányi, Paul M. B. (20)
- Pérez-Jiménez, Mario J. (19)
- Reischuk, Rüdiger (19)
- Rytter, Wojciech (19)
- Schöning, Uwe (17)
- Paul, Wolfgang Jakob (16)
- Mauri, Giancarlo (15)
- Blass, Andreas Raphael (14)
- Mehlhorn, Kurt (13)
- Wegener, Ingo (13)
- Aaronson, Scott (12)
- Freivalds, Rūsiņš Mārtiņš (12)
- Galil, Zvi (12)
- Hartmanis, Juris (12)
- Maass, Wolfgang (12)
- Porreca, Antonio E. (12)
- Riscos-Núñez, Agustín (12)
- Seiferas, Joel I. (12)
- Selman, Alan Louis (12)
- Stockmeyer, Larry J. (12)
- Vishkin, Uzi (12)
- Bertoni, Alberto (11)
- Cook, Stephen Arthur (11)
- Ko, Ker-I (11)
- Leporati, Alberto (11)
- Lipton, Richard Jay (11)
- Reif, John H. (11)
- Savitch, Walter J. (11)
- Yakaryılmaz, Abuzer (11)
- Balcázar, José Luis (10)
- Dietzfelbinger, Martin (10)
- Li, Ming (10)
- Meyer auf der Heide, Friedhelm (10)
- Monien, Burkhard (10)
- Valencia-Cabrera, Luis (10)
- Wagner, Klaus W. (10)
- Yamakami, Tomoyuki (10)
- Brandstädt, Andreas (9)
- Burgin, Mark (9)
- Inoue, Katsushi (9)
- Kasai, Takumi (9)
- Kutyłowski, Mirosław (9)
- Liśkiewicz, Maciej (9)
- Meinel, Christoph (9)
- Meyer, Albert Ronald (9)
- Parberry, Ian (9)
- Simon, Janos (9)
- Zandron, Claudio (9)
- Beame, Paul W. (8)
- Hagerup, Torben (8)
- Hemaspaandra, Lane A. (8)
- Rosier, Louis E. (8)
- Shpilka, Amir (8)
- Takanami, Itsuo (8)
- Wigderson, Avi (8)
- Allender, Eric W. (7)
- Borodin, Allan B. (7)
- Braverman, Vladimir (7)
- Cucker, Felipe (7)
- Dershowitz, Nachum (7)
- Díaz, Josep (7)
- Dymond, Patrick W. (7)
- Gurari, Eitan M. (7)
- Jiang, Tao (7)
- Katajainen, Jyrki (7)
- Lickteig, Thomas (7)
- Loryś, Krzysztof (7)
- Loui, Michael C. (7)
- Manzoni, Luca E. (7)
- Martínez-del-Amor, Miguel Ángel (7)
- Mereghetti, Carlo (7)
- Ragde, Prabhakar L. (7)
- Raz, Ran (7)
- Schnitger, Georg (7)
- Schnorr, Claus Peter (7)
- Tucker, John V. (7)
- van Emde Boas, Peter (7)
- Woods, Damien (7)
- Adleman, Leonard Max (6)
- de Wolf, Ronald Michiel (6)
- Ďuriš, Pavol (6)
- Gabarró, Joaquim (6)
- Geffert, Viliam (6)
- Karp, Richard Manning (6)
- Kayal, Neeraj (6)
- Koiran, Pascal (6)
- Ladner, Richard E. (6)
- Long, Timothy Juris (6)
- Meer, Klaus (6)
- Orellana-Martín, David (6)
- Ostrovsky, Rafail (6)
- Pighizzini, Giovanni (6)
- Regan, Kenneth W. (6)
- Sabadini, Nicoletta (6)
- Saha, Chandan (6)
- Santha, Miklos (6)
- and 2,384 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (168)
- SIAM J. Comput. (119)
- Inf. Process. Lett. (111)
- J. Comput. Syst. Sci. (89)
- Inf. Comput. (60)
- J. Assoc. Comput. Mach. (33)
- Comput. Complexity (31)
- Inf. Control (29)
- Math. Syst. Theory (28)
- Algorithmica (28)
- J. Complexity (20)
- Fundam. Inform. (19)
- Int. J. Comput. Math. (17)
- Theory Comput. Syst. (17)
- IEEE Trans. Comput. (16)
- Elektron. Informationsverarbeitung Kybernetik (16)
- Nat. Comput. (15)
- Acta Inf. (13)
- Sov. Math., Dokl. (12)
- J. Algorithms (11)
- Quantum Inf. Process. (11)
- Comput. Artif. Intell. (10)
- Int. J. Found. Comput. Sci. (10)
- J. ACM (10)
- ACM Trans. Comput. Log. (9)
- Discrete Appl. Math. (8)
- Kibern. Sb., Nov. Ser. (8)
- J. Inf. Process. Cybern. (8)
- Kibernetika (7)
- Kybernetika (7)
- Cybernetics (7)
- Parallel Comput. (7)
- Bull. Eur. Assoc. Theor. Comput. Sci. EATCS (7)
- RIMS Kokyuroku (7)
- ACM Trans. Comput. Theory (7)
- Inf. Sci. (6)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (6)
- J. Parallel Distrib. Comput. (6)
- Cybern. Syst. Anal. (6)
- Notre Dame J. Formal Logic (5)
- Combinatorica (5)
- SIAM J. Discrete Math. (5)
- Bull. EATCS (5)
- Commun. ACM (5)
- Bull. Symb. Log. (5)
- J. Autom. Lang. Comb. (5)
- Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. (5)
- J. Mult.-Val. Log. Soft Comput. (5)
- J. Discrete Algorithms (5)
- Log. Methods Comput. Sci. (5)
- IEEE Trans. Inf. Theory (4)
- Latv. Mat. Ezheg. (4)
- Ann. Univ. Mariae Curie-Skłodowska, Sect. A (4)
- BIT (4)
- Commentat. Math. Univ. Carol. (4)
- J. Sov. Math. (4)
- J. Symb. Log. (4)
- RAIRO, Inf. Théor. (4)
- Z. Math. Logik Grundlagen Math. (4)
- Discrete Math. Appl. (4)
- C. R. Acad. Bulg. Sci. (4)
- C. R. Acad. Sci., Paris, Sér. I (4)
- Distrib. Comput. (4)
- RAIRO, Inform. Théor. Appl. (4)
- J. Math. Sci., New York (4)
- Veroyatn. Metody Kibern. (4)
- Lobachevskii J. Math. (4)
- Lect. Notes Comput. Sci. (4)
- Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova (4)
- RAIRO, Theor. Inform. Appl. (4)
- Am. Math. Mon. (3)
- Int. J. Theor. Phys. (3)
- Probl. Inf. Transm. (3)
- An. Științ. Univ. Al. I. Cuza Iași, N. Ser., Secț. Ia (3)
- Appl. Math. Comput. (3)
- Computing (3)
- Rostocker Math. Kolloq. (3)
- Trans. Am. Math. Soc. (3)
- ACM Trans. Program. Lang. Syst. (3)
- J. Log. Program. (3)
- Complex Syst. (3)
- J. Log. Comput. (3)
- Enseign. Math. (2) (3)
- Chic. J. Theor. Comput. Sci. (3)
- Theor. Inform. Appl. (3)
- Comput. Inform. (3)
- Reihe Inf. (3)
- ACM Trans. Algorithms (3)
- Theory Comput. (3)
- Probl. Kibern. (3)
- Comput. Sci. Rev. (3)
- Texts Comput. Sci. (3)
- Prikl. Diskretn. Mat. (3)
- Springer-Lehrb. (3)
- Comput. Math. Appl. (2)
- Discrete Math. (2)
- Dokl. Akad. Nauk BSSR (2)
- J. Comput. Phys. (2)
- Obz. Mat. Fiz. (2)
- Phys. Lett., A (2)
- and 239 more Serials
all
top 5
Year of Publication
- 2024 (1)
- 2023 (5)
- 2022 (13)
- 2021 (12)
- 2020 (14)
- 2019 (30)
- 2018 (34)
- 2017 (57)
- 2016 (63)
- 2015 (70)
- 2014 (64)
- 2013 (61)
- 2012 (71)
- 2011 (58)
- 2010 (43)
- 2009 (50)
- 2008 (42)
- 2007 (32)
- 2006 (38)
- 2005 (35)
- 2004 (42)
- 2003 (30)
- 2002 (24)
- 2001 (31)
- 2000 (26)
- 1999 (32)
- 1998 (37)
- 1997 (31)
- 1996 (40)
- 1995 (37)
- 1994 (52)
- 1993 (49)
- 1992 (45)
- 1991 (55)
- 1990 (73)
- 1989 (95)
- 1988 (114)
- 1987 (70)
- 1986 (80)
- 1985 (85)
- 1984 (69)
- 1983 (54)
- 1982 (66)
- 1981 (63)
- 1980 (61)
- 1979 (48)
- 1978 (39)
- 1977 (28)
- 1976 (34)
- 1975 (29)
- 1974 (27)
- 1973 (12)
- 1972 (14)
- 1971 (11)
- 1970 (8)
- 1969 (4)
- 1968 (4)
- 1967 (3)
- 1966 (3)
- 1965 (5)
- 1957 (1)
- 1878 (1)
all
top 3
Main Field
- 68-XX (2,392)
- 03-XX (646)
- 94-XX (205)
- 81-XX (172)
- 05-XX (103)
- 65-XX (77)
- 11-XX (58)
- 90-XX (55)
- 92-XX (32)
- 00-XX (31)
- 20-XX (23)
- 52-XX (22)
- 91-XX (22)
- 15-XX (14)
- 62-XX (14)
- 12-XX (13)
- 06-XX (12)
- 37-XX (12)
- 60-XX (8)
- 26-XX (7)
- 34-XX (7)
- 01-XX (6)
- 14-XX (6)
- 35-XX (6)
- 13-XX (5)
- 18-XX (5)
- 57-XX (5)
- 08-XX (4)
- 41-XX (4)
- 55-XX (4)
- 82-XX (4)
- 16-XX (3)
- 22-XX (3)
- 33-XX (3)
- 43-XX (3)
- 46-XX (3)
- 70-XX (3)
- 93-XX (3)
- 28-XX (2)
- 30-XX (2)
- 39-XX (2)
- 42-XX (2)
- 83-XX (2)
- 17-XX (1)
- 44-XX (1)
- 47-XX (1)
- 49-XX (1)
- 51-XX (1)
- 53-XX (1)
- 54-XX (1)
- 74-XX (1)
- 76-XX (1)
- 80-XX (1)
- 97-XX (1)
all
top 3
Biographic Reference
- Downey, Rodney Graham (1)
- Hartmanis, Juris (1)
- Shor, Peter Williston (1)
- Smale, Stephen (1)
- Turing, Alan Mathison (1)
all
top 3
Software
- ALGOL 60 (5)
- Algorithm 447 (3)
- Coq (3)
- Mathematica (3)
- SuLQ (3)
- mctoolbox (3)
- ALGOL 68 (2)
- CUDA (2)
- CUDD (2)
- GitHub (2)
- Haskell (2)
- Mathemagix (2)
- Modula (2)
- P-Lingua (2)
- Python (2)
- Q-circuit (2)
- QPL (2)
- Qcircuit (2)
- R (2)
- ViennaRNA (2)
- gmp (2)
- iRRAM (2)
- ADVIS (1)
- Ada95 (1)
- Algorithm 97 (1)
- Amazon EC2 (1)
- AsmL (1)
- BLAS (1)
- Blitz++ library (1)
- Boids (1)
- Boruta (1)
- C50 (1)
- CLAPACK (1)
- CRAN Cluster (1)
- CRAN Distributions (1)
- CRAN MachineLearning (1)
- CRAN Optimization (1)
- CRAN Task Views (1)
- Cayley (1)
- Cilk (1)
- Cirq (1)
- Concorde (1)
- Cyto-Sim (1)
- DDA (1)
- DropBot (1)
- ECPP (1)
- EISPACK (1)
- ESSL (1)
- Easychair (1)
- FETE (1)
- FSelector (1)
- Fortran DVM (1)
- GenSA (1)
- Genocop (1)
- Graphplus Templet (1)
- Graphs (1)
- HSolver (1)
- INTOPT_90 (1)
- Intel TBB (1)
- JAGS (1)
- JavaScript (1)
- Jove (1)
- Jupyter (1)
- Kangaroo (1)
- Kernlab (1)
- LAPACK (1)
- LEDA (1)
- LINPACK (1)
- LanQ (1)
- LiE (1)
- MAX-2-SAT (1)
- MNIST (1)
- MPFR (1)
- Magma (1)
- Mahout (1)
- Matlab (1)
- MesoRD (1)
- Miranda (1)
- Mmxlib (1)
- NEURON (1)
- NKA (1)
- NTL (1)
- NTRU (1)
- NUTS (1)
- OACC (1)
- OEIS (1)
- Optim (1)
- PDCO (1)
- PNM (1)
- PVM (1)
- Pinocchio (1)
- QDENSITY (1)
- QDENSpalette (1)
- R2WinBUGS (1)
- RAM+BOOL (1)
- ROI (1)
- RSOLVER (1)
- RScaLAPACK (1)
- Rdsm (1)
- RealLib (1)
- and 41 more Software Packages
