Found 230 Documents (Results 1–100)
Tool path planning with confined scallop height error using optimal connected Fermat spirals. (English) Zbl 1533.65033
SDF-based ILW: inverse Lax-Wendroff method with the signed distance function representation of the geometric boundary. (English) Zbl 1509.65086
MCSA: multi-strategy boosted chameleon-inspired optimization algorithm for engineering applications. (English) Zbl 1536.90249
Control reconfiguration of dynamical systems for improved performance via reverse- and forward-engineering. (English) Zbl 1537.93234
Geometric modeling of some engineering GBT-Bézier surfaces with shape parameters and their applications. (English) Zbl 1494.65009
Curve reconstruction from a set of measured points. (English) Zbl 1488.65035
Chleboun, J. (ed.) et al., Programs and algorithms of numerical mathematics 20. Proceedings of the 20th seminar (PANM), Hejnice, Czech Republic, June 21–26, 2020. Prague: Czech Academy of Sciences, Institute of Mathematics. 50-58 (2021).
Reviewer: Karel Segeth (Praha)
Research on reverse engineering for free-form surfaces. (English) Zbl 1464.68423
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, 199-210 (2021).
MetaVal: witness validation via verification. (English) Zbl 1478.68145
Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 165-177 (2020).
Computer-aided phase identification and frame-to-frame analysis of endodontic asymmetric reciprocation rotation: a preliminary study. (English) Zbl 1445.62318
Reverse engineering of CAD models via clustering and approximate implicitization. (English) Zbl 1505.65088
MSC:
65D17
Numerical modeling of inextensible elastic ribbons with curvature-based elements. (English) Zbl 1442.74098
The isogeometric boundary element method. (English) Zbl 1422.65001
Lecture Notes in Applied and Computational Mechanics 90. Cham: Springer (ISBN 978-3-030-23338-9/hbk; 978-3-030-23339-6/ebook). xiv, 335 p. (2020).
A user-centered side silhouette generation system for sedan cars based on shape templates. (English) Zbl 1431.62684
Data-driven sparse sensor placement for reconstruction: demonstrating the benefits of exploiting known patterns. (English) Zbl 1477.93128
An evaluation of point-insertion sequences for incremental Delaunay tessellations. (English) Zbl 1415.65047
Robust generation of constrained B-spline curves based on automatic differentiation and fairness optimization. (English) Zbl 1381.65011
Theory of repeated superposition of large strains. Development of this theory for solution of multidisciplinary problems. Methods of implementation of this theory for strength analysis in new branches of industry. (Russian. English summary) Zbl 1434.74035
Simulation and visualization of power plant with complicated shape. (Russian. English summary) Zbl 1363.68207
Reviewer: Sergei Georgievich Zhuravlev (Moskva)
Functional and shape data analysis. (English) Zbl 1376.62003
Springer Series in Statistics. New York, NY: Springer (ISBN 978-1-4939-4018-9/hbk; 978-1-4939-4020-2/ebook). xviii, 447 p. (2016).
Reviewer: Hans-Jürgen Schmidt (Potsdam)
An open logical framework. (English) Zbl 1352.68061
Identification and “reverse engineering” of Pythagorean-hodograph curves. (English) Zbl 1375.65022
MSC:
65D17
A systematic review of algorithms with linear-time behaviour to generate Delaunay and Voronoi tessellations. (English) Zbl 1356.65046
Second-order defeaturing error estimation for multiple boundary features. (English) Zbl 1352.65060
MSC:
65D17
A novel parametric model order reduction approach with applications to geometrically parameterized microwave devices. (English) Zbl 1358.78051
IGA-based point cloud fitting using B-spline surfaces for reverse engineering. (English) Zbl 1320.68214
Living on the moon: topological optimization of a 3D-printed lunar shelter. (English) Zbl 1298.00047
Evaluating orthodontic force system in clinical condition with a numerical method. (English) Zbl 1293.74312
Applied control systems design. (English) Zbl 1302.93002
London: Springer (ISBN 978-1-4471-2878-6/hbk; 978-1-4471-2879-3/ebook). xxi, 560 p. (2012).
Reviewer: Vjatscheslav Vasiliev (Tomsk)
The reconstruction problem: integrating different approaches into a systematic procedure for pseudo wireframe retrieval. (English) Zbl 1261.68143
MSC:
68U07
Design of damper viscous properties for semi-active control of asymmetric structures. (English) Zbl 1220.93035
Zhu, W. Q. (ed.) et al., IUTAM symposium on nonlinear stochastic dynamics and control. Proceedings of the IUTAM symposium held in Hangzhou, China, May 10–14, 2010. Dordrecht: Springer (ISBN 978-94-007-0731-3/hbk; 978-94-007-0732-0/ebook). IUTAM Bookseries 29, 241-250 (2011).
Combining temporal partitioning and temporal placement techniques for communication cost improvement. (English) Zbl 1220.68027
MSC:
68M07
Variational surface reconstruction based on Delaunay triangulation and graph cut. (English) Zbl 1217.65043
Numerical analysis of geometrical characteristics of machine elements obtained with CMM scanning. (English) Zbl 1220.65022
Fitt, Alistair D. (ed.) et al., Progress in industrial mathematics at ECMI 2008. Proceedings of the 15th European conference on mathematics for industry, London, UK, June 30 - July 4, 2008. Berlin: Springer (ISBN 978-3-642-12109-8/hbk; 978-3-642-12110-4/ebook). Mathematics in Industry 15, 933-938 (2010).
MSC:
65D17
Knowledge-based simulation model generation for control law design applied to a quadrotor UAV. (English) Zbl 1206.93008
Fixed order controller design subject to engineering specifications. (English. Russian original) Zbl 1203.93082
Autom. Remote Control 71, No. 6, 1217-1229 (2010); translation from Probl. Uprav. 2009, No. 5, 9-17 (2009).
Smooth minimum arc paths. Contour approximation with smooth arc splines. (English) Zbl 1216.65015
Industriemathematik und Angewandte Mathematik. Aachen: Shaker Verlag; Passau: Univ. Passau, Fakultät für Informatik und Mathematik (Diss.) (ISBN 978-3-8322-9554-7/pbk). x, 227 p. (2010).
Reviewer: Nicoleta Breaz (Alba Iulia)
Statistical tolerance analysis using the unified Jacobian-torsor model. (English) Zbl 1197.65023
MSC:
65D17
A SQL-database based meta-CASE system and its query subsystem. (English) Zbl 1211.68154
Sobh, Tarek (ed.) et al., Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4–12, 2009. Dordrecht: Springer (ISBN 978-90-481-9111-6/hbk; 978-90-481-9112-3/ebook). 57-62 (2010).
MSC:
68P15
Deferring dag construction by storing sums of floats speeds-up exact decision computations based on expression dags. (English) Zbl 1295.65020
Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 109-120 (2010).
Quadrangular parameterization for reverse engineering. (English) Zbl 1274.65030
Dæhlen, Morten (ed.) et al., Mathematical methods for curves and surfaces. 7th international conference, MMCS 2008, Tønsberg, Norway, June 26–July 1, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11619-3/pbk). Lecture Notes in Computer Science 5862, 55-69 (2010).
MSC:
65D17
Filling \(N\)-sided regions with multi-surfaces subject to point cloud constraints. (Chinese. English summary) Zbl 1224.65046
Automating information and technology services. (English) Zbl 1208.93055
Nof, Shimon Y. (ed.), Springer handbook of automation. With DVD. Berlin: Springer (ISBN 978-3-540-78830-0/hbk; 978-3-540-78831-7/ebook). 1265-1284 (2009).
Computer-aided design, computer-aided engineering, and visualization. (English) Zbl 1208.93040
Nof, Shimon Y. (ed.), Springer handbook of automation. With DVD. Berlin: Springer (ISBN 978-3-540-78830-0/hbk; 978-3-540-78831-7/ebook). 639-652 (2009).
Computer-aided design and finite-element modelling of biomaterial scaffolds for bone tissue engineering. (English) Zbl 1185.65030
Reverse engineering applications for recovery of broken or worn parts and re-manufacturing: three case studies. (English) Zbl 1280.68284
MSC:
68U07
Construction of \(\text{G}^1/\text{C}^2\) continuous \(B\)-spline surfaces over arbitrary quadrilateral network. (Chinese. English summary) Zbl 1199.68465
C-C subdivision surfaces reconstruction from triangle mesh using squared distance minimization. (Chinese. English summary) Zbl 1199.65050
MSC:
65D17
A framework and tool-support for reengineering software development methods. (English) Zbl 1159.68391
MSC:
68N99
Modeling of microwave devices with space mapping and radial basis functions. (English) Zbl 1143.65014
MSC:
65D17
MPC for stochastic systems. (English) Zbl 1223.93119
Findeisen, Rolf (ed.) et al., Assessment and future directions of nonlinear model predictive control. Selected papers based on the presentations at the workshop (NMPC05), Freudenstadt-Lauterbad, Germany, August 26–30, 2005. Berlin: Springer (ISBN 978-3-540-72698-2/pbk). Lecture Notes in Control and Information Sciences 358, 255-268 (2007).
Support vector machine solving freeform curve and surface reconstruction problem. (English) Zbl 1162.65313
Simulation and the design building block approach in the design of ships and other complex systems. (English) Zbl 1149.74363
Monitoring of control loop performance by CUSUM algorithms for local linear hypotheses. (English) Zbl 1122.93304
Study on feature compatibility in surface reconstruction. (Chinese. English summary) Zbl 1115.65311
MSC:
65D17
Automatic generation of structure-preserving models for computer-aided geometric design. (English) Zbl 1129.68091
Selected Topics in Computer Graphics 3. Aachen: Shaker Verlag; Aachen: Univ. Aachen (ISBN 3-8322-5661-X/pbk). viii, 154 p. (2006).
Interpolation curve of quadric nonuniform \(B\)-spline. (Chinese. English summary) Zbl 1096.65008
Mathematical handbook for electrical engineers. (English) Zbl 1153.00002
Artech House Technology Management and Professional Development Library. London: Artech House (ISBN 978-1-58053-779-7/hbk). xviii, 495 p. (2005).
Reviewer: Georg Hebermehl (Berlin)
Computer aided optimum design in engineering IX (OPTI IX). Ninth international conference on computer aided optimum design in engineering, Skiathos, Greece, May 23–25, 2005. (English) Zbl 1088.74004
High Performance Structures and Materials; WIT Transactions on the Built Environment 80. Southampton: WIT Press (ISBN 1-84564-016-0/hbk). viii, 462 p. (2005).
Reviewer: Stefan Jendo (Warszawa)
Quadric surface reconstruction based on segmentation and constrained optimization. (Chinese. English summary) Zbl 1087.65507
MSC:
65D17
A comparative study of Taguchi and robust regression methods in design optimization of current transformers. (English) Zbl 1095.62516
Rational recurrence curves and recurrence surfaces in multivariate B-form on some regions. (English) Zbl 1042.65019
Reviewer: Dana Petcu (Timişoara)
MSC:
65D17
The information and logistic aspects of integrated operations management. (English) Zbl 1063.90532
Zadnick Stirn, L. (ed.) et al., SOR ’03 Proceedings. The 7th international symposium on operational research in Slovenia, Podčetrtek, Slovenia, September 24–26, 2003. Ljubljana: Slovenian Society Informatika, Section for Operational Research (ISBN 961-6165-15-1/pbk). 253-259 (2003).
Simulation technology – the role of concepts and algorithms. (English) Zbl 1049.68150
Reviewer: V. Grebenev (Novosibirsk)
Representing requirements in natural language as concept lattices. (English) Zbl 1089.68651
Bramer, Max (ed.) et al., Research and development in intelligent systems XIX. Proceedings of ES 2002, the twenty-second SGAI international conference on knowledge based systems and applied artificial intelligence, Cambridge, UK, December 10–12, 2002. London: Springer (ISBN 1-85233-674-9/pbk). BCS Conference Series, 425-438 (2003).
Broadband model order reduction of polynomial matrix equations using single-point well-conditioned asymptotic waveform evaluation: derivations and theory. (English) Zbl 1036.78019
Optimization in the automotive industry. (English) Zbl 1051.90534
Pardalos, Panos M. (ed.) et al., Optimization and industry: New frontiers. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1187-3/hbk). Appl. Optim. 78, 39-58 (2003).
Object-oriented reengineering patterns. (English) Zbl 1034.68107
Heidelberg: dpunkt.verlag; San Francisco, CA: Morgan Kaufmann Publishers/ Elsevier Science (ISBN 3-89864-197-X; 1-55860-639-4). xxi, 282 p. (2003).
Reviewer: Hans-Jürgen Hoffmann (Darmstadt)
A software strategy towards putting domain decomposition at the centre of a mesh-based simulation process. (English) Zbl 1056.65126
Sloot, Peter M. A. (ed.) et al., Computational science - ICCS 2002. 2nd international conference, Amsterdam, the Netherlands, April. 21–24, 2002. Proceedings. Part 3. Berlin: Springer (ISBN 3-540-43594-8). Lect. Notes Comput. Sci. 2331, 755-763 (2002).
Specification-based test generation for security-critical systems using mutations. (English) Zbl 1015.68900
George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 471-482 (2002).
Multi-Level of Detail Models for Reverse Engineering in Remote CAD Systems. (English) Zbl 1021.68630
Software architectures and tools for computer aided process engineering. (English) Zbl 1011.68562
Computer-aided Chemical Engineering. 11. Amsterdam: Elsevier. xii, 700 p. (2002).
Supporting iterations in exploratory database reengineering processes. (English) Zbl 1010.68053
MSC:
68P15
Segmentation and approximation of great. (Segmentierung und Approximation großer Punktwolken.) (German) Zbl 1004.65022
Darmstadt: Technische Univ. Darmstadt, Fachbereich Mathematik, vii, 191 S. (2002).
System development in the computer science of economics. 5., vollst. überarb. Aufl. (System-Entwicklung in der Wirtschaftsinformatik.) (German) Zbl 0999.68548
Zürich: vdf Hochschulverlag an der ETH. xxviii, 673 p. (2002).
Towards combinatorial analysis, adaptation, and planning of human-computer systems. (English) Zbl 1003.68186
Graph algorithms and applications I. Repr. from Journal of Graph Algorithms and Applications 1-3 (1997-1999). Repr. from Journal of Graph Algorithms and Applications 1-3 (1997-1999). (English) Zbl 1004.68120
Singapore: World Scientific. x, 427 p. £58.00 (2002).
Least-squares fitting of algebraic spline surfaces. (English) Zbl 0997.65028
Reviewer: Dana Petcu (Timişoara)
MSC:
65D17
Filter Results by …
Document Type
- Journal Articles (130)
- Collection Articles (36)
- Books (64)
all
top 5
Author
- Ke, Yinglin (3)
- Martin, Ralph R. (3)
- Sriram, Duvvuru (3)
- ten Hagen, Paul J. W. (3)
- Tong, Christopher H. (3)
- Andor, László (2)
- Balzert, Helmut (2)
- Benkő, Pál (2)
- Brebbia, Carlos Alberto (2)
- Chen, Horng-Yang (2)
- Gonzaga de Oliveira, Sanderson L. (2)
- Hamann, Bernd (2)
- Herget, Charles J. (2)
- Hoschek, Josef (2)
- Kobbelt, Leif (2)
- Kós, Géza (2)
- Leyton, Michael (2)
- Niku-Lari, A. (2)
- Nogueira, Jessica Renata (2)
- Pottmann, Helmut (2)
- Shunmugam, M. S. (2)
- Tits, André Leon (2)
- Várady, Tamás (2)
- Veerkamp, Paul J. (2)
- Wilke, Wilhelm (2)
- Abbas, Muhammad Mohsin (1)
- Abbott, Russell J. (1)
- Abe, Kenichi (1)
- Abel, John F. (1)
- Adamo-Villani, Nicoletta (1)
- Addison, Clifford A. (1)
- Albrecht, Gudrun (1)
- Allen, Janet K. (1)
- Andreev, S. V. (1)
- Andrews, Derek J. (1)
- Andrié, Manfred (1)
- Ansari, Rashid M. (1)
- Arora, Jasbir S. (1)
- Ashen, R. A. (1)
- Åström, Karl Johan (1)
- Au, C. K. (1)
- Ayadi, Ramzi (1)
- Bagci, Eyup (1)
- Bagnara, Roberto (1)
- Bajec, Marko (1)
- Balasubramanian, Parasuram (1)
- Bandler, John W. (1)
- Bär, Gert F. (1)
- Barhak, Jacob (1)
- Barrowclough, Oliver J. D. (1)
- Baur, Erwin (1)
- Beccari, Carolina Vittoria (1)
- Beer, Gernot (1)
- Benvenuti, Silvia (1)
- Bercovier, Michel (1)
- Bertails-Descoubes, Florence (1)
- Bertoline, Gary R. (1)
- Besenghi, Renata (1)
- Beyer, Dirk (1)
- Bibi, Samia (1)
- Binkley, Aaron B. (1)
- Birk, Lothar (1)
- Birmingham, William P. (1)
- Böhm, Rolf (1)
- Bommes, David (1)
- Bondarenko, Andrii V. (1)
- Bondarev, A. E. (1)
- Bossong, Ulrike (1)
- Böttger, Kathrin (1)
- Braunschweig, Bertrand (1)
- Brunnett, Guido H. (1)
- Brunton, Bingni Wen (1)
- Brunton, Steven L. (1)
- Bungartz, Hans-Joachim (1)
- Bunz, Dietmar (1)
- Buratynski, Edward K. (1)
- Burgard, Stefan (1)
- Caliò, Franca (1)
- Cámara, Javier (1)
- Canal, Carlos (1)
- Cannon, Mark (1)
- Canonne, Jean-Charles (1)
- Cao, Yuxiu (1)
- Ceccanti, Fabio (1)
- Chapman, Craig B. (1)
- Charalambous, Christakis (1)
- Charrondière, Raphaël (1)
- Chen, Wai-Fah (1)
- Chen, Xinjia (1)
- Chen, Zhiyang (1)
- Cheng, Shaohua (1)
- Chivate, Pramod N. (1)
- Chizhukhin, G. N. (1)
- Chow, Peter (1)
- Cohen, Michael F. (1)
- Colver, R. E. (1)
- Conger, Sue (1)
- Costanzo, Marco (1)
- Couchman, Paul (1)
- Cuillière, Jean-Christophe (1)
- and 376 more Authors
all
top 5
Serial
- Comput.-Aided Des. (18)
- Comput. Aided Geom. Des. (7)
- Adv. Eng. Softw. (6)
- Int. J. Numer. Methods Eng. (5)
- Comput. Methods Appl. Mech. Eng. (4)
- Int. J. Control (4)
- J. Zhejiang Univ., Eng. Sci. (4)
- IEEE Trans. Autom. Control (2)
- J. Comput. Appl. Math. (2)
- COMPEL (2)
- Eng. Comput. (Lond.) (2)
- Autom. Remote Control (2)
- Nexus Netw. J. (2)
- Angew. Inform., Mannheim (2)
- Lect. Notes Comput. Sci. (2)
- Am. Math. Mon. (1)
- Artif. Intell. (1)
- Comput. Struct. (1)
- IMA J. Appl. Math. (1)
- Inf. Process. Lett. (1)
- Math. Methods Appl. Sci. (1)
- ACM Trans. Math. Softw. (1)
- Automatica (1)
- Computing (1)
- Fuzzy Sets Syst. (1)
- Inf. Sci. (1)
- J. Optim. Theory Appl. (1)
- Math. Program. Study (1)
- Math. Program. (1)
- Meccanica (1)
- Softw., Pract. Exper. (1)
- Cybern. Syst. (1)
- Syst. Control Lett. (1)
- Sci. Comput. Program. (1)
- Comput. Artif. Intell. (1)
- Int. J. Prod. Res. (1)
- Am. J. Math. Manage. Sci. (1)
- Finite Elem. Anal. Des. (1)
- ACM Trans. Graph. (1)
- Inf. Comput. (1)
- Visual Comput. (1)
- J. Tsinghua Univ., Sci. Technol. (1)
- J. Log. Comput. (1)
- IEEE Trans. Signal Process. (1)
- Surv. Math. Ind. (1)
- Appl. Intell. (1)
- Appl. Math. Modelling (1)
- Commun. Stat., Theory Methods (1)
- IEE Proc., Part D (1)
- Comput. Graph. Forum (1)
- Cybern. Syst. Anal. (1)
- J. Comput. Syst. Sci. Int. (1)
- J. Nanjing Univ. Aeronaut. Astronaut. (1)
- Din. Sist. (Kiev) (1)
- Comput. Appl. Math. (1)
- Rev. Eur. Élém. Finis (1)
- Adv. Comput. Math. (1)
- Ann. Math. Artif. Intell. (1)
- Dokl. Math. (1)
- Multibody Syst. Dyn. (1)
- J. Geom. Graph. (1)
- Math. Comput. Model. Dyn. Syst. (1)
- Informatica, Vilnius (1)
- Proc. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. (1)
- Philos. Trans. R. Soc. Lond., Ser. A, Math. Phys. Eng. Sci. (1)
- Int. J. Numer. Model. (1)
- Optim. Eng. (1)
- Graph. Models (1)
- Image Anal. Stereol. (1)
- CMES, Comput. Model. Eng. Sci. (1)
- J. UCS (1)
- Mat. Model. (1)
- Int. J. Comput. Numer. Anal. Appl. (1)
- Selçuk J. Appl. Math. (1)
- Int. J. Eng., Trans. B Appl. (1)
- Int. J. Wavelets Multiresolut. Inf. Process. (1)
- Adv. Difference Equ. (1)
- J. Zhoukou Norm. Univ. (1)
- Chebyshevskiĭ Sb. (1)
- Acta Wasaensia (1)
- Electr. Eng. Electron. (1)
- Front. Artif. Intell. Appl. (1)
- Kluwer Int. Ser. Eng. Comput. Sci. (1)
- Lect. Notes Eng. (1)
- Stud. Autom. Control. (1)
- Lect. Notes Appl. Comput. Mech. (1)
- Commun. Comput. Phys. (1)
- Acta Univ. Sapientiae, Inform. (1)
- Int. J. Numer. Methods Biomed. Eng. (1)
- Commun. Math. Stat. (1)
- Springer Ser. Stat. (1)
- IEEE Control Syst. (1)
- Adv. Ind. Control (1)
- Commun. Control Eng. (1)
- Fortschr.-Ber. VDI, Reihe 4 (1)
all
top 5
Year of Publication
- 2024 (2)
- 2023 (2)
- 2022 (2)
- 2021 (3)
- 2020 (5)
- 2019 (1)
- 2018 (3)
- 2017 (4)
- 2016 (3)
- 2015 (1)
- 2014 (2)
- 2013 (4)
- 2012 (3)
- 2011 (4)
- 2010 (11)
- 2009 (8)
- 2008 (7)
- 2007 (3)
- 2006 (5)
- 2005 (2)
- 2004 (4)
- 2003 (7)
- 2002 (12)
- 2001 (15)
- 2000 (4)
- 1999 (10)
- 1998 (13)
- 1997 (6)
- 1996 (4)
- 1995 (4)
- 1994 (5)
- 1993 (11)
- 1992 (9)
- 1991 (5)
- 1990 (7)
- 1989 (7)
- 1988 (8)
- 1987 (6)
- 1986 (6)
- 1985 (2)
- 1984 (1)
- 1983 (2)
- 1982 (3)
- 1980 (1)
- 1979 (2)
- 1977 (1)
all
top 3
Software
- Mathematica (5)
- Matlab (5)
- Maple (2)
- Mathcad (2)
- Python (2)
- ACSL (1)
- AHA (1)
- ALO (1)
- AUTO-07P (1)
- AUTOMATE (1)
- AXIOM (1)
- Ada95 (1)
- AlgoPy (1)
- AlgoWiki (1)
- Algorithm 738 (1)
- Algorithm 739 (1)
- Algorithm 999 (1)
- AspectJ (1)
- CACE (1)
- CADP (1)
- CAE Fidesys (1)
- CATPAC (1)
- CFSQP (1)
- CGAL (1)
- COMSOL (1)
- CONTACT (1)
- CasADi (1)
- Chameleon Swarm (1)
- DERIVE (1)
- DeepSDF (1)
- FSMT (1)
- GAP (1)
- Haskell (1)
- Honey badger algorithm (1)
- ISOGAT (1)
- Ipopt (1)
- MACSYMA (1)
- MAXFLOW (1)
- MINOS (1)
- MPFR (1)
- Modelica (1)
- MuPAD (1)
- NAG (1)
- NASTRAN (1)
- OpenFlipper (1)
- PHP (1)
- PMTBR (1)
- PPL (1)
- PostgreSQL (1)
- PyADOL-C (1)
- PyCppAD (1)
- QuadCover (1)
- QuickBasic (1)
- REDUCE (1)
- RSVP (1)
- Rhinoceros (1)
- SPICE (1)
- SPIN (1)
- SingSurf (1)
- Sonnet (1)
- Spin-to-Grape (1)
- Strands (1)
- SymmSpin (1)
- Theano (1)
- TopSpin (1)
- Valgrind (1)
- VanHuffel (1)
- Visual C++ (1)
- WOA (1)
- WorldToolKit (1)
- ad (1)
- core 2 (1)
- lp_solve (1)
- nag (1)
- pyadolc (1)