EDI-graphic: a tool to study parameter discrimination and confirm identifiability in black-box models, and to select data-generating machines. (English) Zbl 07862311
MSC:
62-XX
Found 548 Documents (Results 1–100)
Line-cyclide intersection and colinear point quadruples in the double conformal model. (English) Zbl 1541.15035
Silva, David W. (ed.) et al., Advanced computational applications of geometric algebra. First international conference, ICACGA 2022, Denver, CO, USA, October 2–5, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13771, 3-14 (2024).
Solving the optimal control problem with terminal constraints in modeling chemical processes. (English) Zbl 1539.92199
Separable algorithmic representations of classical systems and their applications. (English. Russian original) Zbl 07803125
J. Math. Sci., New York 278, No. 3, 476-519 (2024); translation from Sovrem. Mat., Fundam. Napravl. 67, No. 4, 707-754 (2022).
Description Complexity of Unary Structures in First-Order Logic with Links to Entropy. arXiv:2406.02108
Preprint, arXiv:2406.02108 [math.LO] (2024).
Attack against layered defense. (English. Russian original) Zbl 1533.91010
Dokl. Math. 108, Suppl. 1, S128-S132 (2023); translation from Mat. Teor. Igr Prilozh. 14, No. 4, 69-88 (2022).
An envelope operator for full convexity to define polyhedral models in digital spaces. (English) Zbl 07753638
MSC:
68U05
Countering racial discrimination in algorithmic lending: a case for model-agnostic interpretation methods. (English) Zbl 1521.91286
MSC:
91D10
Subquadratic algorithms for some 3sum-hard geometric problems in the algebraic decision-tree model. (English) Zbl 1534.68236
Computability in infinite Galois theory and algorithmically random algebraic fields. arXiv:2312.04741
Preprint, arXiv:2312.04741 [math.LO] (2023).
A monotone connection between model class size and description length. arXiv:2301.13800
Preprint, arXiv:2301.13800 [math.LO] (2023).
Full convexity for polyhedral models in digital spaces. (English) Zbl 1522.68647
Baudrier, Étienne (ed.) et al., Discrete geometry and mathematical morphology. Second international joint conference, DGMM 2022, Strasbourg, France, October 24–27, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13493, 98-109 (2022).
MSC:
68U05
Attack against layered defense. (Russian. English summary) Zbl 1505.91021
Mat. Teor. Igr Prilozh. 14, No. 4, 69-80 (2022); translation in Dokl. Math. 108, Suppl. 1, S128-S132 (2023).
Model discovery and discrete inverse problems with cellular automata and Boolean networks. (English) Zbl 07607380
Adamatzky, Andrew (ed.), Automata and complexity. Essays presented to Eric Goles on the occasion of his 70th birthday. Cham: Springer. Emerg. Complex. Comput. 42, 433-453 (2022).
MSC:
68Qxx
Computable model discovery and high-level-programming approximations to algorithmic complexity. (English) Zbl 1537.68058
MSC:
68Q30
On approximation of transition densities in calibration of 1-dimensional stochastic models of asset prices. (English) Zbl 1491.91152
Positive algorithmic bias cannot stop fragmentation in homophilic networks. (English) Zbl 1484.91337
MSC:
91D30
Subquadratic algorithms for some 3Sum-hard geometric problems in the algebraic decision tree model. (English) Zbl 1535.68423
Ahn, Hee-Kap (ed.) et al., 32nd international symposium on algorithms and computation, ISAAC 2021, Fukuoka, Japan, December 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 212, Article 3, 15 p. (2021).
Self-replication via tile self-assembly (extended abstract). (English) Zbl 1533.68086
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 3, 22 p. (2021).
Robustness in power-law kinetic systems with reactant-determined interactions. (English) Zbl 07670962
Akiyama, Jin (ed.) et al., Discrete and computational geometry, graphs, and games. 21st Japanese conference, JCDCGGG 2018, Quezon City, Philippines, September 1–3, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 13034, 106-121 (2021).
Evacuating from \(\ell_p\) unit disks in the wireless model (extended abstract). (English) Zbl 1508.68377
Gąsieniec, Leszek (ed.) et al., Algorithms for sensor systems. 17th international symposium on algorithms and experiments for wireless sensor networks, ALGOSENSORS 2021, Lisbon, Portugal, September 9–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12961, 76-93 (2021).
Towards statistically provable geometric 3D human pose recovery. (English) Zbl 1492.68140
Reviewer: Liangzu Peng (Baltimore)
On the effects of hierarchical self-assembly for reducing program-size complexity. (English) Zbl 1514.68079
Optimal sampling algorithm for seed points in triangular mesh segmentation. (Chinese. English summary) Zbl 1488.68135
MSC:
68U05
Questions in algebra and mathematical logic. Scientific heritage of S. I. Adian. (English. Russian original) Zbl 1478.20029
Russ. Math. Surv. 76, No. 1, 1-27 (2021); translation from Usp. Mat. Nauk 76, No. 1, 3-30 (2021).
Reviewer: Christopher Hollings (Oxford)
Geometric modeling of a topographic surface based on a fractal coordinate system. (English) Zbl 1464.68419
Cheng, Liang-Yee (ed.), ICGG 2020 – Proceedings of the 19th international conference on geometry and graphics, São Paulo, Brazil, January 18–22, 2021. Cham: Springer. Adv. Intell. Syst. Comput. 1296, 297-307 (2021).
Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking. (English) Zbl 1497.68303
Comparison of algorithms for simple stochastic games. (English) Zbl 1539.68169
Raskin, Jean-Francois (ed.) et al., Proceedings of the 11th international symposium on games, automata, logics, and formal verification, GandALF 2020, Brussels, Belgium, September 21–22, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 326, 131-148 (2020).
Study on the splitting methods for separable convex optimization in a unified algorithmic framework. (English) Zbl 1474.90331
The optimal algorithm for dynamic support of the Voronoi diagram for a set of points. (Ukrainian. English summary) Zbl 1474.68067
Finite interval-time transition system for real-time actors. (English) Zbl 07316485
Barbosa, Luís Soares (ed.) et al., Topics in theoretical computer science. Third IFIP WG 1.8 international conference, TTCS 2020, Tehran, Iran, July 1–2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12281, 85-100 (2020).
Combining machine and automata learning for network traffic classification. (English) Zbl 07316480
Barbosa, Luís Soares (ed.) et al., Topics in theoretical computer science. Third IFIP WG 1.8 international conference, TTCS 2020, Tehran, Iran, July 1–2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12281, 17-31 (2020).
Dirac-based reduction techniques for quantitative analysis of discrete-time Markov models. (English) Zbl 07316479
Barbosa, Luís Soares (ed.) et al., Topics in theoretical computer science. Third IFIP WG 1.8 international conference, TTCS 2020, Tehran, Iran, July 1–2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12281, 1-16 (2020).
Image segmentation with partial convexity shape prior using discrete conformality structures. (English) Zbl 1497.68542
Output sensitive algorithms for approximate incidences and their applications. (English) Zbl 1474.68409
Variational models for color image correction inspired by visual perception and neuroscience. (English) Zbl 1496.68343
Modeling and verification methods for application design in heterogeneous architectures. (English. Russian original) Zbl 1496.68038
Cybern. Syst. Anal. 56, No. 4, 683-688 (2020); translation from Kibern. Sist. Anal. 2020, No. 4, 196-202 (2020).
Optimal market making under partial information with general intensities. (English) Zbl 1452.91295
Reviewer: Weiping Li (Stillwater)
The Tarski-Lindenbaum algebra of the class of all prime strongly constructivizable models of algorithmic dimension one. (English) Zbl 1437.03128
A space-time trade-off for computing the visibility polygon in the multi-pass model. (English) Zbl 1436.68378
MSC:
68U05
Capturing the order imbalance with hidden Markov model: a case of SET50 and KOSPI50. (English) Zbl 1437.91422
A connection between image processing and artificial neural networks layers through a geometric model of visual perception. (English) Zbl 1537.68202
Lellmann, Jan (ed.) et al., Scale space and variational methods in computer vision. 7th international conference, SSVM 2019, Hofgeismar, Germany, June 30 – July 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11603, 459-471 (2019).
Trustworthy graph algorithms (invited talk). (English) Zbl 1541.68266
Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 1, 22 p. (2019).
An efficient algorithm for generalized polynomial partitioning and its applications. (English) Zbl 1542.14071
Barequet, Gill (ed.) et al., 35th international symposium on computational geometry, SoCG 2019, Portland, Oregon, USA, June 18–21, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 129, Article 5, 14 p. (2019).
Reviewer: Aris Daniilidis (Wien)
High frequency trading strategies, market fragility and price spikes: an agent based model perspective. (English) Zbl 1434.62224
Microscopic reversibility and macroscopic irreversibility: from the viewpoint of algorithmic randomness. (English) Zbl 1439.60092
Quantitative and flexible 3D shape dataset augmentation via latent space embedding and deformation learning. (English) Zbl 1462.68207
On the quantum and classical complexity of solving subtraction games. (English) Zbl 1534.68071
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, 228-236 (2019).
A time-space trade-off for computing the \(k\)-visibility region of a point in a polygon. (English) Zbl 1430.68356
Sensitivity in DEA: an algorithmic approach. (English) Zbl 07100454
MSC:
90Bxx
Few paths, fewer words: model selection with automatic structure functions. (English) Zbl 1419.68057
Reviewer: Anatoliy Swishchuk (Calgary)
Understanding flash crash contagion and systemic risk: a micro-macro agent-based approach. (English) Zbl 1411.91525
Geometrically constrained surface (re)construction. (English) Zbl 1400.68242
Cocchiarella, Luigi (ed.), ICGG 2018 – Proceedings of the 18th international conference on geometry and graphics. 40th anniversary – Milan, Italy, August 3–7, 2018. In 2 volumes. Cham: Springer; Milan: Politecnico de Milano (ISBN 978-3-319-95587-2/pbk; 978-3-319-95588-9/ebook). Advances in Intelligent Systems and Computing 809, 1205-1217 (2019).
Graphical model of the biquadratic transformation. (English) Zbl 1400.68243
Cocchiarella, Luigi (ed.), ICGG 2018 – Proceedings of the 18th international conference on geometry and graphics. 40th anniversary – Milan, Italy, August 3–7, 2018. In 2 volumes. Cham: Springer; Milan: Politecnico de Milano (ISBN 978-3-319-95587-2/pbk; 978-3-319-95588-9/ebook). Advances in Intelligent Systems and Computing 809, 147-160 (2019).
MSC:
68U05
Verifying properties of differentiable programs. (English) Zbl 1511.68078
Podelski, Andreas (ed.), Static analysis. 25th international symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11002, 205-222 (2018).
Attracting tangles to solve parity games. (English) Zbl 1511.68169
Chockler, Hana (ed.) et al., Computer aided verification. 30th international conference, CAV 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 14–17, 2018. Proceedings. Part II. Cham: Springer Open. Lect. Notes Comput. Sci. 10982, 198-215 (2018).
Uniformly automatic classes of finite structures. (English) Zbl 1528.68146
Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 10, 21 p. (2018).
Orthogonal point location and rectangle stabbing queries in 3-d. (English) Zbl 1502.68091
Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 31, 14 p. (2018).
Time-space trade-offs for computing Euclidean minimum spanning trees. (English) Zbl 1485.68258
Bender, Michael A. (ed.) et al., Latin 2018: theoretical informatics. 13th Latin American symposium, Buenos Aires, Argentina, April 16–19, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10807, 108-119 (2018).
On an algorithmic algebra over simple-named complex-valued nominative data. (English) Zbl 1422.68034
Min-/max-volume roofs induced by bisector graphs of polygonal footprints of buildings. (English) Zbl 1422.68244
MSC:
68U05
Random tilings with the GPU. (English) Zbl 1400.82043
Source-to-source adjoint algorithmic differentiation of an ice sheet model written in C. (English) Zbl 1453.86048
Filter Results by …
Document Type
- Journal Articles (377)
- Collection Articles (143)
- Books (25)
- arXiv Preprints (3)
all
top 5
Author
- Goncharov, Sergeĭ Savost’yanovich (7)
- Mirkowska, Grazyna (7)
- Tsejtlin, G. E. (7)
- Aronov, Boris (6)
- Kreutzer, Stephan (6)
- Patitz, Matthew J. (6)
- Bagnara, Roberto (4)
- Banyassady, Bahareh (4)
- Chen, Danny Ziyi (4)
- Danko, Wiktor (4)
- de Berg, Mark Theodoor (4)
- Golunkov, Yu. V. (4)
- Khoussainov, Bakhadyr M. (4)
- Mulzer, Wolfgang Johann Heinrich (4)
- Remeslennikov, Vladimir Nikanorovich (4)
- Roman’kov, Vitaliĭ Anatol’evich (4)
- Schweller, Robert T. (4)
- Siebertz, Sebastian (4)
- Summers, Scott M. (4)
- Tiuryn, Jerzy (4)
- Zaffanella, Enea (4)
- Abu Zaid, Faried (4)
- Bloch, Isabelle (3)
- Bose, Prosenjit K. (3)
- Brönnimann, Hervé (3)
- Cartea, Álvaro (3)
- Dumitrescu, Adrian (3)
- Ezra, Esther E. (3)
- Fouché, Willem Louw (3)
- Grädel, Erich (3)
- Hill, Patricia M. (3)
- Hliněný, Petr (3)
- Iacono, John (3)
- Jaimungal, Sebastian (3)
- Kedem, Klara (3)
- Kuusisto, Antti (3)
- Lachaud, Jacques-Olivier (3)
- Roeloffzen, Marcel (3)
- Semënov, Alekseĭ L’vovich (3)
- Sharir, Micha (3)
- Walukiewicz, Igor (3)
- Ye, Xiuzi (3)
- Yushchenko, E. L. (3)
- Afshani, Peyman (2)
- Alseth, Andrew (2)
- Andres, Eric (2)
- Arkin, Esther M. (2)
- Bahoo, Yeganeh (2)
- Barmpalias, George (2)
- Batard, Thomas (2)
- Bazhenov, Nikolaĭ Alekseevich (2)
- Bereg, Sergey N. (2)
- Biela, Andrzej (2)
- Calvert, Wesley (2)
- Cannon, Sarah M. (2)
- Cardinal, Jean (2)
- Chang, Allen Y. (2)
- Chen, Wei (2)
- Chen, Zhiyang (2)
- Chew, L. Paul (2)
- Chiang, Yi-Jen (2)
- Chisholm, John Stephen Roy (2)
- Damon, James Norman (2)
- DeFloriani, Leila (2)
- Demaine, Erik D. (2)
- Demaine, Martin L. (2)
- Dimovski, Aleksandar S. (2)
- Donnelly, Ryan (2)
- Dufourd, Jean-François (2)
- Durocher, Stephane (2)
- Dyshkant, Natalia (2)
- Dzgoev, V. D. (2)
- Eickmeyer, Kord (2)
- Eisenstat, Sarah (2)
- Elwes, Richard H. (2)
- Engeler, Erwin (2)
- Enjalbert, Patrice (2)
- Fedoryaev, S. T. (2)
- Feschet, Fabien (2)
- Fuchs, Laurent (2)
- Furcy, David (2)
- Gajarský, Jakub (2)
- Gasparovic, Ellen (2)
- Gemsa, Andreas (2)
- Georgiou, Konstantinos (2)
- Glushkov, Viktor Mikhaĭlovich (2)
- Grohe, Martin (2)
- Gupta, Prosenjit (2)
- Harizanov, Valentina S. (2)
- Huttenlocher, Daniel P. (2)
- Il’man, V. M. (2)
- Ivanov, Ievgen (2)
- Jaakkola, Reijo (2)
- Janardan, Ravi (2)
- Kaiser, Lukasz (2)
- Kapur, Deepak (2)
- Kawaguchi, Kimio (2)
- Kawarabayashi, Ken-ichi (2)
- Khusainov, B. M. (2)
- Koivusalo, Henna (2)
- and 930 more Authors
all
top 5
Serial
- Theor. Comput. Sci. (21)
- Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. (13)
- Comput. Geom. (10)
- Cybern. Syst. Anal. (9)
- Int. J. Comput. Geom. Appl. (8)
- Pattern Recognition (8)
- Int. J. Comput. Vis. (8)
- J. Comput. Syst. Sci. (6)
- J. Symb. Log. (6)
- Program. Comput. Softw. (6)
- J. Math. Imaging Vis. (6)
- Dokl. Math. (6)
- Nat. Comput. (6)
- ACM Trans. Graph. (5)
- Algorithmica (5)
- Graph. Models (5)
- Log. Methods Comput. Sci. (5)
- Algebra Logic (4)
- SIAM J. Comput. (4)
- Cybernetics (4)
- Inf. Comput. (4)
- Comput.-Aided Des. (4)
- Theory Comput. Syst. (4)
- J. Zhejiang Univ., Sci. A (4)
- SIAM J. Imaging Sci. (4)
- Artif. Intell. (3)
- J. Stat. Phys. (3)
- Automatica (3)
- Sib. Math. J. (3)
- Ann. Pure Appl. Logic (3)
- Adv. Appl. Clifford Algebr. (3)
- Appl. Math. Finance (3)
- ACM Trans. Comput. Log. (3)
- Inf. Process. Lett. (2)
- Algebra Logika (2)
- Computing (2)
- J. Oper. Res. Soc. (2)
- J. Sov. Math. (2)
- J. Algorithms (2)
- Comput. Aided Geom. Des. (2)
- J. Symb. Comput. (2)
- J. Comput. Sci. Technol. (2)
- Discrete Comput. Geom. (2)
- Eng. Comput. (Lond.) (2)
- Diskretn. Mat. (2)
- J. Visualization Comput. Anim. (2)
- Econ. Lett. (2)
- Sib. Adv. Math. (2)
- Eur. J. Oper. Res. (2)
- Int. J. Comput. Math. (2)
- SIAM J. Sci. Comput. (2)
- Vopr. Kibern., Mosk. (2)
- Complexity (2)
- Int. J. Shape Model. (2)
- J. Geom. Graph. (2)
- J. Zhejiang Univ., Eng. Sci. (2)
- ACM J. Exp. Algorithm. (2)
- Sci. China, Ser. F (2)
- Lect. Notes Comput. Sci. (2)
- J. Math. Music (2)
- J. Comput. Appl. (2)
- Formaliz. Math. (2)
- Computability (2)
- Autom. Control Comput. Sci. (1)
- Autom. Doc. Math. Linguist. (1)
- Bull. Aust. Math. Soc. (1)
- Comput. Methods Appl. Mech. Eng. (1)
- Discrete Appl. Math. (1)
- Int. J. Control (1)
- Int. J. Syst. Sci. (1)
- Izv. Vyssh. Uchebn. Zaved., Mat. (1)
- J. Franklin Inst. (1)
- J. Math. Phys. (1)
- J. Res. Natl. Bur. Stand. (1)
- Russ. Math. Surv. (1)
- Ukr. Mat. Zh. (1)
- Bull. Math. Biol. (1)
- Acta Cybern. (1)
- Algebra Univers. (1)
- Apl. Mat. (1)
- Biometrika (1)
- Calcolo (1)
- IEEE Trans. Comput. (1)
- J. Assoc. Comput. Mach. (1)
- J. Comput. Appl. Math. (1)
- J. Math. Sociol. (1)
- Kibernetika (1)
- Manage. Sci. (1)
- Math. Program. Study (1)
- Math. Program. (1)
- Mem. Am. Math. Soc. (1)
- Oper. Res. (1)
- Proc. Japan Acad., Ser. A (1)
- RAIRO, Rech. Opér. (1)
- Result. Math. (1)
- Rev. Belg. Stat. Inf. Rech. Opér. (1)
- SIAM J. Control Optim. (1)
- Sib. Mat. Zh. (1)
- Sov. Math., Dokl. (1)
- Stud. Log. (1)
- and 99 more Serials
all
top 5
Year of Publication
- 2024 (7)
- 2023 (13)
- 2022 (8)
- 2021 (16)
- 2020 (22)
- 2019 (18)
- 2018 (19)
- 2017 (23)
- 2016 (14)
- 2015 (11)
- 2014 (14)
- 2013 (25)
- 2012 (16)
- 2011 (8)
- 2010 (11)
- 2009 (14)
- 2008 (16)
- 2007 (15)
- 2006 (8)
- 2005 (14)
- 2004 (9)
- 2003 (11)
- 2002 (13)
- 2001 (20)
- 2000 (3)
- 1999 (14)
- 1998 (9)
- 1997 (8)
- 1996 (5)
- 1995 (8)
- 1994 (8)
- 1993 (7)
- 1992 (7)
- 1991 (13)
- 1990 (14)
- 1989 (5)
- 1988 (6)
- 1987 (6)
- 1986 (4)
- 1985 (3)
- 1984 (11)
- 1983 (12)
- 1982 (9)
- 1981 (11)
- 1980 (11)
- 1979 (18)
- 1978 (10)
- 1977 (1)
all
top 3
Main Field
- 68-XX (442)
- 03-XX (123)
- 65-XX (47)
- 90-XX (39)
- 91-XX (36)
- 05-XX (26)
- 94-XX (23)
- 52-XX (20)
- 62-XX (20)
- 92-XX (19)
- 93-XX (17)
- 49-XX (10)
- 20-XX (9)
- 51-XX (9)
- 60-XX (8)
- 53-XX (7)
- 11-XX (6)
- 86-XX (6)
- 00-XX (5)
- 08-XX (5)
- 82-XX (5)
- 35-XX (4)
- 57-XX (4)
- 12-XX (3)
- 15-XX (3)
- 28-XX (3)
- 37-XX (3)
- 74-XX (3)
- 81-XX (3)
- 47-XX (2)
- 76-XX (2)
- 01-XX (1)
- 06-XX (1)
- 13-XX (1)
- 14-XX (1)
- 22-XX (1)
- 34-XX (1)
- 41-XX (1)
- 46-XX (1)
- 55-XX (1)
- 58-XX (1)
- 70-XX (1)
- 78-XX (1)
Biographic Reference
all
top 3
Software
- CGAL (3)
- Coq (3)
- HyTech (3)
- Mathematica (3)
- Matlab (3)
- ADOL-C (2)
- Cinderella (2)
- GAVS (2)
- GIST (2)
- Gaigen (2)
- GitHub (2)
- Mizar (2)
- NETGEN (2)
- OACC (2)
- PPL (2)
- PRISM-games (2)
- PRMLT (2)
- Qhull (2)
- Qsplat (2)
- SIFT (2)
- acss (2)
- 3DGIS (1)
- ABAQUS (1)
- ALGOL 68 (1)
- ALIF (1)
- Agda (1)
- Amos (1)
- Apollo (1)
- BILOG (1)
- BL2D-V2 (1)
- BSDS (1)
- BSPedupack (1)
- BSPlib (1)
- CATIA V5 (1)
- CESAR (1)
- CGoGN (1)
- CMU Motion Capture (1)
- CPLEX (1)
- CUDA (1)
- CVX (1)
- CakeML (1)
- CasparCG (1)
- Casper (1)
- Cg (1)
- Cliffosor (1)
- CoDiPack (1)
- DEA (1)
- DT-CWT (1)
- DistMesh (1)
- EMD (1)
- ElemStatLearn (1)
- FEniCS (1)
- Flow* (1)
- GA-Coupling Analyzer (1)
- GCLC (1)
- GLLAMM (1)
- GPCR-CA (1)
- GSPeeDI (1)
- Gaalop (1)
- GenStat (1)
- Genocop (1)
- Gurobi (1)
- HOARD ATINF (1)
- HOL Light (1)
- Haskell (1)
- Human3.6M (1)
- IPOL (1)
- ISSM (1)
- Isabelle/HOL (1)
- JuMP (1)
- KETpic (1)
- KIMA (1)
- KamiWaAi (1)
- KeTCindy (1)
- KeYmaera (1)
- L-BFGS (1)
- LCF (1)
- LEDA (1)
- LGO (1)
- LIMDEP (1)
- LLTM (1)
- LaTeX (1)
- LinearWang (1)
- MINION (1)
- MITgcm (1)
- MIXNO (1)
- MIXOR (1)
- MOCAP (1)
- MS-COCO (1)
- MathOptimizer (1)
- Maude (1)
- Memtype-2L (1)
- MeshLab (1)
- Metro (1)
- Mitsuba (1)
- MonoCap (1)
- Movebank (1)
- Mplus (1)
- Multi-PIE (1)
- Music21 (1)
- and 56 more Software Packages
