BibSonomy
::
user
::
toni
::
tag
user
group
author
concept
BibTeX key
search:all
search:toni
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
login
·
register
bookmarks
bookmarks per page:
5
10
20
50
100
publications
(1)
<<
< 1 >
>>
Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
Philip
Todd
Automated Deduction in Geometry
(
2007
)
to
System
Interactive
Symbolic
Constraint
Geometry
Based
by
toni
and
1 other person
on May 22, 2008, 2:32 PM
URL
|
BibTeX
<<
< 1 >
>>
publications per page:
5
10
20
50
100
Based
as tag from all users
Based
as concept from toni
Based
as concept from all users
related tags
+
Constraint
+
Geometry
+
Interactive
+
Symbolic
+
System
relations
tags
3D
Based
CAD
CAS
Constraint
Electronic
Frontier
Geometry
Henneberg
Interactive
Models
Symbolic
System
Web
algoritms
analysis
angles
arithmetic
authomatic
automated
circles
collaborative
complexity
computational
computer
concurrent
constraint
construction
control
data
definitive
design
dynamic
engine
engineering
equational
equations
extraction
flow
for
free
generic
genetic
geometric
geometry
gnu
hyperbolic
hypergraphs
implementation
inconsistency
intelligent
interactive
interfaces
interval
inversive
kinematics
language
library
linkat
linux
matroid
matroids
mechanism
mechanisms
motion
non-free
notation
openmath
physical
problem
programming
proof
proofs
proving
pseudo
pt
retrieval
rigidity
root
satisfaction
scene
scheme
scientific
search
selection
simulation
software
solving
structural
system
system:unfiled
systems
theorem
theory
tree-decomposition
triangulation
tutoring
xml