A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | الصفحة الرئيسية | إلكترونيات | هندسة الإلكترونيات | هندسة مدنية | هندسة كيميائية | هندسة وراثية | هندسة زراعية | هندسة صناعية | هندسة تعدين | هندسة برمجية | هندسة رياضية | |||||||||||||||
2 | www.arabicwiki.org | List of battery sizes | List of common resolutions | Horizontal and vertical | Nominal Pipe Size | Teenage Mutant Ninja Turtles | John DeLorean | Shahid Khan | Amec Foster Wheeler | Static web page | Port and starboard | |||||||||||||||
3 | Application-specific integrated circuit | Application-specific integrated circuit | Byford Dolphin | Exhaust gas recirculation | Jurassic Park | Boyd Coddington | Tata Consultancy Services | Shaft mining | WebSocket | Horizontal and vertical | ||||||||||||||||
4 | Voice over LTE | IPS panel | Tacoma Narrows Bridge (1940) | Wastewater treatment | Spider-Man (Miles Morales) | Wheelbase | Delhi Metro | Stantec | Dependency injection | Five-dimensional space | ||||||||||||||||
5 | Point of sale | Invention of the telephone | Canadian Pacific Railway | British Standard Pipe | Stepford Cuckoos | Adrian Newey | List of postal codes | James Joseph Brown | A/B testing | Second moment of area | ||||||||||||||||
6 | LGM-30 Minuteman | Switched-mode power supply | Wastewater treatment | Rogue wave | Gattaca | Edward Conard | Autobahn | Buffalo Creek flood | Behavior-driven development | Stokes' theorem | ||||||||||||||||
7 | Switched-mode power supply | Max Headroom broadcast signal intrusion | Prince Rupert's Drop | Piping and plumbing fitting | Deus Ex | Automobile drag coefficient | Interstate Highway System | Adolph Sutro | WebRTC | Hamming distance | ||||||||||||||||
8 | Optical fiber cable | Display size | Tuned mass damper | Darcy–Weisbach equation | Kismet (Marvel Comics) | Dieter Zetsche | On-board diagnostics | Jesse Root Grant (politician) | Simulated reality | Triptych | ||||||||||||||||
9 | Nintendo video game consoles | Transistor count | Water table | National pipe thread | Black Bolt | Dana 60 | Modbus | Downer Group | Programming languages used in most popular websites | Inter-universal Teichmüller theory | ||||||||||||||||
10 | OBD-II PIDs | List of 7400 series integrated circuits | I-beam | Navier–Stokes existence and smoothness | Nate Grey | Automotive Safety Integrity Level | Paternoster | Kingston Fossil Plant coal fly ash slurry spill | Regression testing | Moiré pattern | ||||||||||||||||
11 | Instrument landing system | Butterworth filter | Piper Alpha | Hydraulic head | Steve Urkel | Dana 44 | Going postal | John Alexander Tyler | Liskov substitution principle | Windward and leeward | ||||||||||||||||
12 | مشروع الترجمة الأوسع لإثراء الويكيبيديا العربية من مختلف التخصصات. تم تجميع مقالات من الويكيبيديا الإنجليزية، بحاجة للإنشاء على الويكيبيديا العربية من قبل أعضاء في مبادرة ض لتطوير الويكيبيديا العربية. نتمنى أن يسهل عليكم هذا المشروع إيجاد المقالات المناسبة للترجمة بسهولة! | Consumer Electronics Control | Quantum dot display | Mean time between failures | Fire sprinkler system | Starhawk (comics) | Colin Chapman | Positive train control | Fredrik Idestam | Magic number (programming) | Great-circle distance | |||||||||||||||
13 | Engine control unit | Silicon controlled rectifier | Goteik viaduct | Reaction rate | Daisy Johnson | Horacio Pagani (auto executive) | TripAdvisor | List of schools of mines | Boolean satisfiability problem | Vector projection | ||||||||||||||||
14 | NodeMCU | Oculus VR | Monocoque | Piping and instrumentation diagram | Rodan | Gordon Murray | High-occupancy vehicle lane | 2000 Baia Mare cyanide spill | Business Process Model and Notation | Simplex | ||||||||||||||||
15 | Ultra HD Blu-ray | Schmitt trigger | Civil engineer | Sieve analysis | Quorn | Ross Brawn | Didi Chuxing | Mount Polley mine disaster | Inversion of control | Hypercube | ||||||||||||||||
16 | List of smart TV platforms and middleware software | Nixie tube | Forth Bridge | French drain | Bizarro | ISO 16750 | Jevons paradox | Drift mining | Enterprise service bus | Nucleic acid double helix | ||||||||||||||||
17 | Transistor count | Control unit | Vehicle frame | Darcy friction factor formulae | Judge Dredd | Drive by wire | Google Flights | Hatch Ltd | Context-free grammar | Pythagorean trigonometric identity | ||||||||||||||||
18 | List of 7400 series integrated circuits | JTAG | Holland Tunnel | Process control | Superboy (Kon-El) | Noise, vibration, and harshness | History of rail transport | Tailings dam | Composition over inheritance | Toilet paper orientation | ||||||||||||||||
19 | Set-top box | Gamma correction | List of roof shapes | Mass diffusivity | Mister Sinister | Ride height | Life-cycle assessment | Ajka alumina plant accident | WebGL | History of the compass | ||||||||||||||||
20 | Quantum dot display | Colossus computer | Structural steel | Downstream (petroleum industry) | Dalek | Automotive aerodynamics | Dead man's switch | Church Rock uranium mill spill | Push technology | Cymatics | ||||||||||||||||
21 | Silicon controlled rectifier | Serial digital interface | French drain | P-wave | Ms. Marvel (Kamala Khan) | Body in white | Interchange (road) | Mine railway | Requirements analysis | Lissajous curve | ||||||||||||||||
22 | Schmitt trigger | Frequency response | Hull (watercraft) | Hydrostatic test | Azrael (comics) | Ferdinand Piëch | Airport check-in | Jimmy Hood | Continuous delivery | Dual space | ||||||||||||||||
23 | Operation Fishbowl | Circuit diagram | Darcy friction factor formulae | Indian Rivers Inter-link | Reverse-Flash | Ralf Speth | Hyperloop One | Martin County coal slurry spill | Integration testing | Sheela na gig | ||||||||||||||||
24 | Surge protector | Thermal resistance | Cleveland Hopkins International Airport | Storm drain | Human–animal hybrid | Patrick Head | International Driving Permit | Sam E. Jonah | Application server | T-symmetry | ||||||||||||||||
25 | DVD-Video | Flat Display Mounting Interface | Furlong | Thixotropy | Old Lace (comics) | Dana 80 | Post-office box | Ok Tedi environmental disaster | Software configuration management | Metric tensor | ||||||||||||||||
26 | LTE Advanced | Verilog | Castillo de San Marcos | Sanitary sewer | Hugo Strange | Billy Lane | MapQuest | Val di Stava dam collapse | Web API | Group action | ||||||||||||||||
27 | High fidelity | Videocassette recorder | History of the world's tallest buildings | Pressure head | Clone trooper | Leepu Nizamuddin Awlia | Third rail | Richard Redmayne | Multitenancy | Saddle point | ||||||||||||||||
28 | Nintendo 3DS family | Dynamic range | Failure rate | Soundproofing | A Certain Magical Index | Dana 70 | Electric locomotive | Oil sands tailings ponds | Smoke testing (software) | Small-angle approximation | ||||||||||||||||
29 | Moiré pattern | Line level | Alaska Highway | Sonication | Khan Noonien Singh | Giotto Bizzarrini | Gondola lift | Mining feasibility study | Object-oriented analysis and design | Covariance and contravariance of vectors | ||||||||||||||||
30 | Control unit | MicroLED | Indian Rivers Inter-link | Coagulation (water treatment) | List of cloned animals in Jurassic Park | Ford 9-inch axle | List of vehicle speed records | Greg Combet | Bitbucket | Symmetry in biology | ||||||||||||||||
31 | Electrical connector | Ground loop (electricity) | Storm drain | Process flow diagram | Heroes Reborn (miniseries) | IAV | Travel class | Harvey Seeley Mudd | Boilerplate code | History of trigonometry | ||||||||||||||||
32 | VHF omnidirectional range | Dual-tone multi-frequency signaling | Pennsylvania Turnpike | Manning formula | Dollhouse (TV series) | Axle track | New York City Subway map | Syncrude Tailings Dam | Use case diagram | Technical drawing tool | ||||||||||||||||
33 | JTAG | Kapton | Thames Tunnel | Flow coefficient | BioShock (series) | Paddy Lowe | Asphalt concrete | Central Mine Planning and Design Institute | Reference implementation | ISO 128 | ||||||||||||||||
34 | Remote keyless system | LED display | Sanitary sewer | Fused quartz | Spider-Man 2099 | Zora Arkus-Duntov | Speed limit | Leigh Clifford | Open Database Connectivity | CPT symmetry | ||||||||||||||||
35 | Automatic dependent surveillance – broadcast | FR-4 | Unified Soil Classification System | Boltzmann equation | Soldier (1998 American film) | Dana 35 | Time and motion study | Darrell Lemaire | Technical debt | Yang–Mills theory | ||||||||||||||||
36 | List of Xbox 360 retail configurations | Two-port network | Coagulation (water treatment) | Azeotrope tables | BlazBlue | Alfieri Maserati | Airport security | Ben Carlin | Functional testing | Covariant derivative | ||||||||||||||||
37 | Flexible-fuel vehicle | Rockwell Collins | Bearing (navigation) | Particle-size distribution | Pokémon: The First Movie | Ford 8.8 axle | Railroad switch | John Hays Hammond | Java Message Service | Minkowski diagram | ||||||||||||||||
38 | Television set | LED circuit | Chain (unit) | Young–Laplace equation | Maximus (comics) | Ground pressure | Transcontinental railroad | QEMSCAN | Conway's law | Planimeter | ||||||||||||||||
39 | Serial digital interface | Thin-film-transistor liquid-crystal display | Kinzua Bridge | Pneumatic cylinder | Moira MacTaggert | John Barnard | Hotels.com | Ion Gigurtu | Software performance testing | Gaussian curvature | ||||||||||||||||
40 | Frequency response | Scattering parameters | Manning formula | Thomas Mensah | Wonder Twins | Approach and departure angles | Manufacturing execution system | Merriespruit tailings dam disaster | GRASP (object-oriented design) | Rodrigues' rotation formula | ||||||||||||||||
41 | Thermal resistance | Chopper (electronics) | Body-on-frame | Tidal bore | Old Man's War | Rory Byrne | Timeline of railway history | Doñana disaster | System testing | Gramian matrix | ||||||||||||||||
42 | IP Multimedia Subsystem | Display aspect ratio | Levelling | Magnetohydrodynamic drive | Hundred (novel series) | Sterling 10.5 axle | Bollard | William Boyce Thompson | Function prototype | 3-sphere | ||||||||||||||||
43 | Videocassette recorder | HD Radio | Particle-size distribution | Hazen–Williams equation | Medusa (comics) | The Machine That Changed the World (book) | Advanced driver-assistance systems | Philip Deidesheimer | HTTP compression | Directional derivative | ||||||||||||||||
44 | Electromagnetic shielding | Radio Data System | Technical drawing tool | Convection–diffusion equation | Terra (comics) | Cyril Abiteboul | Apple Maps | Cutoff grade | Interface segregation principle | Dexter and sinister | ||||||||||||||||
45 | Dynamic range | Characteristic impedance | Groundwater pollution | Hydraulic diameter | Martinex | James Allison (motorsport) | List of busiest ports in Europe | Discontinuity (geotechnical engineering) | Systems architecture | House plan | ||||||||||||||||
46 | Mobile High-Definition Link | General-purpose input/output | Pile driver | Bulbous bow | Metroid Prime | Motorcycle design | Profibus | Joachim Gans | Event-driven architecture | Sauwastika | ||||||||||||||||
47 | Watchdog timer | Flyback diode | ISO 128 | Countercurrent exchange | 7aum Arivu | Éric Boullier | Lane | Rilwanu Lukman | ISO/IEC 9126 | Semi-log plot | ||||||||||||||||
48 | Line level | 7400 series | Limit state design | Epithelial–mesenchymal transition | Crystal (comics) | Dana 50 | Longest trains | Hatch Mott MacDonald | Release management | Architectural plan | ||||||||||||||||
49 | MiniDisc | Chamfer | Geometric design of roads | Trace heating | Joseph Mercola | Harvey Postlethwaite | Concrete mixer | James Douglas (businessman) | Usability testing | Asymmetry | ||||||||||||||||
50 | Hyperspectral imaging | Hardware description language | Incompressible flow | Specific speed | Madelyne Pryor | Dana 30 | Priceline.com | Mine survey | System time | Graph paper | ||||||||||||||||
51 | Marine VHF radio | Magic lantern | Compressible flow | Flow separation | The Island of Dr. Moreau (1996 film) | Virtual prototyping | Railroad tie | Howard Burnham | Domain model | List of space groups | ||||||||||||||||
52 | Mobile phone signal | Voltage-controlled oscillator | Berm | Vortex shedding | From the New World (novel) | Dunton Technical Centre | List of train songs | Jacques de Morgan | Object-oriented design | Cat's cradle | ||||||||||||||||
53 | Camcorder | Glass cockpit | Sluice | Vacuum coffee maker | Batman Beyond: Return of the Joker | J. G. Parry-Thomas | Siemens NX | Thomas F. Breslin | Program slicing | CORDIC | ||||||||||||||||
54 | PlayStation models | Extended Display Identification Data | National Road | Effluent | Karnak (comics) | John Fitch (racing driver) | Underground city | Edgar Sengier | 4+1 architectural view model | Involute | ||||||||||||||||
55 | Edison screw | Radio masts and towers | Los Angeles Aqueduct | Trickling filter | A Certain Scientific Railgun | Robert Bamford | Cobblestone | Rossiter W. Raymond | Lambda architecture | Rotation formalisms in three dimensions | ||||||||||||||||
56 | Rockwell Collins | Combinational logic | Planimeter | Slime | List of Inhumans | Pat Symonds | Glossary of rail transport terms | Danie G. Krige | Software architect | Chirality (physics) | ||||||||||||||||
57 | MP3 player | Audio crossover | Salt Lake Tabernacle | Dispersion (water waves) | Captain Rex | Ed Cole | Personal rapid transit | Parkin Jeffcock | API testing | Borel set | ||||||||||||||||
58 | Trinitron | Push–pull output | Reticle | Kelvin–Helmholtz instability | Ellen Ripley | Hans B. Pacejka | List of funicular railways | Mineral economics | Business requirements | Three hares | ||||||||||||||||
59 | Chopper (electronics) | Real-time clock | Prismatic compass (surveying) | Pipe wrench | Charlie-27 | Norbert Singer | Rockwell Automation | P. A. Yeomans | System requirements | Sum of angles of a triangle | ||||||||||||||||
60 | List of integrated circuit packaging types | Crosstalk | Geotechnical investigation | Shear thinning | Lockjaw (comics) | Aldo Costa | Parking space | 1971 Certej dam failure | Weissman score | Banach fixed-point theorem | ||||||||||||||||
61 | Audio power amplifier | Video production | Effluent | Sediment transport | Bt cotton | Mauro Forghieri | Lillian Moller Gilbreth | Steve Holliday | AUTOSAR | Structure from motion | ||||||||||||||||
62 | Television channel frequencies | Last mile | PS General Slocum | Septic drain field | Terra Formars | Omniview technology | Scheduling (production processes) | Henk Badings | Heisenbug | Rotation of axes | ||||||||||||||||
63 | Noise (electronics) | Automatic gain control | Triborough Bridge | Stream function | Russel Hobbs | Guenther Steiner | Holocaust train | Plasma deep drilling technology | Site reliability engineering | Wasserstein metric | ||||||||||||||||
64 | Smart key | Gold plating | Red light camera | Pipefitter | Fish Mooney | Vittorio Jano | Material handling | Peter Norman Nissen | System context diagram | Surya Siddhanta | ||||||||||||||||
65 | 7400 series | Provisioning | House plan | Grashof number | Scarlet Spider | Keith Duckworth | Railway signalling | Joseph Phillips (cricketer, born 1881) | Static program analysis | South Magnetic Pole | ||||||||||||||||
66 | Standing wave ratio | Effective radiated power | Trickling filter | Rayleigh number | Sephiroth (Final Fantasy) | Dana S 110 | China National Highway 110 traffic jam | Rogier Verbeek | System programming | Scaling (geometry) | ||||||||||||||||
67 | Satellite dish | Y-Δ transform | Semi-log plot | Fouling | Cre-Lox recombination | Kozo Watanabe (engineer) | Rail freight transport | American Institute of Mining, Metallurgical, and Petroleum Engineers | Comet (programming) | Collinearity | ||||||||||||||||
68 | Balun | Wien bridge oscillator | Architectural plan | Péclet number | Bacillus thuringiensis | Harry Miller (auto racing) | Rack railway | Mining machinery engineering | UML state machine | Engineering technologist | ||||||||||||||||
69 | Analog television | Power dividers and directional couplers | Graph paper | Ductile iron pipe | Mini-Me | John Wyer | Pigging | Robert Buchan | Cargo cult programming | Position (vector) | ||||||||||||||||
70 | Voltage-controlled oscillator | Pull-up resistor | Sediment transport | Secondary treatment | Mewtwo | Giuseppe Busso | Letter box | Jean-Pierre Clamadieu | Load testing | Mountain climbing problem | ||||||||||||||||
71 | 576i | Audio power | Septic drain field | Wake | Stryfe | Marcel Renault | Aerial tramway | GEOVIA | ISO/IEC 42010 | Multilateration | ||||||||||||||||
72 | Glass cockpit | Clamper (electronics) | Superstructure | Retrofitting | Ben Reilly | Josef Ganz | Registered mail | Peter Lynch (mining engineer) | Test plan | Volume of an n-ball | ||||||||||||||||
73 | Radar detector | Snubber | Groyne | AN thread | Gamera | Rudolf Uhlenhaut | ISO 6346 | Blasting mat | Rule of three (C++ programming) | Staedtler | ||||||||||||||||
74 | Unified Diagnostic Services | Low-noise block downconverter | Buncefield fire | Hydraulic jump | Number Six (Battlestar Galactica) | Carlo Chiti | Frank Bunker Gilbreth Sr. | New drilling technologies | Ripple effect | Tensor field | ||||||||||||||||
75 | Signal Corps (United States Army) | List of largest video screens | Eddystone Lighthouse | Dilatant | Raving Rabbids | Edward Turner | Jet bridge | Louis-Étienne Héricart de Thury | Formal verification | Buffon's needle | ||||||||||||||||
76 | Magnetic core | Chebyshev filter | Fouling | Parasitic drag | Mutant X (TV series) | Earle S. MacPherson | Travel literature | Durga Charan Panigrahi | Requirements elicitation | Duality (mathematics) | ||||||||||||||||
77 | Audio crossover | Indium tin oxide | Land lot | Check dam | Hank Henshaw | Gian Paolo Dallara | Orphan Train | George Bruce of Carnock | ThoughtWorks | Ball (mathematics) | ||||||||||||||||
78 | Push–pull output | Network analysis (electrical circuits) | Banked turn | Membrane bioreactor | High Evolutionary | Mike Costin | Shoulder (road) | Khajidsuren Bolormaa | High- and low-level | Symmetry (geometry) | ||||||||||||||||
79 | Transponder | Head-mounted display | Secondary treatment | Boiler feedwater | GloFish | Alex Moulton | Intersection (road) | Arthur De Wint Foote | TPS report | Proofs of trigonometric identities | ||||||||||||||||
80 | Real-time clock | Gerber format | Public works | Natural convection | The Toxic Avenger (film) | Mike Gascoyne | Land speed record for rail vehicles | Robin Batterham | Secure by design | Genus (mathematics) | ||||||||||||||||
81 | Crosstalk | Successive approximation ADC | Quebec Bridge | Chemical engineer | The Fly II | Claude Johnson | List of ASTM International standards | Kwasi Boakye | Benevolent dictator for life | Pinhole camera model | ||||||||||||||||
82 | Direct and indirect band gaps | Sheet resistance | Retrofitting | Max Q | Pop Rocks | Tadek Marek | Yellow line (road marking) | Jack Littlepage | DO-178B | Bent's rule | ||||||||||||||||
83 | Transistor radio | History of radar | Base station | Reynolds-averaged Navier–Stokes equations | Halloween: The Curse of Michael Myers | Frédéric Vasseur | Geometric design of roads | Herman Frasch | Side effect (computer science) | Anti-de Sitter space | ||||||||||||||||
84 | Television antenna | One-hot | Benchmark (surveying) | Magnetohydrodynamic generator | Myostatin | Alexander Winton | FANUC | Gordon Battelle | OpenAPI Specification | Trigonal bipyramidal molecular geometry | ||||||||||||||||
85 | Gender of connectors and fasteners | Semiconductor memory | Lighter than air | Lagrangian and Eulerian specification of the flow field | Arnim Zola | Drawbar pull | Service quality | Wilhelm Albert (engineer) | Tiger team | Real coordinate space | ||||||||||||||||
86 | E-UTRA | UML state machine | Mount Washington Cog Railway | River mouth | Designer baby | Ron Tauranac | Mobileye | Jennings Cox | Long-term support | Helmholtz decomposition | ||||||||||||||||
87 | Micro Bit | Wiring diagram | Shoelace formula | Plastic pipework | Gorgon (Inhuman) | Electric motorsport | People mover | David Lenigas | Web container | Homography (computer vision) | ||||||||||||||||
88 | LCD television | Viola–Jones object detection framework | Mechanical resonance | MOSE Project | Bebop and Rocksteady | Sam Michael | Cradle-to-cradle design | Serafin Baroja | Requirements management | De Sitter space | ||||||||||||||||
89 | Wien bridge oscillator | Antistatic device | Abutment | Rheometer | Prey (novel) | Victor Wouk | Shared space | Kolwezi tailings project | Traceability | Householder transformation | ||||||||||||||||
90 | Power dividers and directional couplers | Business software | Check dam | Dimensionless numbers in fluid mechanics | Cystic fibrosis transmembrane conductance regulator | Robin Herd | Sluice | Pilgram Marpeck | Gerrit (software) | Hyperbolic space | ||||||||||||||||
91 | AV receiver | List of 4000 series integrated circuits | Surface-tension values | Fanning friction factor | BlazBlue: Central Fiction | Aurelio Lampredi | Bing Maps | Stephen Boleslav Roman | Test strategy | Engineering technician | ||||||||||||||||
92 | Audio power | Integrated circuit design | Shoring | Law of the wall | Alucard (Hellsing) | Gioacchino Colombo | Track ballast | Obed Mountain coal mine spill | Persistence (computer science) | Pappus's centroid theorem | ||||||||||||||||
93 | SD-WAN | Outline of computer science | List of commercially available roofing material | Material derivative | Leela (Futurama) | Béla Barényi | Franking | Mining Machines | Artifact (software development) | Camera resectioning | ||||||||||||||||
94 | Clamper (electronics) | Virtual channel | Catastrophic failure | Stagnation point | Vandana Shiva | Center axle disconnect | Premium economy | Daniel C. Jackling | Polyfill | Pascal's theorem | ||||||||||||||||
95 | Snubber | Skywave | Membrane bioreactor | Noise barrier | Kilowog | Hans Mezger | Rail speed limits in the United States | Samuel W Hill | Repository (version control) | Minimal surface | ||||||||||||||||
96 | Contrast ratio | Mordant | Insulating concrete form | Couette flow | Starscream | Peter Prodromou | Vehicle tracking system | Tui mine | Convention over configuration | Ricci calculus | ||||||||||||||||
97 | Intel HEX | Bipolar transistor biasing | Last mile (transportation) | Ostwald ripening | Alice (Resident Evil) | Calspan | Fieldbus | George Reginald Starr | Meta-Object Facility | Graphic communication | ||||||||||||||||
98 | Timeline of computer animation in film and television | History of the transistor | Snowy Mountains Scheme | Magnetorheological fluid | Jackal (Marvel Comics) | Neil Oatley | HomeAway | Hard Rock Miner's Handbook | Jargon File | Chebyshev distance | ||||||||||||||||
99 | NMEA 0183 | Multipath propagation | Aggie Bonfire | Rupture disc | Number Eight (Battlestar Galactica) | Nicholas Tombazis | Traffic flow | Mir Nooruddin Mengal | Browser speed test | Scale invariance | ||||||||||||||||
100 | Successive approximation ADC | Motion interpolation | Kashiwazaki-Kariwa Nuclear Power Plant | Rayleigh–Taylor instability | Kaine Parker | Mike Coughlan | Shenzhen Metro | GA Drilling | Automated theorem proving | Homography |