Stem geometri$ (all stems)

160 papers:

DATE-2015-SunKPE #algebra #geometry #using #verification

Formal verification of sequential Galois field arithmetic circuits using algebraic geometry (XS, PK, TP, FE), pp. 1623–1628.

ICML-2015-SunWKM #geometry #network

Information Geometry and Minimum Description Length Networks (KS, JW, AK, SMM), pp. 49–58.

MLDM-2015-Chou #data-driven #geometry #learning

Data Driven Geometry for Learning (EPC), pp. 395–402.

SAC-2015-NascimentoBJ #approach #geometry #recognition

A new approach to biometric recognition based on hand geometry (MVPdN, LVB, NLCJ), pp. 59–65.

DRR-2014-FengLLLT #analysis #geometry

Structure analysis for plane geometry figures (TF, XL, LL, KL, ZT), p. ?–11.

ITiCSE-2014-Jasute #education #geometry #interactive #learning #visualisation

An interactive visualization method of constructionist teaching and learning of geometry (EJ), p. 349.

ICML-c2-2014-SunM #geometry #learning #statistics

An Information Geometry of Statistical Manifold Learning (KS, SMM), pp. 1–9.

ICPR-2014-ChanK #geometry #identification #image #using

Using Leg Geometry to Align Androgenic Hair Patterns in Low Resolution Images for Criminal and Victim Identification (FKSC, AWKK), pp. 495–500.

ICPR-2014-HuynhCM #3d #constraints #geometry #using #video

Aerial Implicit 3D Video Stabilization Using Epipolar Geometry Constraint (LH, JC, GGM), pp. 3487–3492.

ICPR-2014-IslamCK #case study #forensics #geometry

A Preliminary Study of Lower Leg Geometry as a Soft Biometric Trait for Forensic Investigation (MRI, FKSC, AWKK), pp. 427–431.

ICPR-2014-LiuLFQGT #geometry #graph #retrieval

Plane Geometry Figure Retrieval Based on Bilayer Geometric Attributed Graph Matching (LL, XL, SF, JQ, LG, ZT), pp. 309–314.

ICPR-2014-SantanaLH #geometry #identification #people #semantics

People Semantic Description and Re-identification from Point Cloud Geometry (MCS, JLN, DHS), pp. 4702–4707.

ICPR-2014-ZamalievaYD #geometry

Exploiting Temporal Geometry for Moving Camera Background Subtraction (DZ, AY, JWD), pp. 1200–1205.

IJCAR-2014-BeesonW #geometry #proving

OTTER Proofs in Tarskian Geometry (MB, LW), pp. 495–510.

LICS-CSL-2014-HoshinoMH #algebra #component #geometry #interactive

Memoryful geometry of interaction: from coalgebraic components to algebraic effects (NH, KM, IH), p. 10.

LICS-CSL-2014-LagoFHY #geometry

The geometry of synchronization (UDL, CF, IH, AY), p. 10.

ICDAR-2013-PhamDBR #consistency #geometry #locality #performance #robust

Robust Symbol Localization Based on Junction Features and Efficient Geometry Consistency Checking (TAP, MD, SB, JYR), pp. 1083–1087.

ICDAR-2013-ZhangS #estimation #geometry #image #multi

Multiple Geometry Transform Estimation from Single Camera-Captured Text Image (XZ, FS), pp. 538–542.

VLDB-2013-BambaRHA #geometry #graph #performance #statistics

Statistics Collection in Oracle Spatial and Graph: Fast Histogram Construction for Complex Geometry Objects (BB, SR, YH, RA), pp. 1021–1032.

STOC-2013-Ben-SassonGKKS #algebra #geometry #product line

A new family of locally correctable codes based on degree-lifted algebraic geometry codes (EBS, AG, YK, SK, SS), pp. 833–842.

STOC-2013-NikolovTZ #approximate #difference #geometry #privacy

The geometry of differential privacy: the sparse and approximate cases (AN, KT, LZ), pp. 351–360.

ICALP-v1-2013-DeDS #algorithm #analysis #difference #fourier #geometry #robust

A Robust Khintchine Inequality, and Algorithms for Computing Optimal Constants in Fourier Analysis and High-Dimensional Geometry (AD, ID, RAS), pp. 376–387.

ICFP-2013-Mairson #functional #geometry

Functional geometry and the Traité de Lutherie: functional pearl (HGM), pp. 123–132.

DUXU-NTE-2013-KakaraNM #behaviour #database #design #geometry #interactive #using

Interaction Design Using a Child Behavior-Geometry Database (HK, YN, HM), pp. 95–104.

POPL-2013-LagoP #geometry

The geometry of types (UDL, BP), pp. 167–178.

DATE-2012-KwongG #architecture #constant #geometry #performance

A high performance split-radix FFT with constant geometry architecture (JK, MG), pp. 1537–1542.

DLT-2012-SaloT #geometry

Geometry and Dynamics of the Besicovitch and Weyl Spaces (VS, IT), pp. 465–470.

ICALP-v1-2012-MolinaroR #geometry #linear #online #source code

Geometry of Online Packing Linear Programs (MM, RR), pp. 701–713.

ICPR-2012-AdanMS #3d #geometry #modelling

Creating realistic 3D models from scanners by decoupling geometry and texture (AA, PM, SS), pp. 457–460.

ICPR-2012-Gomez-BarreroGFOMF #authentication #case study #geometry

Inverse biometrics: A case study in hand geometry authentication (MGB, JG, JF, JOG, AM, MAF), pp. 1281–1284.

ICPR-2012-MazinDG #geometry #image

Combining color and geometry for local image matching (BM, JD, YG), pp. 2667–2680.

ICPR-2012-YinYHI #effectiveness #geometry #image #locality

Effective text localization in natural scene images with MSER, geometry-based grouping and AdaBoost (XY, XCY, HWH, KI), pp. 725–728.

KDIR-2012-Inselberg #coordination #geometry #parallel #visual notation

Parallel Coordinates: Visual Multidimensional Geometry and Its Applications (AI).

CSL-2012-KuusistoMV #decidability #first-order #geometry

Undecidable First-Order Theories of Affine Geometries (AK, JM, JV), pp. 470–484.

RTA-2012-Anai #algebra #geometry

Computational Real Algebraic Geometry in Practice (Invited Talk) (HA), p. 1.

ASE-2011-StehleLSRM #geometry #using

Diagnosis of software failures using computational geometry (ES, KL, MS, CR, SM), pp. 496–499.

DAC-2011-HsuSPCH #algorithm #distributed #geometry #layout

A distributed algorithm for layout geometry operations (KTH, SS, YCP, CC, TYH), pp. 182–187.

DAC-2011-RyzhenkoB #geometry #layout #physics #synthesis

Physical synthesis onto a layout fabric with regular diffusion and polysilicon geometries (NR, SB), pp. 83–88.

ICDAR-2011-KunwarR #geometry #online #recognition #using

Online Handwriting Recognition of Tamil Script Using Fractal Geometry (RK, AGR), pp. 1389–1393.

PLDI-2011-GulwaniKT #geometry

Synthesizing geometry constructions (SG, VAK, AT), pp. 50–61.

STOC-2011-BarakDYW #bound #design #geometry #matrix #rank

Rank bounds for design matrices with applications toc ombinatorial geometry and locally correctable codes (BB, ZD, AY, AW), pp. 519–528.

ICFP-2011-GhicaSS #compilation #geometry #hardware #recursion #synthesis

Geometry of synthesis iv: compiling affine recursion into static hardware (DRG, AIS, SS), pp. 221–233.

POPL-2011-GhicaS #geometry #resource management #synthesis #type inference

Geometry of synthesis III: resource management through type inference (DRG, AS), pp. 345–356.

LICS-2011-HasuoH #geometry #higher-order #interactive #quantum #semantics

Semantics of Higher-Order Quantum Computation via Geometry of Interaction (IH, NH), pp. 237–246.

CASE-2010-MackayFB #framework #geometry #realtime #visual notation

A real-time visual action-recognition framework for time-varying-geometry objects (MDM, RGF, BB), pp. 922–927.

STOC-2010-HardtT #difference #geometry #on the #privacy

On the geometry of differential privacy (MH, KT), pp. 705–714.

ICPR-2010-FujiyamaSS #geometry #multi

Multiple View Geometries for Mirrors and Cameras (SF, FS, JS), pp. 45–48.

ICPR-2010-Garcia-TubioWS #detection #geometry

Combining Geometry and Local Appearance for Object Detection (MPGT, HW, LS), pp. 4024–4027.

ICPR-2010-KatoSS #constraints #geometry #multi

Extended Multiple View Geometry for Lights and Cameras from Photometric and Geometric Constraints (KK, FS, JS), pp. 2110–2113.

ICPR-2010-LenzMC #composition #geometry

Iwasawa Decomposition and Computational Riemannian Geometry (RL, RM, JC), pp. 4472–4475.

ICPR-2010-NordbergZ #2d #geometry #image #multi #segmentation #using

Multibody Motion Segmentation Using the Geometry of 6 Points in 2D Images (KN, VZ), pp. 1783–1787.

ICPR-2010-WanS #geometry #multi

Multiple View Geometry for Non-rigid Motions Viewed from Curvilinear Motion Projective Cameras (CW, JS), pp. 181–184.

ICPR-2010-ZhangJ #geometry #multi

Visibility of Multiple Cameras in a Scene with Unknown Geometry (LZ, YJ), pp. 3619–3622.

SAC-2010-Pham #geometry #proving

Similar triangles and orientation in plane elementary geometry for Coq-based proofs (TMP), pp. 1268–1269.

SAC-2010-ZhouSS #approximate #design #geometry

Blade geometry design with kinematic ruled surface approximation (YZ, JS, SS), pp. 1266–1267.

STOC-2009-LeeS #geometry #graph #on the

On the geometry of graphs with a forbidden minor (JRL, AS), pp. 245–254.

ICML-2009-LuJD #geometry #learning #metric

Geometry-aware metric learning (ZL, PJ, ISD), pp. 673–680.

SAC-2009-LavorLMM #distance #geometry #on the #problem #subclass

On a discretizable subclass of instances of the molecular distance geometry problem (CL, LL, AM, NM), pp. 804–805.

ICPR-2008-Gonzalez-AguirreABD #geometry #graph #modelling #self #using #visual notation

Model-based visual self-localization using geometry and graphs (DIGA, TA, EBC, RD), pp. 1–5.

ICPR-2008-PalanderB #geometry

Epipolar geometry and log-polar transform in wide baseline stereo matching (KP, SSB), pp. 1–4.

ICPR-2008-SimonB #detection #estimation #geometry #multi #realtime

Detection of the intersection lines in multiplanar environments: Application to real-time estimation of the camera-scene geometry (GS, MOB), pp. 1–4.

ICPR-2008-WanS #geometry #multi

Computing multiple view geometry in space-time from mutual projections of multiple cameras (CW, JS), pp. 1–4.

ICPR-2008-ZhaoC #geometry

Critical configurations of lines to geometry determination of three cameras (MZ, RCkC), pp. 1–5.

SIGIR-2008-LiuLLJ #clustering #geometry #query #ranking

Spectral geometry for simultaneously clustering and ranking query search results (YL, WL, YL, LJ), pp. 539–546.

SAC-2008-FreixasJS #composition #geometry

Elements for a modular dynamic geometry system (MF, RJA, ASR), pp. 1816–1820.

LICS-2008-Falco #difference #geometry #interactive

The Geometry of Interaction of Differential Interaction Nets (MdF), pp. 465–475.

STOC-2007-Basu #combinator #complexity #geometry

Combinatorial complexity in O-minimal geometry (SB), pp. 47–56.

HCI-IPT-2007-NayaCAC #2d #editing #geometry #interface #named #parametricity #sketching

ParSketch: A Sketch-Based Interface for a 2D Parametric Geometry Editor (FN, MC, NA, PC), pp. 115–124.

CIKM-2007-MelucciW #feedback #geometry

Utilizing a geometry of context for enhanced implicit feedback (MM, RWW), pp. 273–282.

ICML-2007-KimC #algorithm #geometry #message passing

Neighbor search with global geometry: a minimax message passing algorithm (KHK, SC), pp. 401–408.

POPL-2007-Ghica #approach #design #geometry #synthesis

Geometry of synthesis: a structured approach to VLSI design (DRG), pp. 363–375.

SAC-2007-ZengS #combinator #geometry #optimisation #problem

Semi-mechanization method for a unsolved optimization problem in combinatorial geometry (ZZ, MS), pp. 762–766.

LICS-2007-Hales #geometry #problem

Some Methods of Problem Solving in Elementary Geometry (TCH), pp. 35–40.

STOC-2006-AchlioptasR #constraints #geometry #on the #problem #random

On the solution-space geometry of random constraint satisfaction problems (DA, FRT), pp. 130–139.

ICALP-v1-2006-MehlhornOS #geometry #performance #reliability

Reliable and Efficient Computational Geometry Via Controlled Perturbation (KM, RO, MS), pp. 299–310.

ICPR-v1-2006-BabaMA #geometry #using

A Unified Camera Calibration Using Geometry and Blur of Feature Points (MB, MM, NA), pp. 816–819.

ICPR-v2-2006-HarpazH #geometry #learning

Exploiting the Geometry of Gene Expression Patterns for Unsupervised Learning (RH, RMH), pp. 670–674.

ICPR-v3-2006-YamazoeUA #constraints #geometry #multi #optimisation #using

Multiple Camera Calibration with Bundled Optimization using Silhouette Geometry Constraints (HY, AU, SA), pp. 960–963.

ICPR-v4-2006-PerdochMC #geometry

Epipolar Geometry from Two Correspondences (MP, JM, OC), pp. 215–219.

ICPR-v4-2006-WuQ #geometry #identification #using

A Hierarchical Palmprint Identification Method Using Hand Geometry and Grayscale Distribution Features (JW, ZQ), pp. 409–412.

SAC-2006-FangFHT #analysis #geometry #image

Digital geometry image analysis for medical diagnosis (JF, SF, JH, MT), pp. 217–221.

ICDAR-2005-DrakeB #geometry #using

Distinguishing Mathematics Notation from English Text using Computational Geometry (DMD, HSB), pp. 1270–1274.

SIGIR-2005-ZhouG #categorisation #corpus #geometry #on the

On redundancy of training corpus for text categorization: a perspective of geometry (SZ, JG), pp. 671–672.

CSL-2005-HaghverdiS #geometry #interactive #towards

Towards a Typed Geometry of Interaction (EH, PJS), pp. 216–231.

LICS-2005-Lago #geometry #higher-order #linear #recursion

The Geometry of Linear Higher-Order Recursion (UDL), pp. 366–375.

ICALP-2004-HaghverdiS #category theory #geometry #interactive

A Categorical Model for the Geometry of Interaction (EH, PJS), pp. 708–720.

ICPR-v1-2004-ChumWM #constraints #estimation #geometry

Epipolar Geometry Estimation via RANSAC Benefits from the Oriented Epipolar Constraint (OC, TW, JM), pp. 112–115.

ICPR-v2-2004-NoorRM #fuzzy #geometry #logic

Global Geometry Extraction for Fuzzy Logic Based Handwritten Character (NMN, MR, PMC), pp. 513–516.

ICPR-v3-2004-TamLN #geometry

Deformable Geometry Model Matching by Topological and Geometric Signatures (GKLT, RWHL, CWN), pp. 910–913.

ICPR-v4-2004-SchindlerB #geometry #image

The Epipolar Geometry of the Log-Polar Image Plane (KS, HB), pp. 40–43.

LICS-2004-FuhrmannP #geometry #interactive #logic #on the

On the Geometry of Interaction for Classical Logic (CF, DJP), pp. 211–220.

DAC-2003-ZhuSW #3d #algorithm #geometry #performance

Algorithms in FastImp: a fast and wideband impedance extraction program for complicated 3-D geometries (ZZ, BS, JW), pp. 712–717.

ICML-2003-Flach #comprehension #geometry #machine learning #metric

The Geometry of ROC Space: Understanding Machine Learning Metrics through ROC Isometrics (PAF), pp. 194–201.

ICML-2002-DeCoste #classification #distance #geometry #kernel #performance

Anytime Interval-Valued Outputs for Kernel Machines: Fast Support Vector Machine Classification via Distance Geometry (DD), pp. 99–106.

ICPR-v1-2002-BoukirS #geometry

Application of Rigid Motion Geometry to Film Restoration (SB, DS), pp. 360–363.

ICPR-v2-2002-Guskov #geometry #performance

Efficient Tracking of Regular Patterns on Non-Rigid Geometry (IG), pp. 1057–1060.

ICPR-v4-2002-FrancoisMW #geometry #symmetry #using

Reconstructing Mirror Symmetric Scenes From a Single View Using 2-View Stereo Geometry (ARJF, GGM, RW), pp. 12–16.

TLCA-2001-Laurent #geometry #interactive

A Token Machine for Full Geometry of Interaction (OL), pp. 283–297.

TLCA-2001-Pinto #geometry #implementation #interactive #modelling #parallel #using #λ-calculus

Parallel Implementation Models for the λ-Calculus Using the Geometry of Interaction (JSP), pp. 385–399.

ITiCSE-2000-Anderson #algorithm #geometry #interactive #student #using #visualisation

Algorithm visualization using QuickTime movies for student interaction (poster session).: algorithms from computational geometry (JMA), p. 185.

ITiCSE-2000-SheneL #geometry

Computing with geometry as an undergraduate course (poster session) (CKS, JLL), p. 193.

ICML-2000-BennettB #classification #geometry

Duality and Geometry in SVM Classifiers (KPB, EJB), pp. 57–64.

ICPR-v1-2000-MartinezT #geometry

Epipolar Geometry from the Deformation of an Active Contour (EM, CT), pp. 1534–1537.

ICPR-v1-2000-TordoffM #geometry #self

Violating Rotating Camera Geometry: The Effect of Radial Distortion on Self-Calibration (BT, DWM), pp. 1423–1427.

ICPR-v2-2000-Sanchez-Reillo #geometry #modelling #pattern matching #pattern recognition #recognition

Hand Geometry Pattern Recognition through Gaussian Mixture Modeling (RSR), pp. 2937–2940.

ICPR-v3-2000-ToczyskiP #bias #estimation #geometry #linear #process

Complementary Linear Biases in Spatial Derivative Estimation for Improving Geometry-Driven Diffusion Processes (WDT, NP), pp. 3001–3006.

SIGMOD-1999-Keim #3d #database #geometry #performance #similarity

Efficient Geometry-based Similarity Search of 3D Spatial Databases (DAK), pp. 419–430.

STOC-1999-Rojas #complexity #geometry #on the

On the Complexity of Diophantine Geometry in Low Dimensions (Extended Abstract) (JMR), pp. 527–536.

TLCA-1999-BaillotP #complexity #geometry #interactive

Elementary Complexity and Geometry of Interaction (PB, MP), pp. 25–39.

ICPR-1998-KurataFS #geometry

Affine epipolar geometry via factorization method (TK, JF, KS), pp. 862–866.

CADE-1998-FleuriotP #analysis #geometry #proving #standard #theorem proving

A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton’s Principia (JDF, LCP), pp. 3–16.

ICALP-1997-KhasidashviliG #geometry #orthogonal #reduction

The Geometry of Orthogonal Reduction Spaces (ZK, JRWG), pp. 649–659.

PLILP-1997-Cousineau #functional #geometry #programming

Functional Programming and Geometry (GC), pp. 309–322.

CADE-1997-YangFZ #algorithm #geometry

A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry (LY, HF, ZZ), pp. 73–86.

DAC-1996-SunDH #equation #geometry #independence #parametricity #performance #using

Fast Parameters Extraction of General Three-Dimension Interconnects Using Geometry Independent Measured Equation of Invariance (WS, WWMD, WHI), pp. 371–376.

ESOP-1996-JensenM #analysis #geometry #interactive

Flow Analysis in the Geometry of Interaction (TPJ, IM), pp. 188–203.

ICPR-1996-SuL #geometry #recognition

Face recognition by feature orientation and feature geometry matching (CLS, CL), pp. 401–405.

ICPR-1996-XuT #geometry #multi #segmentation

Correspondence and segmentation of multiple rigid motions via epipolar geometry (GX, ST), pp. 213–217.

ICPR-1996-Zhang #geometry #image #lens #on the

On the epipolar geometry between two images with lens distortion (ZZ), pp. 407–411.

CADE-1996-ChouGZ #geometry

An Introduction to Geometry Expert (SCC, XSG, JZZ), pp. 235–239.

CADE-1996-Wang #geometry #named #proving #theorem proving

GEOTHER: A Geometry Theorem Prover (DW), pp. 166–170.

CAV-1996-Avrunin #algebra #geometry #model checking #using

Symbolic Model Checking Using Algebraic Geometry (GSA), pp. 26–37.

ICDAR-v2-1995-SafariNSA #documentation #geometry #using

Document registration using projective geometry (RS, NN, MS, MA), pp. 1161–1164.

CHI-1995-LampingRP #geometry #scalability #visualisation

A Focus+Context Technique Based on Hyperbolic Geometry for Visualizing Large Hierarchies (JL, RR, PP), pp. 401–408.

CHI-1995-OlsenAK #geometry

Building Geometry-Based Widgets by Example (DRO, BA, DCK), pp. 35–42.

POPL-1995-Mackie #geometry #interactive

The Geometry of Interaction Machine (IM), pp. 198–208.

STOC-1994-Chazelle #geometry

Computational geometry: a retrospective (BC), pp. 75–94.

ICALP-1994-FernauS #ambiguity #geometry

Valuations and Unambiguity of Languages, with Applications to Fractal Geometry (HF, LS), pp. 11–22.

SAC-1994-Stilman #geometry

A linguistic geometry for technology transfer (BS), pp. 281–285.

CADE-1994-Martin #geometry #invariant #termination

Termination, Geometry and Invariants (UM), pp. 432–434.

CADE-1994-McPheeCG #geometry #proving #theorem #using

Mechanically Proving Geometry Theorems Using a Combination of Wu’s Method and Collins’ Method (NFM, SCC, XSG), pp. 401–415.

CADE-1994-Wang #algebra #geometry #proving

Algebraic Factoring and Geometry Proving (DW), pp. 386–400.

ILPS-1993-PesantB #constraints #geometry #polynomial

Handling Quadratic Constraints through Geometry (GP, MB), p. 659.

SIGIR-1992-WangWY #analysis #geometry #modelling

An Analysis of Vector Space Models Based on Computational Geometry (ZW, SKMW, YY), pp. 152–160.

TOOLS-EUROPE-1992-Zhao #approach #geometry #object-oriented #online #recognition #using

On-Line Geometry Recognition Using C++, an Object-Oriented Approach (RZ), pp. 371–378.

POPL-1992-GonthierAL #geometry #reduction

The Geometry of Optimal λ Reduction (GG, MA, JJL), pp. 15–26.

CADE-1992-Chou #geometry #proving #theorem proving

A Geometry Theorem Prover for Macintoshes (SCC), pp. 686–690.

CADE-1992-ChouG #geometry #proving

Proving Geometry Statements of Constructive Type (SCC, XSG), pp. 20–34.

LICS-1992-AbramskyJ #geometry #interactive

New Foundations for the Geometry of Interaction (SA, RJ), pp. 211–222.

DAC-1991-DoodWLS #2d #geometry

A Two-Dimensional Topological Compactor With Octagonal Geometry (PdD, JW, EL, RS), pp. 727–731.

ICALP-1991-Chazelle #geometry

Computational Geometry for the Gourmet: Old Fare and New Dishes (BC), pp. 686–696.

POPL-1991-Pratt #concurrent #geometry #modelling

Modeling Concurrency with Geometry (VRP), pp. 311–322.

CADE-1990-ChouG #algorithm #composition #geometry #proving #theorem proving

Ritt-Wu’s Decomposition Algorithm and Geometry Theorem Proving (SCC, XSG), pp. 207–220.

STOC-1989-ReifS #geometry #named #random

Polling: A New Randomized Sampling Technique for Computational Geometry (JHR, SS), pp. 394–404.

STOC-1988-Vaidya #geometry

Geometry Helps in Matching (Extended Abstract) (PMV), pp. 422–425.

ICALP-1988-Edelsbrunner #geometry

Geometric Structures in Computational Geometry (HE), pp. 201–213.

CADE-1988-CyrlukHK #algebra #geometry #named #proving #theorem proving

GEOMETER: A Theorem Prover for Algebraic Geometry (DC, RMH, DK), pp. 770–771.

STOC-1986-Clarkson #geometry #random

Further Applications of Random Sampling to Computational Geometry (KLC), pp. 414–423.

STOC-1986-SleatorTT #distance #geometry

Rotation Distance, Triangulations, and Hyperbolic Geometry (DDS, RET, WPT), pp. 122–135.

CADE-1986-Chou #geometry #named #proving #theorem proving

GEO-Prover — A Geometry Theorem Prover Developed at UT (SCC), pp. 679–680.

CADE-1986-KutzlerS #algorithm #geometry #proving #theorem proving

A Geometry Theorem Prover Based on Buchberger’s Algorithm (BK, SS), pp. 693–694.

LICS-1986-ChouK #geometry #on the #proving #theorem proving

On Mechanical Theorem Proving in Minkowskian Plane Geometry (SCC, HPK), pp. 187–192.

DAC-1984-Lanfri #geometry #named

Phled45: An enhanced version of caesar supporting 45° geometries (ARL), pp. 558–564.

STOC-1984-Ben-OrKR #algebra #complexity #geometry

The Complexity of Elementary Algebra and Geometry (Preliminary Abstract) (MBO, DK, JHR), pp. 457–464.

STOC-1984-GabowBT #geometry #problem #scalability

Scaling and Related Techniques for Geometry Problems (HNG, JLB, RET), pp. 135–143.

DAC-1983-SmithNBSW #array #automation #geometry #layout #named

VGAUA: The Variable Geometry Automated Universal Array layout System (DCS, RN, FB, SSS, JCW), pp. 425–429.

LFP-1982-Henderson #functional #geometry

Functional Geometry (PH), pp. 179–187.

GG-1982-Paz #geometry

Geometry versus topology in map grammars (AP), pp. 288–296.

DAC-1976-DobesB #automation #design #geometry #recognition

The automatic recognition of silicon gate transistor geometries: An LSI design aid program (ID, RB), pp. 327–335.

DAC-1976-MayfieldB #geometry

Applications of a numerical geometry system in engineering (JM, RMB), pp. 25–33.