Found 486 Documents (Results 1–100)
There are no post-quantum weakly pseudo-free families in any nontrivial variety of expanded groups. (English) Zbl 07881699
Lu decomposition and Toeplitz decomposition of a neural network. (English) Zbl 1532.68082
Reviewer: Steven B. Damelin (Ann Arbor)
Mini-workshop: Combinatorial and algebraic structures in rough analysis and related fields. Abstracts from the mini-workshop held November 26 – December 2, 2023. (English) Zbl 07921229
Breaking the size barrier: universal circuits meet lookup tables. (English) Zbl 07903876
Guo, Jian (ed.) et al., Advances in cryptology – ASIACRYPT 2023. 29th international conference on the theory and application of cryptology and information security, Guangzhou, China, December 4–8, 2023. Proceedings. Part I. Singapore: Springer. Lect. Notes Comput. Sci. 14438, 3-37 (2023).
A framework for UC secure privacy preserving biometric authentication using efficient functional encryption. (English) Zbl 1542.94152
Tibouchi, Mehdi (ed.) et al., Applied cryptography and network security. 21st international conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13906, 167-196 (2023).
Universal analytic Gröbner bases and tropical geometry. (English) Zbl 07760798
Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 517-525 (2023).
MSC:
68W30
The structure group for quasi-linear equations via universal enveloping algebras. (English) Zbl 1535.60156
Universality of Euler flows and flexibility of Reeb embeddings. (English) Zbl 1523.35241
Reviewer: Catalin Popa (Iaşi)
Grover search inspired alternating operator ansatz of quantum approximate optimization algorithm for search problems. (English) Zbl 1542.81205
Quantity study on a novel quantum neural network with alternately controlled gates for binary image classification. (English) Zbl 1542.81198
Poisson triple systems. (English) Zbl 1537.17037
Low-overhead code concatenation approaches for universal quantum computation. (English) Zbl 1508.81509
MSC:
81P68
Post-Lie algebras of derivations and regularity structures. arXiv:2306.02484
Preprint, arXiv:2306.02484 [math-ph] (2023).
Rough Randomness and its Application. arXiv:2304.00005
Preprint, arXiv:2304.00005 [cs.AI] (2023).
Universally composable almost-everywhere secure computation. (English) Zbl 07871074
Dachman-Soled, Dana (ed.), 3rd conference on information-theoretic cryptography, ITC 2022, Cambridge, MA, USA, July 5–7, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 230, Article 14, 25 p. (2022).
Computational universality and efficiency in morphogenetic systems. (English) Zbl 07630827
Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 9th international conference, MCU 2022, Debrecen, Hungary, August 31 – September 2, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13419, 158-171 (2022).
MSC:
68Qxx
Measurement-based universal blind quantum computation with minor resources. (English) Zbl 1508.81571
MSC:
81P68
Error correction of the continuous-variable quantum hybrid computation on two-node cluster states: limit of squeezing. (English) Zbl 1496.81044
An RNA-based theory of natural universal computation. (English) Zbl 1483.92063
J. Theor. Biol. 537, Article ID 110984, 19 p. (2022); erratum ibid. 566, Article ID 111481, 1 p. (2023).
Small tile sets that compute while solving mazes. (English) Zbl 1533.68071
Lakin, Matthew R. (ed.) et al., 27th international conference on DNA computing and molecular programming. DNA 27, Oxford, UK (virtual conference), September 13–16, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 205, Article 8, 20 p. (2021).
Demonstration of minisuperspace quantum cosmology using quantum computational algorithms on IBM quantum computer. (English) Zbl 1509.81261
Pushing the limits of Valiant’s universal circuits: simpler, tighter and more compact. (English) Zbl 1497.94193
Malkin, Tal (ed.) et al., Advances in cryptology – CRYPTO 2021. 41st annual international cryptology conference, CRYPTO 2021, virtual event, August 16–20, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12826, 365-394 (2021).
Dynamic simulation of quantum entanglement in finite quantum mechanics: a computer algebra approach. (English. Russian original) Zbl 1473.81043
Program. Comput. Softw. 47, No. 2, 124-132 (2021); translation from Programmirovanie 47, No. 2, 34-43 (2021).
A note on computation MTs with time in instructions or with tapes of fixed length. (English) Zbl 1535.68087
\( \omega \)-categorical structures avoiding height 1 identities. (English) Zbl 1472.08006
Reviewer: Keith Kearnes (Boulder)
Fault-tolerant quantum error correction code preparation in UBQC. (English) Zbl 1508.81637
MSC:
81P73
Controlled phase gate and Grover’s search algorithm on two distant NV-centers assisted by an NAMR. (English) Zbl 1508.81469
Involutory Turing machines. (English) Zbl 07368047
Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 54-70 (2020).
The hidden subgroup problem for universal algebras. (English) Zbl 1484.08002
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 756-767 (2020).
Special identities for comtrans algebras. (English) Zbl 1478.17004
Reviewer: Wiesław A. Dudek (Wrocław)
Universality of Wolfram’s \(2, 3\) Turing machine. (English) Zbl 1487.68103
Reviewer: Gregory Loren McColm (Tampa)
On complexity of the existential and universal theories of finite fields. (Russian. English summary) Zbl 1461.03029
Resource efficient finite element computing on multicore architectures. (Russian. English summary) Zbl 1453.65410
Generic undecidability of universal theories. (Russian. English summary) Zbl 1446.03075
On small universality of spiking neural P systems with multiple channels. (English) Zbl 1522.68219
Hinze, Thomas (ed.) et al., Membrane computing. 19th international conference, CMC 2018, Dresden, Germany, September 4–7, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11399, 229-245 (2019).
MSC:
68Q07
A primer on quantum computing. (English) Zbl 1430.81001
SpringerBriefs in Computer Science. Cham: Springer (ISBN 978-3-030-19065-1/pbk; 978-3-030-19066-8/ebook). x, 109 p. (2019).
Reviewer: Eugene Kryachko (Kyiv)
(Efficient) universally composable oblivious transfer using a minimal number of stateless tokens. (English) Zbl 1434.94062
Towards a categorical representation of reversible event structures. (English) Zbl 1427.68196
Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur)
Universal computation in a simplified Brownian cellular automaton with von Neumann neighborhood. (English) Zbl 1455.68116
Relating idioms, arrows and monads from monoidal adjunctions. (English) Zbl 1525.68044
Atkey, Robert (ed.) et al., Proceedings of the 7th workshop on mathematically structured functional programming, MSFP 2018, Oxford, UK, July 8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 275, 18-33 (2018).
Expressive power, satisfiability and equivalence of circuits over nilpotent algebras. (English) Zbl 1510.68075
Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 17, 15 p. (2018).
Does universal controllability of physical systems prohibit thermodynamic cycles? (English) Zbl 1423.81054
Fault-tolerant design of a shift register at the nanoscale based on quantum-dot cellular automata. (English) Zbl 1412.81085
Operads of wiring diagrams. (English) Zbl 1398.18001
Lecture Notes in Mathematics 2192. Cham: Springer (ISBN 978-3-319-95000-6/pbk; 978-3-319-95001-3/ebook). xi, 306 p. (2018).
Reviewer: Najib Idrissi (Paris)
A pleasant stroll through the land of distributed machines, computation, and universality. (English) Zbl 1508.68024
Durand-Lose, Jérôme (ed.) et al., Machines, computations, and universality. 8th international conference, MCU 2018, Fontainebleau, France, June 28–30, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10881, 34-50 (2018).
Modular adder designs using optimal reversible and fault tolerant gates in field-coupled QCA nanocomputing. (English) Zbl 1391.81057
Uncomputability and physical law. (English) Zbl 07907765
Cooper, S. Barry (ed.) et al., The incomputable. Journeys beyond the Turing barrier. Cham: Springer. Theory Appl. Comput., 95-104 (2017).
Near-optimal induced universal graphs for bounded degree graphs. (English) Zbl 1447.05179
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 128, 14 p. (2017).
A universal ordinary differential equation. (English) Zbl 1442.68057
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 116, 14 p. (2017).
The quantum monad on relational structures. (English) Zbl 1441.68055
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 35, 19 p. (2017).
A constructive approach to the module of twisted global sections on relative projective spaces. (English) Zbl 1402.13016
Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 23-49 (2017).
Universal Sleptsov net. (English) Zbl 1397.68127
Overlaying conditional circuit clauses for secure computation. (English) Zbl 1417.94067
Takagi, Tsuyoshi (ed.) et al., Advances in cryptology – ASIACRYPT 2017. 23rd international conference on the theory and applications of cryptology and information security, Hong Kong, China, December 3–7, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10625, 499-528 (2017).
The numerical solution of quantum walk with general coin operator and simulation Anderson localization. (Chinese. English summary) Zbl 1389.81009
CCS(25,12) is Turing-complete. (English) Zbl 1387.68171
MSC:
68Q85
68Q05
P systems simulating bacterial conjugation: universality and properties. (English) Zbl 1377.68086
MSC:
68Q05
92D10
A note on spiking neural P systems with homogenous neurons and synapses. (English) Zbl 1375.68052
MSC:
68Q05
68Q10
A group theoretic approach to quantum information. Translated from the Japanese. Originally published by Kyoritsu Shuppan, Tokyo, 2014. (English) Zbl 1362.81003
Cham: Springer (ISBN 978-3-319-45239-5/hbk; 978-3-319-45241-8/ebook). xiii, 228 p. (2017).
Reviewer: Eugene Kryachko (Liège)
Characterization of random fluctuation-based computation in cellular automata. (English) Zbl 1398.68354
Program equivalence is coinductive. (English) Zbl 1401.68084
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 337-346 (2016).
Small universal spiking neural P systems with homogenous neurons and synapses. (English) Zbl 1373.68224
MSC:
68Q05
68Q10
Turing machine universality of the game of life. (English) Zbl 1371.68002
Emergence, Complexity and Computation 18. Cham: Springer (ISBN 978-3-319-19841-5/hbk; 978-3-319-37044-6/pbk; 978-3-319-19842-2/ebook). xv, 177 p. (2016).
Zero-knowledge accumulators and set algebra. (English) Zbl 1407.94110
Cheon, Jung Hee (ed.) et al., Advances in cryptology – ASIACRYPT 2016. 22nd international conference on the theory and application of cryptology and information security, Hanoi, Vietnam, December 4-8, 2016. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10032, 67-100 (2016).
MSC:
94A60
Small universal deterministic Petri nets with inhibitors arcs. (English) Zbl 1359.68214
Reviewer: Jörg Desel (Hagen)
Division by zero. (English) Zbl 1362.03050
Reviewer: Roman Kossak (New York)
On reversible Turing machines and their function universality. (English) Zbl 1348.68051
Reviewer: Gregory Loren McColm (Tampa)
Category-theoretic models of algebraic computer systems. (English. Russian original) Zbl 1362.68075
Comput. Math. Math. Phys. 56, No. 1, 173-184 (2016); translation from Zh. Vychisl. Mat. Mat. Fiz. 56, No. 1, 167-179 (2016).
Algebraic simplification and cryptographic motives. (English. Russian original) Zbl 1343.16048
J. Math. Sci., New York 213, No. 2, 201-210 (2016); translation from Fundam. Prikl. Mat. 19, No. 2, 109-124 (2014).
On quasi-universal word functions. (English. Russian original) Zbl 1339.03032
Mosc. Univ. Comput. Math. Cybern. 40, No. 1, 28-34 (2016); translation from Vestn. Mosk. Univ., Ser. XV 2016, No. 1, 28-33 (2016).
Optimization of polynomials in non-commuting variables. (English) Zbl 1388.90001
SpringerBriefs in Mathematics. Cham: Springer (ISBN 978-3-319-33336-6/pbk; 978-3-319-33338-0/ebook). xv, 104 p. (2016).
Reviewer: Didier Henrion (Toulouse) (MR3496028)
Computational tractability – beyond Turing? (English) Zbl 1333.68149
Amoroso, Richard L. (ed.) et al., Unified field mechanics: natural science beyond the veil of spacetime. Proceedings of the IX symposium honoring noted French mathematical physicist Jean-Pierre Vigier, Morgan State University, Baltimore, MD, USA, November 16–19, 2014. Hackensack, NJ: World Scientific (ISBN 978-981-4719-05-6/hbk; 978-981-4719-07-0/ebook). 33-38 (2016).
Small (purely) catalytic P systems simulating register machines. (English) Zbl 1336.68075
MSC:
68Q05
68Q10
On the computability of Solomonoff induction and knowledge-seeking. (English) Zbl 1388.68252
Chaudhuri, Kamalika (ed.) et al., Algorithmic learning theory. 26th international conference, ALT 2015, Banff, AB, Canada, October 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24485-3/pbk; 978-3-319-24486-0/ebook). Lecture Notes in Computer Science 9355. Lecture Notes in Artificial Intelligence, 364-378 (2015).
Universality and almost decidability. (English) Zbl 1335.68086
MSC:
68Q05
03D10
Universal reversible Turing machines with a small number of tape symbols. (English) Zbl 1335.68091
MSC:
68Q05
68Q42
Filter Results by …
Document Type
- Journal Articles (347)
- Collection Articles (103)
- Books (32)
- arXiv Preprints (4)
all
top 5
Author
- Lee, Jia (6)
- Neary, Turlough (6)
- Verlan, Sergey (6)
- Margenstern, Maurice (5)
- Sosík, Petr (5)
- Woods, Damien (5)
- Alhazov, Artiom (4)
- Peper, Ferdinand (4)
- Rogozhin, Yurii (4)
- Bodirsky, Manuel (3)
- Bremner, Murray R. (3)
- Calude, Cristian S. (3)
- Chua, Leon Ong (3)
- Guo, Li (3)
- Heyworth, Anne (3)
- Li, Huishi (3)
- Li, Yongming (3)
- Mikhlin, Solomon Grigor’evich (3)
- Morita, Kenichi (3)
- Rendell, Paul (3)
- Sbitnev, Valery I. (3)
- Sit, William Yu (3)
- Weispfenning, Volker (3)
- Wells, Benjamin B. jun. (3)
- Yoon, Sook (3)
- Zaitsev, Dmitry A. (3)
- Zhou, Hong-Sheng (3)
- Zikas, Vassilis (3)
- Abłamowicz, Rafał (2)
- Abramov, Sergeĭ Aleksandrovich (2)
- Abramsky, Samson (2)
- Aceto, Luca (2)
- Adachi, Susumu (2)
- Arvind, Vikraman (2)
- Baeten, Jos C. M. (2)
- Bennett, Charles Henry (2)
- Beyn, Wolf-Jürgen (2)
- Carmody, S. (2)
- Chen, Goong (2)
- Chen, Hubie (2)
- Choi, Seung Geol (2)
- Cook, Matthew (2)
- Csuhaj-Varjú, Erzsébet (2)
- Cutland, Nigel J. (2)
- Döttling, Nico (2)
- Droste, Manfred (2)
- Elgendy, Hader A. (2)
- Fauser, Bertfried (2)
- Figueira, Santiago (2)
- Fokkink, Willem Jan (2)
- Frisco, Pierluigi (2)
- Gacs, Peter (2)
- Herken, Rolf (2)
- Idziak, Paweł M. (2)
- Ingólfsdóttir, Anna (2)
- Insua Hermo, Manuel Avelino (2)
- Isokawa, Teijiro (2)
- Jeřábek, Emil (2)
- Joglekar, Pushkar S. (2)
- Kaneko, Kunihiko (2)
- Kashefi, Elham (2)
- Katz, Jonathan N. (2)
- Kauffman, Louis Hirsch (2)
- Kawachi, Akinori (2)
- Kobayashi, Hirotada (2)
- Koshiba, Takeshi (2)
- Krzaczkowski, Jacek (2)
- Kumar, Preethika (2)
- La Scala, Roberto (2)
- Ladra González, Manuel (2)
- Latyshev, Viktor Nikolaevich (2)
- Li, Qiong (2)
- Lloyd, Seth (2)
- Mårtensson, Bengt (2)
- Meyer auf der Heide, Friedhelm (2)
- Mikhalëv, Aleksandr Aleksandrovich (2)
- Montanari, Ugo G. (2)
- Müller-Quade, Jörn (2)
- Nipkow, Tobias (2)
- Oi, Daniel Kuan Li (2)
- Pan, Linqiang (2)
- Păun, Andrei (2)
- Pérez-Jiménez, Mario J. (2)
- Pinsker, Michael (2)
- Priese, Lutz (2)
- Putra, Raymond H. (2)
- Rattan, Gaurav (2)
- Raynal, Michel (2)
- Reichardt, Ben W. (2)
- Rybalov, Aleksandr Nikolaevich (2)
- Saito, Asaki (2)
- Sawicki, Adam (2)
- Shtrakov, Slavcho (2)
- Shub, Michael (2)
- Slater, Paul B. (2)
- Soloveichik, David (2)
- Ufnarovski, Victor Anatol’evich (2)
- Vadhan, Salil P. (2)
- Walters, Robert F. C. (2)
- Wang, Yanfeng (2)
- and 765 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (40)
- J. Symb. Comput. (15)
- Quantum Inf. Process. (15)
- Fundam. Inform. (12)
- SIAM J. Comput. (9)
- Inf. Process. Lett. (8)
- Phys. Lett., A (7)
- Ann. Pure Appl. Logic (7)
- J. Cell. Autom. (6)
- Int. J. Quantum Inf. (5)
- Acta Inf. (4)
- IEEE Trans. Inf. Theory (4)
- Int. J. Theor. Phys. (4)
- Linear Multilinear Algebra (4)
- J. Comput. Syst. Sci. (4)
- J. Cryptology (4)
- Int. J. Algebra Comput. (4)
- Cybern. Syst. Anal. (4)
- J. Math. Sci., New York (4)
- Nat. Comput. (4)
- Quantum Inf. Comput. (4)
- J. Stat. Phys. (3)
- Inf. Sci. (3)
- J. Algebra (3)
- J. Symb. Log. (3)
- Algorithmica (3)
- Inf. Comput. (3)
- Complex Syst. (3)
- J. Log. Comput. (3)
- Int. J. Found. Comput. Sci. (3)
- Int. J. Comput. Math. (3)
- C. R. Acad. Sci., Paris, Sér. I (3)
- Int. J. Bifurcation Chaos Appl. Sci. Eng. (3)
- J. Mod. Opt. (3)
- J. Phys. A, Math. Theor. (3)
- Fortschr. Phys. (2)
- Acta Cybern. (2)
- Commentat. Math. Univ. Carol. (2)
- Fuzzy Sets Syst. (2)
- Proc. Am. Math. Soc. (2)
- Program. Comput. Softw. (2)
- Adv. Appl. Math. (2)
- Physica D (2)
- Parallel Comput. (2)
- J. Complexity (2)
- Math. Struct. Comput. Sci. (2)
- J. Phys. A, Math. Gen. (2)
- Arch. Math. Logic (2)
- Vychisl. Sist. (2)
- Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. (2)
- J. UCS (2)
- Lect. Notes Math. (2)
- Math. Comput. Sci. (2)
- J. Log. Algebr. Methods Program. (2)
- Acta Mech. (1)
- Am. Math. Mon. (1)
- Artif. Intell. (1)
- Commun. Algebra (1)
- Comput. Math. Appl. (1)
- J. Comput. Phys. (1)
- Bull. Math. Biol. (1)
- Math. Intell. (1)
- Adv. Math. (1)
- Can. J. Math. (1)
- Diss. Math. (1)
- Found. Control Eng. (1)
- Int. J. Math. Math. Sci. (1)
- Int. J. Circuit Theory Appl. (1)
- J. Assoc. Comput. Mach. (1)
- J. Multivariate Anal. (1)
- J. Sov. Math. (1)
- Kybernetika (1)
- Mat. Issled. (1)
- Math. Syst. Theory (1)
- Rep. Math. Logic (1)
- SIAM J. Numer. Anal. (1)
- Sov. Math., Dokl. (1)
- Theoria (1)
- Trans. Am. Math. Soc. (1)
- Sov. Math. (1)
- Mosc. Univ. Comput. Math. Cybern. (1)
- J. Oper. Theory (1)
- Cybernetics (1)
- Numer. Math., Nanjing (1)
- J. Algorithms (1)
- Bul. Univ. Brașov, Ser. C (1)
- Math. Numer. Sin. (1)
- Syst. Control Lett. (1)
- Combinatorica (1)
- Comput. Artif. Intell. (1)
- RAIRO, Modélisation Math. Anal. Numér. (1)
- Graphs Comb. (1)
- Vestn. Leningr. Univ., Ser. I (1)
- J. Inf. Process. Cybern. (1)
- Formal Asp. Comput. (1)
- AI Commun. (1)
- Future Gener. Comput. Syst. (1)
- Comput. Math. Math. Phys. (1)
- Dokl. Akad. Nauk Belarusi (1)
- Ann. Phys. (1)
- and 66 more Serials
all
top 5
Year of Publication
- 2025 (1)
- 2024 (2)
- 2023 (13)
- 2022 (8)
- 2021 (9)
- 2020 (9)
- 2019 (11)
- 2018 (14)
- 2017 (14)
- 2016 (16)
- 2015 (14)
- 2014 (16)
- 2013 (15)
- 2012 (12)
- 2011 (15)
- 2010 (22)
- 2009 (17)
- 2008 (22)
- 2007 (7)
- 2006 (18)
- 2005 (12)
- 2004 (11)
- 2003 (9)
- 2002 (14)
- 2001 (7)
- 2000 (17)
- 1999 (6)
- 1998 (11)
- 1997 (6)
- 1996 (8)
- 1995 (13)
- 1994 (13)
- 1993 (10)
- 1992 (13)
- 1991 (7)
- 1990 (7)
- 1989 (5)
- 1988 (10)
- 1987 (7)
- 1986 (8)
- 1985 (7)
- 1984 (5)
- 1983 (7)
- 1982 (5)
- 1981 (5)
- 1980 (3)
- 1979 (3)
- 1978 (1)
- 1977 (1)
all
top 3
Main Field
- 68-XX (375)
- 03-XX (118)
- 81-XX (89)
- 08-XX (67)
- 94-XX (54)
- 16-XX (40)
- 18-XX (30)
- 65-XX (26)
- 13-XX (24)
- 17-XX (16)
- 37-XX (14)
- 05-XX (13)
- 20-XX (12)
- 15-XX (11)
- 82-XX (9)
- 92-XX (9)
- 00-XX (8)
- 06-XX (8)
- 11-XX (6)
- 12-XX (6)
- 91-XX (6)
- 93-XX (6)
- 60-XX (5)
- 22-XX (4)
- 33-XX (4)
- 35-XX (4)
- 57-XX (4)
- 58-XX (4)
- 14-XX (3)
- 26-XX (3)
- 34-XX (3)
- 62-XX (3)
- 01-XX (2)
- 39-XX (2)
- 46-XX (2)
- 70-XX (2)
- 80-XX (2)
- 90-XX (2)
- 41-XX (1)
- 51-XX (1)
- 52-XX (1)
- 54-XX (1)
- 55-XX (1)
- 83-XX (1)
all
top 3
Software
- Maple (5)
- SINGULAR (5)
- BERGMAN (3)
- GAP (3)
- Mathematica (3)
- NCAlgebra (3)
- Plural (3)
- CLIFFORD (2)
- Coq (2)
- FairplayMP (2)
- GNUC (2)
- GitHub (2)
- IBM Quantum (2)
- LARCH (2)
- Letterplace (2)
- MRC (2)
- Maude (2)
- Miranda (2)
- REVE (2)
- RatDiff (2)
- SageMath (2)
- SymbolicData (2)
- TINA (2)
- ADOL-C (1)
- ALF (1)
- ALGOL 60 (1)
- AQCS (1)
- Ada95 (1)
- Adam (1)
- AlexNet (1)
- Algorithm 97 (1)
- ApCoCoA (1)
- ArcFace (1)
- Automath (1)
- BGG (1)
- BIGEBRA (1)
- CCSTM (1)
- CNN (1)
- CUDA (1)
- CafeOBJ (1)
- Coq/SSReflect (1)
- Cyclist (1)
- DDA (1)
- DiffTools (1)
- ELAN (1)
- FaceNet (1)
- Gfan (1)
- HOL (1)
- ImageNet (1)
- Isabelle (1)
- Isabelle/HOL (1)
- Kronecker (1)
- LEGO (1)
- MACSYMA (1)
- ML (1)
- MNIST (1)
- Macaulay2 (1)
- Magma (1)
- MathOverflow (1)
- Matita (1)
- Matlab (1)
- Mizar (1)
- NCSOStools (1)
- NL2SOL (1)
- Nuprl (1)
- POOL (1)
- PoplMark (1)
- QCADesigner (1)
- QEPCAD (1)
- QETLAB (1)
- QISKit (1)
- QuTiP (1)
- SIGMA (1)
- STOCKS (1)
- SphereFace (1)
- Tensor2Tensor (1)
- TensorFlow (1)
- TensorFlow Quantum (1)
- UACalc (1)
- UFO (1)
- VARNA (1)
- ViennaRNA (1)
- ZIDS (1)
- kan (1)
- numericaluniversality (1)
- operads (1)